Hagen Völzer

Hagen Völzer, Daniele Varacca: Defining Fairness in Reactive and Concurrent Systems. J. ACM 59(3): 13 (2012)

Cédric Favre, Hagen Völzer: The Difficulty of Replacing an Inclusive OR-Join. BPM 2012: 156-171

Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer: Matching Business Process Workflows across Abstraction Levels. MoDELS 2012: 626-641

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): 448-466 (2011)

Remco M. Dijkman, Beat Gfeller, Jochen Malte Küster, Hagen Völzer: Identifying refactoring opportunities in process model repositories. Information & Software Technology 53(9): 937-948 (2011)

Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann: Managing Artifacts with a Viewpoint-Realization Level Matrix. Relating Software Requirements and Architectures 2011: 257-277

Beat Gfeller, Hagen Völzer, Gunnar Wilmsmann: Faster Or-Join Enactment for BPMN 2.0. BPMN 2011: 31-43

Cédric Favre, Hagen Völzer: Symbolic Execution of Acyclic Workflow Graphs. BPM 2010: 260-275

Hagen Völzer: A New Semantics for the Inclusive Converging Gateway in Safe Processes. BPM 2010: 294-309

Hagen Völzer: An Overview of BPMN 2.0 and Its Potential Use. BPMN 2010: 14-15

Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer: Simplified Computation and Generalization of the Refined Process Structure Tree. WS-FM 2010: 25-41

Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The refined process structure tree. Data Knowl. Eng. 68(9): 793-818 (2009)

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: 278-293

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

Matthias Schmalz, Daniele Varacca, Hagen Völzer: Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR 2009: 587-602

Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree. BPM 2008: 100-115

Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser: Automatic Workflow Graph Refactoring and Completion. ICSOC 2008: 100-115

Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann: Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda. CEE-SET 2008: 1-19

Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer: Combining Quality Assurance and Model Transformations in Business-Driven Development. AGTIVE 2007: 1-16

Matthias Schmalz, Hagen Völzer, Daniele Varacca: Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS 2007: 532-543

Jussi Vanhatalo, Hagen Völzer, Frank Leymann: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. ICSOC 2007: 43-55

Felix C. Freiling, Hagen Völzer: Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. Operating Systems Review 40(2): 105-109 (2006)

Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)

Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398

Hagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472

Hagen Völzer: On Conspiracies and Hyperfairness in Distributed Computing. DISC 2005: 33-47

Hagen Völzer: A constructive proof for FLP. Inf. Process. Lett. 92(2): 83-87 (2004)

Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper: SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. IEEE Trans. Software Eng. 30(10): 675-693 (2004)

Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496

Hagen Völzer: On Randomization Versus Synchronization in Distributed Systems. ICALP 2004: 1214-1226

Hagen Völzer: Refinement-Robust Fairness. CONCUR 2002: 547-561

Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald: A Tool for Subsystem Configuration Management. ICSM 2002: 492-500

Ekkart Kindler, Hagen Völzer: Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001)

Hagen Völzer: Randomized Non-sequential Processes. CONCUR 2001: 184-201

Thomas Baar, Ekkart Kindler, Hagen Völzer: Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424

Hagen Völzer: Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. ACSD 1998: 187-197

Ekkart Kindler, Hagen Völzer: Flexibility in Algebraic Nets. ICATPN 1998: 345-364

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter: Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput. 9(4): 409-424 (1997)

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385