Research output per year
Research output per year
- 41 results
Search results
-
2023
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation
Kang, E. Y. & Hacks, S., 2023, 2023 12th Mediterranean Conference on Embedded Computing (MECO). IEEE, 8 p. (Mediterranean Conference on Embedded Computing, MECO ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2022
Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System
Kang, E. Y., Brix, M., Szenczi, D., Kovats, A., Formosa, R., Melsen, C. W. & Norgard, M. A., 2022, 2022 6th International Conference on System Reliability and Safety, ICSRS 2022. IEEE, p. 251-258 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Towards Model Driven Safety and Security by Design
Campusano, M., Hacks, S. & Kang, E. Y., 6. Dec 2022, Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality . CEUR Workshop Proceedings, Vol. 3330. p. 34-41 (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile2 Downloads (Pure) -
2021
A Research Setup Demonstrating Flexible Industry 4.0 Production
Jepsen, S. C., Worm, T., Johansen, A., Lazarova-Molnar, S., Kjargaard, M. B., Kang, E. Y., Friederich, J., Heredia Mena, J. E., Soltani, R., Sorensen, S. L. & Hjort Schwee, J., 13. Sept 2021, 2021 International Symposium ELMAR. Mustra, M., Vukovic, J. & Zovko-Cihlar, B. (eds.). IEEE, p. 143-150 (Proceedings Elmar - International Symposium Electronics in Marine, Vol. 2021-September).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Towards Energy-aware Cyber-Physical Systems Verification and Optimization
Soltani, R., Kang, E-Y. & Heredia Mena, J. E., 2021, Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems. Polish Information Processing Society, Vol. 26. p. 205-210 (Annals of Computer Science and Information Systems, Vol. 26).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile9 Downloads (Pure) -
2020
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., 7. Jul 2020, 2020 9th Mediterranean Conference on Embedded Computing (MECO). IEEE, 5 p. (Mediterranean Conference on Embedded Computing, MECO ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile191 Downloads (Pure) -
2019
Formal verification of dynamic and stochastic behaviors for automotive systems
Huang, L., Liang, T. & Kang, E. Y., 2019, Proceedings - 2019 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019. IEEE, p. 11-20Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Formal verification of safety & security related timing constraints for a cooperative automotive system
Huang, L. & Kang, E. Y., 2019, Fundamental Approaches to Software Engineering : - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 210-227 (Lecture Notes in Computer Science, Vol. 11424 ). (Theoretical Computer Science and General Issues, Vol. 11424).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile75 Downloads (Pure) -
Formal Verification Techniques for Architecture-based Embedded Systems in EAST-ADL
Kang, E-Y., Mar 2019, arXiv. 19 p.Research output: Book/report › Report › Research
Open Access -
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems
Huang, L., Liang, T. & Kang, E., 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. IEEE Computer Society Press, p. 228-239Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Transl EAST-ADL/Stateflow Models into Probabilistic Verifiable Modelsating: Statistical Verification of Vehicle Systems in EAST-ADL/Stateflow using UPPAAL Tools
Kang, E-Y., Chen, J., Ke, L. & Chen, S., Mar 2019, 51 p.Research output: Book/report › Report › Research
Open Access -
Work-in-progress: Formal analysis of hybrid-dynamic timing behaviors in cyber-physical systems
Huang, L. & Kang, E. Y., Dec 2019, Proceedings - 2019 IEEE 40th Real-Time Systems Symposium, RTSS 2019. IEEE, p. 580-583 9052141Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
XFG Language and its Profile for Modeling and Analysis of Energy-aware and real-timed behaviors
Kang, E-Y. & Schobbens, P-Y., 2019, 36 p.Research output: Book/report › Report › Research
-
2018
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Kang, E-Y., Huang, L. & Mu, D., 16. Mar 2018Research output: Other contribution › Research
-
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
Kang, E-Y. & Huang, L., 20. Jun 2018, 41 p.Research output: Other contribution › Research
-
Formal verification of energy and timed requirements for a cooperative automotive system
Kang, E-Y., Huang, L. & Mu, D., 9. Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing: SAC '18 . Association for Computing Machinery, p. 1492-1499Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Model-based Verification and Validation of an Autonomous Vehicle System: Simulation and Statistical Model Checking
Kang, E-Y., Mu, D., Huang, L. & Lan, Q., 16. Mar 2018, 55 p.Research output: Other contribution › Research
-
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier
Kang, E-Y. & Huang, L., 2018, Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. Feng, X., Müller-Olm, M. & Yang, Z. (eds.). Springer, p. 170-186 (Lecture Notes in Computer Science, Vol. 10998).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Kang, E-Y., 29. Jun 2018, 47 p.Research output: Other contribution › Research
-
Probabilistic verification of timing constraints in automotive systems using UPPAAL-SMC
Kang, E-Y., Mu, D. & Huang, L., 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. A. Furia, C. & Winter, K. (eds.). Springer, p. 236-254 (Lecture Notes in Computer Science, Vol. 11023).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Kang, E-Y. & Huang, L., Oct 2018.Research output: Contribution to conference without publisher/journal › Poster › Research › peer-review
-
2017
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System
Kang, E-Y., Mu, D., Huang, L. & Lan, Q., 18. Aug 2017, Proceedings of the 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017. IEEE, p. 525-532Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Kang, E-Y., Mu, D., Huang, L. & Lan, Q., 18. Aug 2017, Proceedings of the 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017. IEEE, p. 326-333Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2016
Statistical analysis of energy-aware real-time automotive systems in EAST-ADL/Stateflow
Kang, E-Y., Chen, S., Ke, L. & Chen, J., 2016, Proceedings of the 2016 IEEE 11th Conference on Industrial Electronics and Applications, ICIEA 2016. p. 1328-1333Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Verifying automotive systems in EAST-ADL/Stateflow using UPPAAL
Kang, E-Y., Ke, L., Hua, M-Z. & Wang, Y-X., 9. May 2016, Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015. Sun, J., Reddy, Y. R., Bahulkar, A. & Pasala, A. (eds.). p. 143-150 7467294Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2014
Schedulability analysis support for automotive systems: From requirement to implementation
Kang, E-Y. & Schobbens, P-Y., 2014, Proceedings of the ACM Symposium on Applied Computing. p. 1080-1085Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2013
A methodology for formal analysis and verification of EAST-ADL models
Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P-Y. & Pettersson, P., Dec 2013, In: Reliability Engineering and System Safety. 120, p. 127-138Research output: Contribution to journal › Journal article › Research › peer-review
-
Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL
Kang, E-Y. & Schobbens, P-Y., 2013, Simulation Series. p. 62-69Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems
Kang, E-Y. & Schobbens, P-Y., 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6564929Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Formal modeling and verification of SDN-OpenFlow
Kang, M., Kang, E-Y., Hwang, D-Y., Kim, B-J., Nam, K-H., Shin, M-K. & Choi, J-Y., 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013. p. 481-482Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Model-based verification of energy-aware real-time automotive systems
Kang, E-Y., Perrouin, G. & Schobbens, P-Y., 2013, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 135-144Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2012
A vision for behavioural model-driven validation of software product lines
Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 2012Research output: Book/report › Monograph › Research › peer-review
-
Towards formal energy and time aware behaviors in EAST-ADL: An MDE approach
Kang, E-Y., Perrouin, G. & Schobbens, P-Y., 2012, Proceedings - International Conference on Quality Software.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2011
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
Kang, E-Y., Schobbens, P-Y. & Pettersson, P., 2011Research output: Book/report › Monograph › Research › peer-review
-
2010
Bridging the semantic gap between abstract models of embedded systems
Suryadevara, J., Kang, E-Y., Seceleanu, C. & Pettersson, P., 2010Research output: Book/report › Monograph › Research › peer-review
-
Component publications and compositions
Zhan, N., Kang, E. Y. & Liu, Z., 2010Research output: Book/report › Monograph › Research › peer-review
-
2007
Predicate diagrams for the verification of real-time systems
Kang, E-Y. & Merz, S., 2007, In: Formal Aspects of Computing.Research output: Contribution to journal › Journal article › Research › peer-review
-
Tool supported real-time system verification with combination of abstraction/deduction and model checking
Kang, E-Y., Nov 2007Research output: Book/report › Report › Research › peer-review
-
2006
Predicate diagrams for the verification of real-time systems
Kang, E-Y. & Merz, S., 2006, In: Electronic Notes in Theoretical Computer Science.Research output: Contribution to journal › Journal article › Research › peer-review
-
2005
Real-Time system verification techniques based on abstraction/deduction and model checking
Kang, E-Y., Nov 2005, Doctoral Symposium of the Fifth International Conference on Integrated Formal Methods - IFM'2005.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2004
Parametric analysis of real-time embedded systems with abstract approximation interpretation
Kang, E. Y., 2004, Proceedings - International Conference on Software Engineering.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review