 | 2011 |
|---|
| 9 |       | Joseph P. Near,
Aleksandar Milicevic,
Eunsuk Kang,
Daniel Jackson:
A lightweight code analysis and its role in evaluation of a dependability case.
ICSE 2011: 31-40 |
| 2010 |
|---|
| 8 | | Daniel Jackson,
Eunsuk Kang:
A Structure for Dependability Arguments.
ASM 2010: 1 |
| 7 | | Ethan K. Jackson,
Eunsuk Kang,
Markus Dahlweid,
Dirk Seifert,
Thomas Santen:
Components, platforms and possibilities: towards generic automation for MDA.
EMSOFT 2010: 39-48 |
| 6 | | Daniel Jackson,
Eunsuk Kang:
Separation of concerns for dependable software design.
FoSER 2010: 173-176 |
| 5 | | Eunsuk Kang,
Ethan K. Jackson,
Wolfram Schulte:
An Approach for Effective Design Space Exploration.
Monterey Workshop 2010: 33-54 |
| 4 | | Eunsuk Kang,
Daniel Jackson:
Dependability Arguments with Trusted Bases.
RE 2010: 262-271 |
| 2009 |
|---|
| 3 | | Eunsuk Kang,
Daniel Jackson:
Designing and Analyzing a Flash File System with Alloy.
Int. J. Software and Informatics 3(2-3): 129-148 (2009) |
| 2008 |
|---|
| 2 | | Eunsuk Kang,
Daniel Jackson:
Formal Modeling and Analysis of a Flash Filesystem in Alloy.
ABZ 2008: 294-308 |
| 2007 |
|---|
| 1 | | Eunsuk Kang,
Mark Aagaard:
Improving the Usability of HOL Through Controlled Automation Tactics.
TPHOLs 2007: 157-172 |
Data released under the ODC-BY 1.0 license — See also our legal information page