Eunsuk Kang

Orcid: 0000-0001-7891-6885

Affiliations:

Carnegie Mellon University, Pittsburgh, PA, USA
University of California, Berkeley, Department of Electrical Engineering and Computer Sciences, CA, USA (former)
Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, USA (former)

According to our database¹, Eunsuk Kang authored at least 81 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Parv Kapoor

Eunsuk Kang

Rômulo Meira-Góes

CoRR, 2024

User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences.

[BibT_eX]

[DOI]

CoRR, 2024

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation.

[BibT_eX]

[DOI]

CoRR, 2024

2023

On tolerance of discrete systems with respect to transition perturbations.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., December, 2023

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., July, 2023

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.

[BibT_eX]

[DOI]

CoRR, 2023

Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment.

[BibT_eX]

[DOI]

BaekGyu Kim

Eunsuk Kang

IEEE Access, 2023

Task Model Design and Analysis with Alloy.

[BibT_eX]

[DOI]

Alcino Cunha

Nuno Macedo

Eunsuk Kang

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Preference Adaptation: user satisfaction is all you need!

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Towards Safe ML-Based Systems in Presence of Feedback Loops.

[BibT_eX]

[DOI]

Sumon Biswas

Yining She

Eunsuk Kang

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

Robustification of Behavioral Designs against Environmental Deviations.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies.

[BibT_eX]

[DOI]

Chun Yong Chong

Eunsuk Kang

Mary Shaw

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023

An Empirical Study Assessing Software Modeling in Alloy.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Fortis: A Tool for Analysis and Repair of Robust Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Safe Environmental Envelopes of Discrete Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Modeling and Analysis of Explanation for Secure Industrial Control Systems.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., December, 2022

Feature Interactions on Steroids: On the Composition of ML Models.

[BibT_eX]

[DOI]

Sven Apel

Christian Kästner

Eunsuk Kang

IEEE Softw., 2022

Requirements Engineering for Feedback Loops in Software-Intensive Systems.

[BibT_eX]

[DOI]

Eunsuk Kang

Rômulo Meira-Góes

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Mapping Synthesis for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Reconfigurability For Industry 4.0 Middleware Software Architectures.

[BibT_eX]

[DOI]

Sune Chung Jepsen

Torben Worm

Eunsuk Kang

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2022

2021

A formal method for including the probability of erroneous human task behavior in system analyses.

[BibT_eX]

[DOI]

Matthew L. Bolton

Xi Zheng

Eunsuk Kang

Reliab. Eng. Syst. Saf., 2021

The current state of research on people, culture and cybersecurity.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2021

A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.

[BibT_eX]

[DOI]

CoRR, 2021

AlloyMax: bringing maximum satisfaction to relational specifications.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Counterexample Classification.

[BibT_eX]

[DOI]

Cole Vick

Eunsuk Kang

Stavros Tripakis

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

The Role of Environmental Deviations in Engineering Robust Systems.

[BibT_eX]

[DOI]

Eunsuk Kang

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Model-based clinical assist system for cardiac ablation.

[BibT_eX]

[DOI]

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Engineering Secure Self-Adaptive Systems with Bayesian Games.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

Self-adaptive Machine Learning Systems: Research Challenges and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 15th European Conference, 2021

Self-Adaptation for Machine Learning Based Systems.

[BibT_eX]

[DOI]

Proceedings of the ECSA 2021 Companion Volume, 2021

2020

Reliable Smart Road Signs.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2020

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.

[BibT_eX]

[DOI]

ACM Trans. Internet Things, 2020

Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Autom., 2020

A behavioral notion of robustness for software systems.

[BibT_eX]

[DOI]

Changjian Zhang

David Garlan

Eunsuk Kang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Runtime-Safety-Guided Policy Repair.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Explanations for human-on-the-loop: a probabilistic model checking approach.

[BibT_eX]

[DOI]

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Teaching software engineering for AI-enabled systems.

[BibT_eX]

[DOI]

Christian Kästner

Eunsuk Kang

Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020

Synthesis of assurance cases for software certification.

[BibT_eX]

[DOI]

