Cédric Favre

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