Scholar
Eun-Young Kang
Google Scholar ID: 5WbXKakAAAAJ
University of Southern Denmark
Citations & Impact
Citations
240
H-index
9
i10-index
7
Publications
20
Co-authors
26
list available
Publications
Resume (English only)
Background
- Research focuses on integrating formal methods into software engineering processes, particularly for Systems-of-Systems (SoS) development.
- Specializes in safety-critical real-time software design and analysis, proposing an architecture-centric formal analysis framework for correct-by-construction, cost-efficient system development.
- Works on design, modeling, and analysis of software-intensive systems, especially component-based design and model-based verification of safety- and security-assessed energy-aware SoS (e.g., Cyber-Physical Systems, IoT, Robotics, Automation, Smart Buildings).
- Develops effective test case generation techniques for such systems.
- Key topics include safety, security, dependability, and reliability of SoS; CAD, modeling, simulation of SoS; software quality assurance, model-driven engineering, applied formal methods, AI/ML; data/event-driven V&V, risk assessment, failure prediction, and energy optimization using AI/ML; software development lifecycle and architecture.
