| |
| 2008 | ||
|---|---|---|
| 6 | Sachoun Park, Gihwon Kwon: Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE 2008: 537-542 | |
| 5 | Sachoun Park, Gihwon Kwon: Japanese Puzzle as a SAT Problem. SEKE 2008: 543-548 | |
| 2007 | ||
| 4 | EE | Sachoun Park, Gihwon Kwon: SAT based Verification Tool for Labeled Transition System. SERA 2007: 221-226 |
| 2006 | ||
| 3 | EE | Sachoun Park, Gihwon Kwon: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) 2006: 905-911 |
| 2005 | ||
| 2 | EE | Sachoun Park, Gihwon Kwon: Verification of UML-Based Security Policy Model. ICCSA (3) 2005: 973-982 |
| 1 | EE | Sachoun Park, Gihwon Kwon, Soonhoi Ha: Formalization of fFSM Model and Its Verification. ICESS 2005: 361-372 |
| 1 | Soonhoi Ha | [1] |
| 2 | Gihwon Kwon | [1] [2] [3] [4] [5] [6] |