Eunsuk Kang

Available identifiers

Publication	Date of Publication	Type
On tolerance of discrete systems with respect to transition perturbations	2024-03-25	Paper
Automated synthesis of secure platform mappings	2024-02-16	Paper
Safe environmental envelopes of discrete systems	2024-02-01	Paper
Counterexample classification	2023-05-26	Paper
Engineering secure self-adaptive systems with Bayesian games	2021-08-04	Paper
Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems	2020-10-05	Paper
Alloy*: a general-purpose higher-order relational constraint solver	2019-11-29	Paper
Improving the Usability of HOL Through Controlled Automation Tactics	2008-09-02	Paper

This page was built for person: Eunsuk Kang