Cédric Favre

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 3

Top Topics

Business Processes

Workflow Management Systems

Top Venues

Softw. Syst. Model.

Publications

Cédric Favre, Hagen Völzer, Peter Müller
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS (2016)
Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki
Supporting different process views through a Shared Process Model. Softw. Syst. Model. 15 (4) (2016)
Cédric Favre, Dirk Fahland, Hagen Völzer
The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47 (2015)
Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki
Supporting Different Process Views through a Shared Process Model. ECMFA (2013)
Cédric Favre, Hagen Völzer
The Difficulty of Replacing an Inclusive OR-Join. BPM (2012)
Cédric Favre, Jochen Malte Küster, Hagen Völzer
The Shared Process Model. BPM (Demos) (2012)
Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70 (5) (2011)
Cédric Favre
An efficient approach to detect lack of synchronization in acyclic workflow graphs. ZEUS (2010)
Cédric Favre, Hagen Völzer
Symbolic Execution of Acyclic Workflow Graphs. BPM (2010)
Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
Instantaneous Soundness Checking of Industrial Business Process Models. BPM (2009)
Cédric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinöder, Alexander Maystrenko, Krenar Muhidini, Hagen Völzer, Janette Wong
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. BPM (Demos) (2009)