Travelled to:1 × Germany
1 × Italy
Collaborated with:H.Wimmel W.M.P.v.d.Aalst A.J.Mooij C.Stahl
Talks about:interact (1) pattern (1) analysi (1) servic (1) formal (1) state (1) petri (1) equat (1) cegar (1) appli (1)
Person: Karsten Wolf
DBLP: Wolf:Karsten
Contributed to:
2011
2009Wrote 2 papers:
- TACAS-2011-WimmelW #equation #petri net
- Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
- SFM-2009-AalstMSW #analysis #formal method #interactive
- Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.