Eun-Young Kang

Søgeresultater

• 2025

  An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations

  Ruohonen, J., Kang, E.-Y. & Ramadan, Q., 19. maj 2025.

  Publikation: Working paper › Forskning

  Åben adgang

  Fil

  • Threat Intelligence 100%
  • Band Communication 100%
  • Data Minimization 100%
  4 Downloads (Pure)
• 2024

  Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots

  Kang, E. Y., 2024, 2024 8th International Conference on System Reliability and Safety, ICSRS 2024. IEEE, s. 788-792

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Formal Verification 100%
  • Industrial Robot 100%
  • Safety Engineering 100%
  • Case Study 50%
  • Security Concern 50%

• 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, s. 106-113 (Proceedings - International Conference on Dependable Systems and Their Applications (DSA)).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, s. 518-522

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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 s. (Mediterranean Conference on Embedded Computing, MECO ).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, s. 612-616 5 s. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Formal Verification 100%
  • Timed Automaton 100%
  • Driven Development 100%
  • Time Constraint 33%
  • Vending Machine 33%
  46 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, s. 617-621 5 s. (Proceedings of the Asia-Pacific Software Engineering Conference, APSEC).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, s. 251-258 8 s.

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, Bind 3330. s. 34-41 (CEUR Workshop Proceedings).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Mission Planning 100%
  • Security Properties 100%
  • Security Requirements 100%
  • Driven Approach 100%
  • Software Developer 100%
  75 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. sep. 2021, 2021 International Symposium ELMAR. Mustra, M., Vukovic, J. & Zovko-Cihlar, B. (red.). IEEE, s. 143-150 (Proceedings Elmar - International Symposium Electronics in Marine, Bind 2021-September).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, Bind 26. s. 205-210 (Annals of Computer Science and Information Systems, Bind 26).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • 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 s. (Mediterranean Conference on Embedded Computing, MECO ).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

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

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. (red.). Springer, s. 210-227 (Lecture Notes in Computer Science, Bind 11424 ). (Theoretical Computer Science and General Issues, Bind 11424).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • 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 s.

  Publikation: Bog/rapport › Rapport › Forskning

  Åben adgang

  • 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, s. 228-239

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, s. 580-583 9052141

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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 s.

  Publikation: Bog/rapport › Rapport › Forskning

  • 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

  Publikation: Andet › Andet bidrag › Forskning

  • 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 s.

  Publikation: Andet › Andet bidrag › Forskning

  • 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, s. 1492-1499

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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 s.

  Publikation: Andet › Andet bidrag › Forskning

  • 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. (red.). Springer, s. 170-186 (Lecture Notes in Computer Science, Bind 10998).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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 s.

  Publikation: Andet › Andet bidrag › Forskning

  • 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. (red.). Springer, s. 236-254 (Lecture Notes in Computer Science, Bind 11023).

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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., okt. 2018.

  Publikation: Konferencebidrag uden forlag/tidsskrift › Poster › Forskning › 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, s. 525-532

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, s. 326-333

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. s. 1328-1333

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. maj 2016, Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015. Sun, J., Reddy, Y. R., Bahulkar, A. & Pasala, A. (red.). s. 143-150 7467294

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. s. 1080-1085

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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, I: Reliability Engineering and System Safety. 120, s. 127-138

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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. s. 62-69

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. s. 1890-1895 6564929

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. s. 481-482

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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. s. 135-144

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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

  Publikation: Bog/rapport › Monografi › Forskning › 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.

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
• 2011

  Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT

  Kang, E.-Y., Schobbens, P.-Y. & Pettersson, P., 2011

  Publikation: Bog/rapport › Monografi › Forskning › peer review
• 2010

  Bridging the semantic gap between abstract models of embedded systems

  Suryadevara, J., Kang, E.-Y., Seceleanu, C. & Pettersson, P., 2010

  Publikation: Bog/rapport › Monografi › Forskning › peer review

• Component publications and compositions

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

  Publikation: Bog/rapport › Monografi › Forskning › peer review
• 2007

  Predicate diagrams for the verification of real-time systems

  Kang, E.-Y. & Merz, S., 2007, I: Formal Aspects of Computing.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Tool supported real-time system verification with combination of abstraction/deduction and model checking

  Kang, E.-Y., nov. 2007

  Publikation: Bog/rapport › Rapport › Forskning › peer review
• 2006

  Predicate diagrams for the verification of real-time systems

  Kang, E.-Y. & Merz, S., 2006, I: Electronic Notes in Theoretical Computer Science.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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.

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
• 2004

  Parametric analysis of real-time embedded systems with abstract approximation interpretation

  Kang, E. Y., 2004, Proceedings - International Conference on Software Engineering.

  Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review