Travelled to:1 × Germany
1 × Italy
1 × Tunisia
Collaborated with:W.Vogler N.Sidorova N.Trcka W.M.P.v.d.Aalst A.J.Mooij K.Wolf
Talks about:workflow (1) interact (1) guidelin (1) conceptu (1) revisit (1) presenc (1) pattern (1) correct (1) analysi (1) servic (1)
Person: Christian Stahl
DBLP: Stahl:Christian
Contributed to:
2011
2010
2009Wrote 3 papers:
- FoSSaCS-2011-StahlV #guidelines
- A Trace-Based View on Operating Guidelines (CS, WV), pp. 411–425.
- CAiSE-2010-SidorovaST #concept #correctness #workflow
- Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (NS, CS, NT), pp. 530–544.
- SFM-2009-AalstMSW #analysis #formal method #interactive
- Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.