Instantaneous Soundness Checking of Industrial Business Process Models. - Dirk Fahland; Cédric Favre; Barbara Jobstmann; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (BPM, 2009)

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. - Cédric Favre; Thomas Gschwind; Jana Koehler; Wolfgang Kleinöder; Alexander Maystrenko; Krenar Muhidini; Hagen Völzer; Janette Wong (BPM (Demos), 2009)

Symbolic Execution of Acyclic Workflow Graphs. - Cédric Favre; Hagen Völzer (BPM, 2010)

An efficient approach to detect lack of synchronization in acyclic workflow graphs. - Cédric Favre (ZEUS, 2010)

Analysis on demand: Instantaneous soundness checking of industrial business process models. - Dirk Fahland; Cédric Favre; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (Data Knowl. Eng., 2011)

The Shared Process Model. - Cédric Favre; Jochen Malte Küster; Hagen Völzer (BPM (Demos), 2012)

The Difficulty of Replacing an Inclusive OR-Join. - Cédric Favre; Hagen Völzer (BPM, 2012)

Detecting, Understanding, and Fixing Control-Flow Errors in Business Process Models. - Cédric Favre (2014)

The relationship between workflow graphs and free-choice workflow nets. - Cédric Favre; Dirk Fahland; Hagen Völzer (Inf. Syst., 2015)

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). - Cédric Favre; Hagen Völzer; Peter Müller 001 (TACAS, 2016)

Supporting different process views through a Shared Process Model. - Jochen Malte Küster; Hagen Völzer; Cédric Favre; Moisés Castelo Branco; Krzysztof Czarnecki 001 (Softw. Syst. Model., 2016)