Hagen Völzer  Hagen Völzer photo       

contact information

Services Research, BPM Research
IBM Research - Zurich, Switzerland

links

Professional Associations

Professional Associations:  ACM

more information

More information:  Cognitive Computing and Industry Solutions


For more publications see DBLP.


 

Dirk Fahland and Hagen Völzer:
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows.
Proceedings BPM 2016 (14th Int. Conference on Business Process Management),
LNCS 9850,  pp. 234-251, Springer,  2016.
© 2016 Springer Springer Link Technical Report Version Talk (pdf)

Mirela Botezatu, Hagen Völzer, and Lothar Thiele:
The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources.
Proceedings BPM 2016 (14th Int. Conference on Business Process Management),
LNCS 9850,  pp. 252-268, Springer,  2016.
© 2016 Springer Springer Link Technical Report Version

Cédric Favre, Hagen Völzer, and Peter Müller:
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-Choice Workflow Nets).
Proceedings TACAS 2016 (22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
LNCS 9836, pp. 463-479, Springer 2016.
© 2016 Springer Springer Link Technical Report Version Talk (pdf) Talk (Powerpoint Show)


 

Mirela Botezatu, Hagen Völzer, and Lothar Thiele:
The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource.
Proceedings ICECCS 2015 (20th International Conference on Engineering of Complex Computer Systems)
IEEE, 2015, pp 110-119
© 2015 IEEE link Technical Report Version

Mirela Botezatu, Jasmina Bogojeska, Ioana Giurgiu, Hagen Völzer, and Dorothea Wiesmann:
Multi-View Incident Ticket Clustering For Optimal Ticket Dispatching.
Proceedings KDD 2015 (21st International Conference on Knowledge Discovery and Data Mining)
ACM, 2015, pp 1711-1720
© 2015 ACM Link

Jochen Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki:
Supporting Different Process Views through a Shared Process Model.
Software and System Modeling 15(4): 1207-1233 (2016)
© 2015 Springer Springer Link

Mirela Botezatu, Hagen Völzer, and Remco Dijkman:
A Case Study in Workflow Scheduling Driven by Log Data.
Proceedings BPI 2014 (10th International Workshop on Business Process Intelligence)
LNBIP Volume 202, 2015, Springer, pp 251-263
© 2015 Springer Springer Link Preprint (pdf)


 

Cédric Favre, Dirk Fahland, and Hagen Völzer:
The Relationship Between Workflow Graphs and Free-Choice Workflow Nets.
Information Systems 47: 197-219 (2015)
© 2014 Elsevier Elsevier Link Preprint (pdf)

Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Küster, Hagen Völzer:
A case study on consistency management of business and IT process models in banking.
Software & Systems Modeling, July 2014, Volume 13, Issue 3, pp 913-940
© 2013 Springer Springer Link

Jochen Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki:
Supporting Different Process Views through a Shared Process Model.
Proceedings ECMFA 2013 (9th European Conference on Modelling Foundations and Applications),
LNCS 7949,  pp. 20-36, Springer,  2013.
© 2013 Springer Springer Link Extended version as IBM Technical Report (link)


 

Hagen Völzer:
Synchronizing Business and IT Process Views with BPMN.
Invited Talk.
IT University Copenhagen June 2012 and Queensland Univeristy of Technology October 2012
© 2012 Talk (pdf)

Cédric Favre and Hagen Völzer:
The Difficulty of Replacing an Inclusive OR-Join.
Proceedings BPM 2012 (10th Int. Conference on Business Process Management),
LNCS 7481,  pp. 156-171, Springer,  2012.
© 2012 Springer Springer link Extended version as IBM Technical Report (link) BPM talk given by Cédric Favre (pdf)

Hagen Völzer and Daniele Varacca:
Defining Fairness in Reactive and Concurrent Systems.
Journal of the ACM, Vol. 59, No. 3, Article 13, June 2012.
© 2012 ACM ACM link

ACM DL Author-ize serviceOfficial version (pdf)
Hagen Völzer, Daniele Varacca
Journal of the ACM (JACM), 2012


Cédric Favre, Jochen Küster, Hagen Völzer:
The Shared Process Model.
BPM 2012 Demonstration Track, CEUR Workshop Proceedings.
© 2012 Link


 

Beat Gfeller, Hagen Völzer, and Gunnar Wilmsmann:
Faster Or-join Enactment for BPMN 2.0.
Proceedings BPMN 2011 (3rd Int. Workshop on Business Process Modeling Notation),
LNBIP 95,  pp. 31-43, Springer,  2011.
© 2011 Springer Springer link Preprint (pdf) BPMN talk (pdf)

Remco Dijkman, Beat Gfeller, Jochen Küster, and Hagen Völzer:
Identifying Refactoring Opportunities in Process Model Repositories.
Information and Software Technology 53 (2011) 937-948
© 2011 Elsevier Elsevier link Preprint (pdf)

Jochen Küster, Hagen Völzer, and Olaf Zimmermann:
Managing Artifacts with a Viewpoint-Realization Level Matrix.
In: "Relating Software Requirements and Architectures", Editors: Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík, pp. 257-277, Springer 2011
© 2011 Springer Springer link Preprint (pdf)

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf:
Analysis on Demand:
Instantaneous Soundness Checking of Industrial Business Process Models.

Data and Knowledge Engineering 70 (2011) 448-466.
© 2011 Elsevier Elsevier link Preprint (pdf)


 

Hagen Völzer:
Flow graph parsing and its application in (business) process management in SOA.
Invited Talk.
SOAMED Graduiertenkolleg, Nov. 2010
© 2011 Talk (pdf)

Artem Polyvyanyy, Jussi Vanhatalo, and Hagen Völzer:
Simplified Computation and Generalization of the Refined Process Structure Tree.
Proceedings WS-FM 2010 (7th Int. Workshop on Web Services and Formal Methods),
LNCS 6551,  pp. 25-41, Springer,  2011.
© 2011 Springer Springer link Extended version as IBM Technical Report (link) WS-FM talk (pdf) given by Jussi Vanhatalo

Hagen Völzer:
An Overview of BPMN 2.0 and Its Potential Use.
Proceedings BPMN 2010 (2nd Int. Workshop on Business Process Modeling Notation),
LNBIP 67,  pp. 14-15, Springer,  2010.
© 2010 Springer Springer link Extended Abstract (pdf) Link to video Slides of BPMN talk upon request.

Hagen Völzer:
A New Semantics for the Inclusive Converging Gateway in Safe Processes.
Proceedings BPM 2010 (8th Int. Conference on Business Process Management),
LNCS 6336,  pp. 294-309, Springer,  2010.
© 2010 Springer Springer link Paper (pdf) Extended version as IBM Technical Report (link) BPM talk (pdf)

Cédric Favre and Hagen Völzer:
Symbolic Execution of Acyclic Workflow Graphs.
Proceedings BPM 2010 (8th Int. Conference on Business Process Management),
LNCS 6336,  pp. 260-275, Springer,  2010.
© 2010 Springer Springer link Paper (pdf) Extended version as IBM Technical Report (link) BPM talk (pdf) given by Cédric Favre


 

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf:
Instantaneous Soundness Checking of Industrial Business Process Models.
Proceedings BPM 2009 (7th Int. Conference on Business Process Management),
LNCS 5701,  pp. 278-293, Springer,  2009.
Superseded by journal version above.
© 2009 Springer Springer link Paper (pdf) BPM talk (pdf) given by Dirk Fahland

Hagen Völzer:
An Introduction to BPMN 2.0.
Invited Tutorial at BPM 2009, Ulm, Germany, Sep 2009
Slides available upon request.

Matthias Schmalz, Hagen Völzer and Daniele Varacca:
Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
Proceedings CONCUR 2009 (20th Int. Conference on Concurrency Theory),
LNCS 5710, pp. 587-602, Springer, 2009.
© 2009 Springer Springer link Paper (pdf) CONCUR talk (pdf) given by Matthias Schmalz

Jussi Vanhatalo, Hagen Völzer and Jana Koehler:
The Refined Process Structure Tree.
Data and Knowledge Engineering 68 (2009) 793-818
© 2009 Elsevier Elsevier link Preprint (pdf)


 

Jussi Vanhatalo, Hagen Völzer, Frank Leymann and Simon Moser:
Automatic Workflow Graph Refactoring and Completion.
Proceedings ICSOC 2008 (6th Int. Conference on Service-Oriented Computing),
LNCS 5364,  pp. 100-115, Springer, Dec 2008.
© 2008 Springer Springer link Paper (pdf) ICSOC talk (pdf) given by Jussi Vanhatalo

Jussi Vanhatalo, Hagen Völzer and Jana Koehler:
The Refined Process Structure Tree.
Proceedings BPM 2008 (6th Int. Conference on Business Process Management),
LNCS 5240,  pp. 100-115, Springer, Sep 2008.
Awarded 'Best paper BPM 2008'.
Superseded by journal version above.
© 2008 Springer Springer link Paper (pdf) BPM talk (pdf)


 

Matthias Schmalz, Hagen Völzer and Daniele Varacca:
Model Checking Almost All Paths Can Be Less Expensive than Checking All Paths.
Proceedings FSTTCS 2007 (Annual Conference on Foundations of Software Technology and Theoretical Computer Science),
LNCS 4855, pp. 532-543, Springer, Dec 2007.
© 2007 Springer Springer link Paper (pdf) Extended version as ETH Technical Report No. 573 (pdf)

Hagen Völzer joint work with Jussi Vanhatalo and Frank Leymann:
Analysis of workflow graphs through SESE decomposition.
Invited Talk at AWPN 2007 (14th Workshop Algorithmen und Werkzeuge für Petrinetze),
Sep. 2007.
Powerpoint presentation (pps) Slides (pdf)

Jussi Vanhatalo, Hagen Völzer and Frank Leymann:
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.
Proceedings ICSOC 2007 (5th Int. Conference on Service-Oriented Computing),
LNCS 4749,  pp. 43-55, Springer,  Sep 2007.
© 2007 Springer Springer link Paper (pdf) Extended version as IBM Technical Report (link)

Hagen Völzer:
Defining Fairness and Fairly Correct Systems.
Invited Talk.
EPF Lausanne June 2007, RWTH Aachen Oct 2007, ETH Zurich Dec 2007
Talk (pdf)


 

Daniele Varacca and Hagen Völzer:
New Perspectives on Fairness.
Bulletin of the EATCS, Vol. 90, pp. 90-108 , Oct 2006.
2006 BEATCS online Paper (pdf)

Hagen Völzer:
When a system is fairly correct.
EXPRESS 2006 (13th Workshop on Expressiveness in Concurrency),
Invited talk, Aug 2006.
Extended Abstract (pdf) EXPRESS talk (pdf) EXPRESS talk print version (pdf)

Daniele Varacca and Hagen Völzer:
Temporal logics and model checking for fairly correct systems.
Proceedings LICS 2006 (21st Symposium on Logic in Computer Science),
pp. 389-398 , IEEE Press, Aug 2006.
© 2006 IEEE Paper (pdf) LICS talk (pdf) LICS talk print version (pdf)

Daniele Varacca, Hagen Völzer, and Glynn Winskel:
Probabilistic Event Structures and Domains.
Theoretical Computer Science 358 (2006) 173-199.
© 2006 Elsevier Elsevier link Paper (pdf) An older version is available as a technical report. (link)

Felix C. Freiling and Hagen Völzer:
Illustrating the impossibility of crash-tolerant consensus in asynchronous systems.
ACM SIGOPS Operating Systems Review, Vol. 40, No. 2, pp. 105-109, Apr 2006.
2006 ACM Press ACM link Paper (pdf)


 

Hagen Völzer:
On Conspiracies and Hyperfairness in Distributed Computing.
Proceedings DISC 2005 (19th Int. Symposium on Distributed Computing),
LNCS 3724,  pp. 33-47, Springer,  Sep 2005.
© 2005 Springer Springer link Extended Abstract (ps) Full version (ps) DISC talk (pdf)

Hagen Völzer, Daniele Varacca, and Ekkart Kindler:
Defining Fairness.
Proceedings CONCUR 2005 (16th Int. Conference on Concurrency Theory),
LNCS 3653,  pp. 458-472, Springer,  Aug 2005.
Awarded 'Best paper CONCUR 2005'.
© 2005 Springer Springer link Extended Abstract (ps) Full version (ps) CONCUR talk (pdf)


 

Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter Lindsay, and Paul Strooper:
SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.
IEEE Transactions on Software Engineering, Vol. 30, No. 10, pp. 675-693, Oct 2004
© 2004 IEEE IEEE link Available upon request.

Hagen Völzer:
A Constructive Proof for FLP.
Information Processing Letters 92 (2004) 83-87
© 2004 Elsevier Elsevier link Available upon request.

Daniele Varacca, Hagen Völzer, and Glynn Winskel:
Probabilistic Event Structures and Domains.
Proceedings CONCUR 2004 (15th Int. Conference on Concurrency Theory),
LNCS 3170,  pp. 481-496, Springer,  Aug/Sep 2004.
Superseded by journal version above.
© 2005 Springer Springer link Extended Abstract (pdf) Full version (link)

Hagen Völzer:
Randomization versus Synchronization in Distributed Systems.
Proceedings ICALP 2004 (31st Int. Colloquium on Automata, Languages, and Programming),
LNCS 3142,  pp. 1214-1226, Springer, July 2004.
© 2005 Springer Springer link Full version (ps) ICALP talk (pdf)


 

Hagen Völzer, Brenton Atchison, Peter Lindsay, Anthony MacDonald, and Paul Strooper:
A Tool for Subsystem Configuration Management.
Proceedings ICSM 2002 (Int. Conference on Software Maintenance),
pp. 492-500 , IEEE Press, Oct 2002.
© 2002 IEEE IEEE link Technical report 02-07 (pdf)

Hagen Völzer:
Refinement-Robust Fairness.
Proceedings CONCUR 2002 (13th Int. Conference on Concurrency Theory),
LNCS 2421,  pp. 547-561, Springer, Aug 2002.
© 2002 Springer Springer link Full paper (ps) Extended CONCUR talk (pdf)

Hagen Völzer:
Randomized Non-Sequential Processes and Distributed Adversaries.
SVRC technical report 02-28, The University of Queensland, July 2002.
Paper (ps) Erratum (ps)


 

Hagen Völzer:
Randomized Non-Sequential Processes.
Proceedings CONCUR 2001 (12th Int. Conference on Concurrency Theory),
LNCS 2154,  pp. 184-201, Springer, Aug 2001.
© 2001 Springer Springer link Full paper (ps) Erratum (ps)

Ekkart Kindler and Hagen Völzer:
Algebraic nets with flexible arcs.
Theoretical Computer Science 262 (2001) 285-310.
© 2001 Elsevier Elsevier link Available upon request.


 

Hagen Völzer:
Fairneß, Randomisierung und Konspiration in verteilten Algorithmen.
Dissertation. (In German)
Humboldt-Universität zu Berlin, Dec 2000.
Link

Thomas Baar, Ekkart Kindler, and Hagen Völzer:
Verifying Intuition - ILF checks DAWN proofs.
Proceedings ICATPN 1999 (20th Int. Conference on Application and Theory of Petri Nets),
LNCS 1639, pp. 404-423, Springer, June 1999
© 1999 Springer Springer link Full paper (ps)

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, and Rolf Walter:
Distributed algorithms for networks of agents.
In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II: Applications
LNCS 1492, pp. 331-385, Springer, 1998
© 1998 Springer Full paper (ps)

Ekkart Kindler and Hagen Völzer:
Flexibility in Algebraic Nets.
Proceedings ICATPN 1998 (19th Int. Conference on Application and Theory of Petri Nets),
LNCS 1420, pp. 345-364, Springer, June 1998
© 1998 Springer Full paper (ps)

Hagen Völzer:
Verifying fault tolerance of distributed algorithms formally: An example.
Proceedings ACSD 1998 (Int. Conference on Application of Concurrency to System Design),
pp. 187-197 , IEEE Press, Mar 1998.
© 1998 IEEE IEEE link Full paper (ps)

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter:
Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Aspects of Computing, 9:109-121, 1997
© 1997 BCS  Available upon request.

Michael Weber, Rolf Walter, Hagen Völzer, Tobias Vesper, Wolfgang Reisig, Sibylle Peuker, Ekkart Kindler, Jörn Freiheit und Jörg Desel:
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
Informatik-Berichte 88, Humboldt-Universität zu Berlin, Institut für Informatik, Dezember 1997.
Document (ps)

Hagen Völzer:
Verifikation verteilter Algorithmen mit Algebraischen Netzen.
Diploma Thesis. (In German)
Humboldt-Universität zu Berlin, Institut für Informatik, Oct 1995.