Eunsuk Kang
Orcid: 0000-0001-7891-6885Affiliations:
- 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 database1,
Eunsuk Kang
authored at least 87 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM SIGSOFT Softw. Eng. Notes, July, 2024
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.
ACM Trans. Auton. Adapt. Syst., June, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024
Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems.
Proceedings of the Formal Methods - 26th International Symposium, 2024
User-Driven Adaptation: Tailoring Autonomous Driving Systems with Dynamic Preferences.
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024
2023
Discret. Event Dyn. Syst., December, 2023
ACM Trans. Cyber Phys. Syst., July, 2023
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.
CoRR, 2023
Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment.
IEEE Access, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2023
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
ACM Trans. Auton. Adapt. Syst., December, 2022
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
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.
Reliab. Eng. Syst. Saf., 2021
Pers. Ubiquitous Comput., 2021
A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems.
CoRR, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
Proceedings of the Software Architecture - 15th European Conference, 2021
Proceedings of the ECSA 2021 Companion Volume, 2021
2020
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.
ACM Trans. Internet Things, 2020
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems.
Autom., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
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
Proceedings of the ICSE-SEET 2020: 42nd International Conference on Software Engineering, Software Engineering Education and Training, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
2019
Formal Methods Syst. Des., 2019
A Game Theoretical Error-Correction Framework for Secure Traffic-Sign Classification.
CoRR, 2019
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility.
Proceedings of the 22nd International ACM Conference on Modeling, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
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.
IEEE Trans. Smart Grid, 2018
Formal Aspects Comput., 2018
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the International Conference on Computer-Aided Design, 2018
Proceedings of the 55th Annual Design Automation Conference, 2018
2017
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.
ACM SIGSOFT Softw. Eng. Notes, 2017
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.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
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.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the IEEE Cybersecurity Development, 2016
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.
Proceedings of the FM 2015: Formal Methods, 2015
2014
Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014
2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the 17th Conference on Pattern Languages of Programs, 2010
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the Abstract State Machines, 2010
2009
Int. J. Softw. Informatics, 2009
2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007