Travelled to:3 × USA
Collaborated with:G.Kwon T.Han H.Lim
Talks about:formal (2) model (2) lightweight (1) constraint (1) configur (1) approach (1) sequenc (1) problem (1) japanes (1) inspect (1)
Person: Sachoun Park
DBLP: Park:Sachoun
Contributed to:
201120102008Wrote 5 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.