Eunsuk Kang

Eunsuk Kang

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 883532
person_outline Eunsuk Kang's MOST POPULAR ARTICLES
1-) An approach for effective design space explorationE Kang, E Jackson, W SchulteFoundations of Computer Software. Modeling, Development, and Verification of …, 20112012011
2-) Synthesis of sensor deception attacks at the supervisory layer of cyber–physical systemsR Meira-Góes, E Kang, RH Kwong, S LafortuneAutomatica 121, 109172, 2020942020
3-) Stealthy deception attacks for cyber-physical systemsRM Góes, E Kang, R Kwong, S Lafortune2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4224-4230, 20171022017
4-) Alloy*: A general-purpose higher-order relational constraint solverA Milicevic, JP Near, E Kang, D JacksonFormal Methods in System Design 55, 1-32, 20191022019
5-) Formal modeling and analysis of a flash filesystem in AlloyE Kang, D JacksonAbstract state machines, B and Z, 294-308, 2008992008