|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
A lightweight code analysis and its role in evaluation of a dependability case.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
Components, platforms and possibilities: towards generic automation for MDA. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Dependability Arguments with Trusted Bases. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte |
An Approach for Effective Design Space Exploration. |
Monterey Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Eunsuk Kang |
Separation of concerns for dependable software design. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Eunsuk Kang |
A Structure for Dependability Arguments. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Designing and Analyzing a Flash File System with Alloy. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Formal Modeling and Analysis of a Flash Filesystem in Alloy. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Mark Aagaard |
Improving the Usability of HOL Through Controlled Automation Tactics. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")