 | 2011 |
|---|
| 17 |       | Sachoun Park,
Gihwon Kwon:
Applying Lightweight Formal Approach to Automatic Configuration Inspection.
SEKE 2011: 107-110 |
| 2010 |
|---|
| 16 | | Sachoun Park,
Taeman Han,
Gihwon Kwon:
Formal Verification of UML 2.0 Sequence Diagram.
SEKE 2010: 411-416 |
| 15 | | Sachoun Park,
Taeman Han,
Hyoungju Lim,
Gihwon Kwon:
OCL Evaluation on AUTOSAR Model.
SEKE 2010: 645-648 |
| 2008 |
|---|
| 14 | | Sachoun Park,
Gihwon Kwon:
Using Boolean Cardinality Constraint for LTS Bounded Model Checking.
SEKE 2008: 537-542 |
| 13 | | Sachoun Park,
Gihwon Kwon:
Japanese Puzzle as a SAT Problem.
SEKE 2008: 543-548 |
| 2007 |
|---|
| 12 |  | Sachoun Park,
Gihwon Kwon:
SAT based Verification Tool for Labeled Transition System.
SERA 2007: 221-226 |
| 11 | | Taehoon Lee,
Mintaek Cho,
Gihwon Kwon:
Using Bounded Model Checking with BOGOR.
SERA 2007: 863-870 |
| 2006 |
|---|
| 10 | | Taehoon Lee,
Gihwon Kwon,
Hyuksoo Han:
CTL Model Checking for Boolean Program.
ICCSA (4) 2006: 1081-1089 |
| 9 | | Sachoun Park,
Gihwon Kwon:
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.
ICCSA (5) 2006: 905-911 |
| 8 | | Gihwon Kwon:
Relay Reachability Algorithm for Exploring Huge State Space.
Electr. Notes Theor. Comput. Sci. 149(2): 19-31 (2006) |
| 2005 |
|---|
| 7 | | Sachoun Park,
Gihwon Kwon:
Verification of UML-Based Security Policy Model.
ICCSA (3) 2005: 973-982 |
| 6 | | Sachoun Park,
Gihwon Kwon,
Soonhoi Ha:
Formalization of fFSM Model and Its Verification.
ICESS 2005: 361-372 |
| 2004 |
|---|
| 5 | | Gihwon Kwon,
Taehoon Lee:
Solving Box-Pushing Games via Model Checking with Optimizations.
ATVA 2004: 491-494 |
| 2003 |
|---|
| 4 | | Gihwon Kwon:
Game Modeling and its Optimizations.
Modelling, Simulation, and Optimization 2003: 57-62 |
| 3 | | Gihwon Kwon:
Applying Model Checking Techniques to Game Solving.
SERA 2003: 290-303 |
| 2 | | Gihwon Kwon:
Formal Framework for Solving Box-Pushing Games.
SNPD 2003: 309-314 |
| 2000 |
|---|
| 1 | | Gihwon Kwon:
Rewrite rules and Operational Semantics for Model Checking UML Statecharts.
UML 2000: 528-540 |
Data released under the ODC-BY 1.0 license — See also our legal information page