Travelled to:1 × Sweden
Collaborated with:M.Seidl R.Bill S.Gabmeyer M.Kronegger A.Pfandler M.Widl
Talks about:sequenc (1) diagram (1) specif (1) machin (1) extend (1) state (1) model (1) debug (1) check (1) tool (1)
Person: Petra Kaufmann
DBLP: Kaufmann:Petra
Contributed to:
2014Wrote 2 papers:
- SLE-2014-BillGKS #model checking #ocl #specification
- Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
- SLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine
- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.