Eun-Young Kang
Orcid: 0000-0002-4589-2378Affiliations:
- University of Southern Denmark, Odense, Denmark
- University of Namur, Belgium
- Sun Yat-Sen University, School of Data and Computer Science, Guangzhou, China (former)
- Malardalen University, Vasteras, Sweden (former)
- United Nations University, International Institute for Software Technology, Macau (former)
- Henri Poincaré University, Nancy, France (PhD 2007)
According to our database1,
Eun-Young Kang
authored at least 40 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation.
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023
ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems.
Proceedings of the 7th International Conference on System Reliability and Safety, 2023
Towards Formal Verification of Behaviour-Driven Development Scenarios Using Timed Automata.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023
2022
Model-Driven Software Development Approach: Ensuring Safety of an IoT-Based Plant Health Monitoring System.
Proceedings of the 6th International Conference on System Reliability and Safety, 2022
Proceedings of the Joint Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2022) & the 6th Software Engineering Education Workshop (SEED 2022) co-located with 29th Asia Pacific Software Engineering Conference 2022, 2022
2021
CoRR, 2021
Proceedings of the Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems, 2021
2020
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics.
Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020
2019
CoRR, 2019
CoRR, 2019
CoRR, 2019
Work-in-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
2018
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier.
CoRR, 2018
CoRR, 2018
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018
Formal verification of energy and timed requirements for a cooperative automotive system.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
Schedulability analysis support for automotive systems: from requirement to implementation.
Proceedings of the Symposium on Applied Computing, 2014
2013
Reliab. Eng. Syst. Saf., 2013
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013
2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2011
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.
Proceedings of the Computer Safety, Reliability, and Security, 2011
2010
Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010
2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
2007
Tool supported real-time system verification with combination of abstraction/deduction and model checking. (Abstractions booléennes pour la vérification des systèmes temps-réel).
PhD thesis, 2007
Formal Aspects Comput., 2007
2004
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004