Eun-Young Kang

Search results

• 2024

  Enhancing Dependability of Industrial Robots: Security and Safety Assessments Based on Model-Driven Engineering

  Kang, E.-Y., Choudhary, G., Campusano, M., Kühnrich, M. & Pedersen, A., 2024, 2024 11th International Conference on Dependable Systems and Their Applications (DSA). IEEE, p. 106-113 (Proceedings - International Conference on Dependable Systems and Their Applications (DSA)).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Model-Driven Engineering 100%
  • Industrial Robot 100%
  • Formal Verification 50%
  • Use Case 50%
  • Security Assessment 50%
• 2023

  ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems

  Kang, E.-Y., 2023, 2023 7th International Conference on System Reliability and Safety (ICSRS). IEEE, p. 518-522

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• 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

  • Formal Verification 100%
  • Security Analysis 100%
  • Process Analysis 100%
  • Gas Fuel Manufacture 100%
  • Cyber Security 66%

• Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata

  Kang, E. Y. & Silva, T. R., 2023, Proceedings - 2023 30th Asia-Pacific Software Engineering Conference, APSEC 2023. IEEE Computer Society, p. 612-616 5 p. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • Formal Verification 100%
  • Timed Automaton 100%
  • Driven Development 100%
  • Time Constraint 33%
  • Vending Machine 33%
  28 Downloads (Pure)

• Towards Safety Assessment of Robot Behaviors in SMACH

  Kang, E. Y. & Campusano, M., 2023, Proceedings - 2023 30th Asia-Pacific Software Engineering Conference, APSEC 2023. IEEE Computer Society, p. 617-621 5 p. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Limitations 100%
  • Robot System 100%
  • Mapping Rule 100%
  • State Machine 100%
  • Formal Verification 100%
• 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

  • Model-Driven Software Development 100%
  • Monitoring System 100%
  • Development Approach 100%
  • Internet-Of-Things 100%
  • Driven Software 100%

• 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 Access

  File

  • Mission Planning 100%
  • Security Properties 100%
  • Security Requirements 100%
  • Driven Approach 100%
  • Software Developer 100%
  71 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

  • Industry 4.0 100%
  • Production Engineering 100%
  • Production Line 50%
  • Production System 50%
  • Constructive Research 25%

• 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 Access

  File

  • System Behavior 100%
  • Cyber Physical Systems 100%
  • Cyber-Physical Systems 100%
  • Case Study 33%
  • Energy Consumption 33%
  26 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 Access

  File

  • Cyber-Physical Systems 100%
  • Cyber Physical Systems 100%
  • Battery (Electrochemical Energy Engineering) 100%
  • Research Project 16%
  • Development Process 16%
  239 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-20

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Formal Verification 100%
  • Automotive System 100%
  • Non-Functional Requirement 66%
  • System Behavior 66%
  • Case Study 33%

• 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 Access

  File

  • Formal Verification 100%
  • Timing Constraint 100%
  • Automotive System 100%
  • Case Study 20%
  • Analysis Technique 20%
  108 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

  • Formal Verification 100%
  • Embedded System 100%
  • Development Process 33%
  • Model Checking 33%
  • Time Requirement 33%

• 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-239

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Cyber Physical Systems 100%
  • Formal Verification 28%
  • Annotation 14%
  • Constraint Specification 14%
  • Specification Language 14%

• 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 9052141

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Timing Behavior 100%
  • Cyber Physical Systems 100%
  • Formal Verification 66%
  • Simulink 66%
  • Case Study 33%

• 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

  • Timed Automaton 100%
  • Formal Specification 100%
  • modeling language 66%
  • Specification Language 66%
  • model checker 66%
• 2018

  Formal Analysis of Non-functional Properties for a Cooperative Automotive System

  Kang, E.-Y., Huang, L. & Mu, D., 16. Mar 2018

  Research output: Other contribution › Research

  • Simulink 100%
  • Nonfunctional Property 100%
  • Automotive System 100%
  • Formal Verification 66%
  • Case Study 33%

• 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

  • Simulink 100%
  • Timing Constraint 100%
  • Autonomous System 100%
  • Formal Specification 100%
  • Constraint Specification 60%

• 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-1499

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Formal Verification 100%
  • Simulink 100%
  • Automotive System 100%
  • Automotives 100%
  • Energy Constraint 50%

• 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

  • Autonomous Vehicles 100%
  • Simulink 100%
  • Simulation Model 100%
  • Statistical Model 100%
  • Analysis Technique 66%

• 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

  • Simulink 100%
  • Timing Constraint 100%
  • Automotive System 100%
  • Probabilistic Analysis 100%
  • Constraint Specification 50%

• Probabilistic Analysis of Weakly-Hard Real-Time Systems

  Kang, E.-Y., 29. Jun 2018, 47 p.

  Research output: Other contribution › Research

  • Timing Constraint 100%
  • Probabilistic Analysis 100%
  • Constraint Specification 40%
  • Specification Language 40%
  • Case Study 20%

• 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

  • Timing Constraint 100%
  • Automotive System 100%
  • Constraint Specification 33%
  • Specification Language 33%
  • Case Study 16%

• 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

  • Cyber Physical Systems 100%
  • Timing Constraint 100%
  • Probabilistic Analysis 100%
  • Case Study 20%
• 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-532

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Autonomous Vehicles 100%
  • Formal Verification 100%
  • Case Study 50%
  • Nonfunctional Property 50%
  • Embedded System Design 50%

• 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-333

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Simulink 100%
  • Cyber Physical Systems 100%
  • Autonomous Vehicles 25%
  • Case Study 25%
  • Time Constraint 25%
• 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-1333

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Analysis Technique 100%
  • Automotive System 100%
  • Case Study 50%
  • Formal Verification 50%
  • State Machine 50%

• 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 7467294

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Case Study 100%
  • Analysis Technique 100%
  • Automotive System 100%
  • Formal Verification 50%
  • State Machine 50%
• 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-1085

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Automotive System 100%
  • Automotives 100%
  • Nonfunctional Property 66%
  • Timing Constraint 66%
  • Case Study 33%
• 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-138

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Architectural Model 100%
  • Timing Behavior 50%
  • Timed Automaton 50%
  • Embedded Software 50%
  • Development Process 50%

• Enabling formal analysis of energy-aware automotive embedded systems in EAST-ADL

  Kang, E.-Y. & Schobbens, P.-Y., 2013, Simulation Series. p. 62-69

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Analysis Technique 100%
  • Embedded System 100%
  • Case Study 50%
  • Embedded Control 50%
  • Time Constraint 50%

• 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 6564929

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Analysis Technique 100%
  • Real Time Systems 100%
  • formal modeling 100%
  • Case Study 50%
  • Embedded Control 50%

• 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-482

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • formal modeling 100%
  • Software-Defined Networking 100%
  • OpenFlow 100%
  • Open Standard 16%
  • Desired Property 16%

• 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-144

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • formal modeling 100%
  • Automotive System 100%
  • Case Study 50%
  • Model Transformation 50%
  • Timed Automaton 50%
• 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., 2012

  Research 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., 2011

  Research 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., 2010

  Research output: Book/report › Monograph › Research › peer-review

• Component publications and compositions

  Zhan, N., Kang, E. Y. & Liu, Z., 2010

  Research 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 2007

  Research 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