Cédric Favre

发表

Supporting Different Process Views through a Shared Process Model

Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer, 2013, ECMFA.

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-ChoiceWorkflow Nets)

Peter Müller, Hagen Völzer, Cédric Favre, 2015 .

The Difficulty of Replacing an Inclusive OR-Join

Hagen Völzer, Cédric Favre, H. Völzer, 2012, BPM.

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Jana Koehler, Niels Lohmann, 2011, Data Knowl. Eng..

Instantaneous Soundness Checking of Industrial Business Process Models

Dirk Fahland, Jana Koehler, Niels Lohmann, 2009, BPM.

The Shared Process Model

Jochen Malte Küster, Hagen Völzer, Cédric Favre, 2012, BPM.

Symbolic Execution of Acyclic Workflow Graphs

Hagen Völzer, Cédric Favre, 2010, BPM.

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators

Jana Koehler, Hagen Völzer, Cédric Favre, 2009, BPM.

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)

Peter Müller, Hagen Völzer, Cédric Favre, 2016, TACAS.

The relationship between workflow graphs and free-choice workflow nets

Dirk Fahland, Hagen Völzer, Cédric Favre, 2015, Inf. Syst..

Supporting different process views through a Shared Process Model

Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer, 2013, Software & Systems Modeling.

An efficient approach to detect lack of synchronization in acyclic workflow graphs

Cédric Favre, 2010, ZEUS.