Eunsuk Kang

Most-cited papers

An Approach for Effective Design Space Exploration
Eunsuk Kang, E. Jackson, W. Schulte
2010Monterey Workshop169 citations
Semantic Scholar
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems
Rômulo Meira-Góes, Eunsuk Kang, R. Kwong, S. Lafortune
2020at - Automatisierungstechnik151 citations Open access
Semantic Scholar
Alloy*: a general-purpose higher-order relational constraint solver
Aleksandar Milićević, Joseph P. Near, Eunsuk Kang, D. Jackson
2015Formal methods in system design88 citations
Semantic Scholar
Stealthy deception attacks for cyber-physical systems
Romulo Meira Goes, Eunsuk Kang, R. Kwong, S. Lafortune
2017IEEE Conference on Decision and Control85 citations
Semantic Scholar
Digital Behavioral Twins for Safe Connected Cars
Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, V. Preciado +1 more
2018ACM/IEEE International Conference on Model Driven Engineering Languages and Systems81 citations
Semantic Scholar
Formal Modeling and Analysis of a Flash Filesystem in Alloy
Eunsuk Kang, D. Jackson
2008International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z79 citations
Semantic Scholar
Components, platforms and possibilities: towards generic automation for MDA
E. Jackson, Eunsuk Kang, M. Dahlweid, D. Seifert +1 more
2010International Conference on Embedded Software72 citations
Semantic Scholar
Model-Based Security Analysis of a Water Treatment System
Eunsuk Kang, Sridhar Adepu, D. Jackson, A. Mathur
20162016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)70 citations Open access
Semantic Scholar
A formal approach for detection of security flaws in the android permission system
H. Bagheri, Eunsuk Kang, Sam Malek, D. Jackson
2017Formal Aspects of Computing66 citations Open access
Semantic Scholar
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
T. Bures, D. Weyns, Bradley Schmer, E. Tovar +11 more
2017SOEN62 citations
Semantic Scholar
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers
Jian-Ye Hao, Eunsuk Kang, Jun Sun, Zan Wang +3 more
2018IEEE Transactions on Smart Grid59 citations
Semantic Scholar
Explanations for Human-on-the-loop: A Probabilistic Model Checking Approach
Nian-Yu Li, Sridhar Adepu, Eunsuk Kang, D. Garlan
2020International Symposium on Software Engineering for Adaptive and Self-Managing Systems49 citations
Semantic Scholar
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things
Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
2017International Conference on Internet-of-Things Design and Implementation46 citations Open access
Semantic Scholar
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification
H. Bagheri, Eunsuk Kang, Sam Malek, D. Jackson
2015World Congress on Formal Methods45 citations Open access
Semantic Scholar
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2020ACM Trans. Internet Things40 citations Open access
Semantic Scholar
Teaching Software Engineering for Al-Enabled Systems
Christian Kästner, Eunsuk Kang
20202020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)40 citations Open access
Semantic Scholar
Safe and Secure Automotive Over-the-Air Updates
T. Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin +5 more
2018International Conference on Computer Safety, Reliability, and Security32 citations
Semantic Scholar
Self-Adaptation for Machine Learning Based Systems
Maria Casimiro, P. Romano, D. Garlan, Gabriel A. Moreno +2 more
2021European Conference on Software Architecture27 citations
Semantic Scholar
INVITED: Runtime Monitoring for Safety of Intelligent Vehicles
Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Shinichi Shiraishi
2018Design Automation Conference27 citations
Semantic Scholar
Quotient for Assume-Guarantee Contracts
Í. Í. Romeo, A. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
2018International Conference on Formal Methods and Models for Co-Design26 citations
Semantic Scholar
Multi-representational security analysis
Eunsuk Kang, Aleksandar Milićević, D. Jackson
2016SIGSOFT FSE24 citations Open access
Semantic Scholar
A lightweight code analysis and its role in evaluation of a dependability case
Joseph P. Near, Aleksandar Milićević, Eunsuk Kang, D. Jackson
2011International Conference on Software Engineering24 citations Open access
Semantic Scholar
Network and System Level Security in Connected Vehicle Applications
Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin +4 more
20182018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)23 citations Open access
Semantic Scholar
Dependability Arguments with Trusted Bases
Eunsuk Kang, D. Jackson
2010IEEE International Requirements Engineering Conference20 citations Open access
Semantic Scholar
A behavioral notion of robustness for software systems
Chang-Jian Zhang, D. Garlan, Eunsuk Kang
2020ESEC/SIGSOFT FSE19 citations Open access
Semantic Scholar
An Empirical Study Assessing Software Modeling in Alloy
Niloofar Mansoor, H. Bagheri, Eunsuk Kang, Bonita Sharif
2023FME Workshop on Formal Methods in Software Engineering18 citations
Semantic Scholar
A formal method for including the probability of erroneous human task behavior in system analyses
M. L. Bolton, Xi Zheng, Eunsuk Kang
2021Reliability Engineering & System Safety18 citations Open access
Semantic Scholar
Designing and Analyzing a Flash File System with Alloy
Eunsuk Kang, D. Jackson
2009International Journal of Software and Informatics18 citations
Semantic Scholar
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility
Huiye Liu, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi +1 more
2019International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems17 citations
Semantic Scholar
Runtime-Safety-Guided Policy Repair
Weichao Zhou, Ruihan Gao, Baekgyu Kim, Eunsuk Kang +1 more
2020Runtime Verification15 citations Open access
Semantic Scholar
Design Space Exploration for Security
Eunsuk Kang
2016IEEE Cybersecurity Development15 citations
Semantic Scholar
Separation of concerns for dependable software design
D. Jackson, Eunsuk Kang
2010FoSER '1015 citations Open access
Semantic Scholar
Self-adaptive Machine Learning Systems: Research Challenges and Opportunities
Maria Casimiro, P. Romano, D. Garlan, Gabriel A. Moreno +2 more
2021European Conference on Software Architecture14 citations
Semantic Scholar
Synthesis of Assurance Cases for Software Certification
H. Bagheri, Eunsuk Kang, Niloofar Mansoor
20202020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)14 citations
Semantic Scholar
An Architectural Mechanism for Resilient IoT Services
Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2017SafeThings@SenSys14 citations Open access
Semantic Scholar
On tolerance of discrete systems with respect to transition perturbations
Rômulo Meira-Góes, Eunsuk Kang, S. Lafortune, Stavros Tripakis
2021Discrete event dynamic systems12 citations Open access
Semantic Scholar
Designing minimal effective normative systems with the help of lightweight formal methods
Jian-Ye Hao, Eunsuk Kang, Jun Sun, D. Jackson
2016SIGSOFT FSE12 citations Open access
Semantic Scholar
Robustification of Behavioral Designs against Environmental Deviations
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, M. L. Bolton +2 more
2023International Conference on Software Engineering11 citations
Semantic Scholar
Feature Interactions on Steroids: On the Composition of ML Models
Sven Apel, Christian Kästner, Eunsuk Kang, Tim Menzies
2021IEEE Software10 citations Open access
Semantic Scholar
Reliable Smart Road Signs
M. O. Sayin, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi +1 more
2019IEEE transactions on intelligent transportation systems (Print)10 citations Open access
Semantic Scholar
Alloy*: A Higher-Order Relational Constraint Solver
Aleksandar Milićević, Joseph P. Near, Eunsuk Kang, D. Jackson
201410 citations
Semantic Scholar
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design
Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, P. Nuzzo
2019Design, Automation and Test in Europe9 citations
Semantic Scholar
Challenges in Secure Engineering of Critical Infrastructure Systems
Sridhar Adepu, Eunsuk Kang, A. Mathur
20192019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW)9 citations
Semantic Scholar
Property-part diagrams: A dependence notation for software systems
D. Jackson, Eunsuk Kang
20099 citations
Semantic Scholar
Trade-Off-Oriented Development: Making Quality Attribute Trade-Offs First-Class
Tobias Dürschmid, Eunsuk Kang, D. Garlan
20192019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)8 citations
Semantic Scholar
Automated Synthesis of Secure Platform Mappings
Eunsuk Kang, S. Lafortune, Stavros Tripakis
2017International Conference on Computer Aided Verification8 citations Open access
Semantic Scholar
The current state of research on people, culture and cybersecurity
J. Jeong, G. Oliver, Eunsuk Kang, S. Creese +1 more
2021Personal and Ubiquitous Computing7 citations Open access
Semantic Scholar
Adaptive Defending Strategy for Smart Grid Attacks
Jian-Ye Hao, Eunsuk Kang, D. Jackson, Jun Sun
2014SEGS@CCS7 citations
Semantic Scholar
A Framework for Dependability analysis of software systems with trusted bases
Eunsuk Kang
20107 citations
Semantic Scholar
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh +4 more
2020Runtime Verification6 citations
Semantic Scholar