|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 12 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sachoun Park, Gihwon Kwon |
Applying Lightweight Formal Approach to Automatic Configuration Inspection.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon |
OCL Evaluation on AUTOSAR Model. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sachoun Park, Taeman Han, Gihwon Kwon |
Formal Verification of UML 2.0 Sequence Diagram. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sachoun Park, Gihwon Kwon |
Using Boolean Cardinality Constraint for LTS Bounded Model Checking. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sachoun Park, Gihwon Kwon |
Japanese Puzzle as a SAT Problem. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sachoun Park, Gihwon Kwon |
SAT based Verification Tool for Labeled Transition System. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
Formal Verification, Labeled Transition System, Bounded Model checking, Linear Temporal Logic |
| 1 | Sachoun Park, Gihwon Kwon |
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. |
ICCSA |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Dependency analysis, Model reduction, State explosion problem |
| 1 | Sachoun Park, Gihwon Kwon |
Verification of UML-Based Security Policy Model. |
ICCSA |
2005 |
DBLP DOI BibTeX RDF |
Formal verification, Role-based access control, Visual specification, Security policy model |
| 1 | Sachoun Park, Gihwon Kwon, Soonhoi Ha |
Formalization of fFSM Model and Its Verification. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
Step semantics, Model checking, Formal verification, Finite state machine |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")