|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 13 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 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 | Taehoon Lee, Mintaek Cho, Gihwon Kwon |
Using Bounded Model Checking with BOGOR. |
SERA |
2007 |
DBLP DOI 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 | Gihwon Kwon |
Relay Reachability Algorithm for Exploring Huge State Space. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taehoon Lee, Gihwon Kwon, Hyuksoo Han |
CTL Model Checking for Boolean Program. |
ICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 |
| 1 | Gihwon Kwon, Taehoon Lee |
Solving Box-Pushing Games via Model Checking with Optimizations. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gihwon Kwon |
Formal Framework for Solving Box-Pushing Games. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gihwon Kwon |
Game Modeling and its Optimizations. |
Modelling, Simulation, and Optimization |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gihwon Kwon |
Applying Model Checking Techniques to Game Solving. |
SERA |
2003 |
DBLP DOI BibTeX RDF |
game solving, Model checking, counterexample, state explosion problem |
| 1 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")