BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Park:Sachoun

Contributed to:

SEKE 20112011
SEKE 20102010
SEKE 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.