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

Contributed to:

FOSSACS 20112011
CAiSE 20102010
SFM 20092009

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

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.