BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Denmark
1 × Italy
1 × Norway
1 × USA
Collaborated with:
D.Jackson A.Milicevic D.J.0001 J.P.Near S.Lafortune S.Tripakis H.Bagheri S.Malek J.Hao J.S.0001 X.Chen S.Shiraishi V.M.Preciado Z.Jiang
Talks about:
lightweight (2) analysi (2) design (2) depend (2) secur (2) constraint (1) represent (1) synthesi (1) protocol (1) platform (1)

Person: Eunsuk Kang

DBLP DBLP: Kang:Eunsuk

Contributed to:

FM 20152015
ICSE 20152015
ICSE 20112011
RE 20102010
MoDELS 20182018
FSE 20162016
CAV (1) 20192019

Wrote 8 papers:

FM-2015-BagheriKMJ #android #bound #design #detection #protocol #verification
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification (HB, EK, SM, DJ), pp. 73–89.
ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight
A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
RE-2010-KangJ #dependence
Dependability Arguments with Trusted Bases (EK, DJ), pp. 262–271.
MoDELS-2018-ChenKSPJ #behaviour
Digital Behavioral Twins for Safe Connected Cars (XC, EK, SS, VMP, ZJ), pp. 144–153.
FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
FSE-2016-KangMJ #analysis #multi #security
Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.
CAV-2019-KangLT #automation #framework #platform #synthesis
Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.