Hamid Bagheri

Eunsuk Kang

Niloofar Mansoor

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

Alloy*: a general-purpose higher-order relational constraint solver.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification.

[BibT_eX]

[DOI]

CoRR, 2019

A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility.

[BibT_eX]

[DOI]

Proceedings of the 22nd International ACM Conference on Modeling, 2019

Challenges in Secure Engineering of Critical Infrastructure Systems.

[BibT_eX]

[DOI]

Sridhar Adepu

Eunsuk Kang

Aditya P. Mathur

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

Trade-off-oriented development: making quality attribute trade-offs first-class.

[BibT_eX]

[DOI]

Tobias Dürschmid

Eunsuk Kang

David Garlan

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Automated Synthesis of Secure Platform Mappings.

[BibT_eX]

[DOI]

Eunsuk Kang

Stéphane Lafortune

Stavros Tripakis

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2018

A formal approach for detection of security flaws in the android permission system.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Safe and Secure Automotive Over-the-Air Updates.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Property-Driven Runtime Resolution of Feature Interactions.

[BibT_eX]

[DOI]

Santhana Gopalan Raghavan

Proceedings of the Runtime Verification - 18th International Conference, 2018

Digital Behavioral Twins for Safe Connected Cars.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Quotient for Assume-Guarantee Contracts.

[BibT_eX]

[DOI]

Íñigo Íncer Romeo

Alberto L. Sangiovanni-Vincentelli

Chung-Wei Lin

Eunsuk Kang

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Platform-Independent QoS Parameters and Primitive APIs for Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Network and system level security in connected vehicle applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

Runtime monitoring for safety of intelligent vehicles.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.

[BibT_eX]

[DOI]

Ilias Gerostathopoulos

ACM SIGSOFT Softw. Eng. Notes, 2017

Synthesis of Property-Preserving Mappings.

[BibT_eX]

[DOI]

Eunsuk Kang

Stéphane Lafortune

Stavros Tripakis

CoRR, 2017

An Architectural Mechanism for Resilient IoT Services.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

Stealthy deception attacks for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Multi-representational security modeling and analysis.

[BibT_eX]

[DOI]

Eunsuk Kang

PhD thesis, 2016

Multi-representational security analysis.

[BibT_eX]

[DOI]

Eunsuk Kang

Aleksandar Milicevic

Daniel Jackson

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Designing minimal effective normative systems with the help of lightweight formal methods.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Design Space Exploration for Security.

[BibT_eX]

[DOI]

Eunsuk Kang

Proceedings of the IEEE Cybersecurity Development, 2016

Model-based security analysis of a water treatment system.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

2015

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Adaptive Defending Strategy for Smart Grid Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014

2011

A lightweight code analysis and its role in evaluation of a dependability case.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Separation of concerns for dependable software design.

[BibT_eX]

[DOI]

Daniel Jackson

Eunsuk Kang

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Dependability Arguments with Trusted Bases.

[BibT_eX]

[DOI]

Eunsuk Kang

Daniel Jackson

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Patterns for building dependable systems with trusted bases.

[BibT_eX]

[DOI]

Eunsuk Kang

Daniel Jackson

Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

An Approach for Effective Design Space Exploration.

[BibT_eX]

[DOI]

Eunsuk Kang

Ethan K. Jackson

Wolfram Schulte

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Components, platforms and possibilities: towards generic automation for MDA.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

A Structure for Dependability Arguments.

[BibT_eX]

[DOI]

Daniel Jackson

Eunsuk Kang

Proceedings of the Abstract State Machines, 2010

2009

Designing and Analyzing a Flash File System with Alloy.

[BibT_eX]

[DOI]

Eunsuk Kang

Daniel Jackson

Int. J. Softw. Informatics, 2009

2008

Formal Modeling and Analysis of a Flash Filesystem in Alloy.

[BibT_eX]

[DOI]

Eunsuk Kang

Daniel Jackson

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Improving the Usability of HOL Through Controlled Automation Tactics.

[BibT_eX]

[DOI]

Eunsuk Kang

Mark D. Aagaard

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Eunsuk Kang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...