Travelled to:1 × United Kingdom
3 × USA
Collaborated with:S.Park T.Han ∅ H.Lim
Talks about:model (3) formal (2) check (2) uml (2) lightweight (1) statechart (1) constraint (1) configur (1) approach (1) sequenc (1)
Person: Gihwon Kwon
DBLP: Kwon:Gihwon
Contributed to:
201120102008
2000Wrote 6 papers:
- SEKE-2011-ParkK #approach #automation #formal method #lightweight
- Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.
- SEKE-2010-ParkHK #diagrams #sequence chart #uml #verification
- Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
- SEKE-2010-ParkHLK #evaluation #ocl
- OCL Evaluation on AUTOSAR Model (SP, TH, HL, GK), pp. 645–648.
- SEKE-2008-ParkK #automaton #bound #constraints #lts #model checking #using
- Using Boolean Cardinality Constraint for LTS Bounded Model Checking (SP, GK), pp. 537–542.
- SEKE-2008-ParkK08a #problem #satisfiability
- Japanese Puzzle as a SAT Problem (SP, GK), pp. 543–548.
- UML-2000-Kwon #model checking #semantics #uml
- Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.