Defining fairness in reactive and concurrent systems
- Hagen Völzer
- Daniele Varacca
- 2012
- Journal of the ACM
Publications
15 results for Hagen Volzer
Identifying refactoring opportunities in process model repositories
- Remco Dijkman
- Beat Gfeller
- et al.
- 2011
- Information and Software Technology
Analysis on demand: Instantaneous soundness checking of industrial business process models
- Dirk Fahland
- Cédric Favre
- et al.
- 2011
- Data and Knowledge Engineering
Faster and better business process modeling with the IBM pattern-based process model accelerators
- Cédric Favre
- Thomas Gschwind
- et al.
- 2009
- BPMDemos 2009
The refined process structure tree
- Jussi Vanhatalo
- Hagen Völzer
- et al.
- 2009
- Data and Knowledge Engineering