Hagen Völzer

According to our database, Hagen Völzer authored at least 64 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

AI-augmented Business Process Management Systems: A Research Manifesto.

Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber

ACM Trans. Manag. Inf. Syst., March, 2023

A Fresh Approach to Analyze Process Outcomes.

Hagen Völzer, Francesca Zerbato, Timothy Sulzer, Barbara Weber

Proceedings of the 5th International Conference on Process Mining, 2023

ProMiSE: Process Mining Support for End-Users.

Francesca Zerbato, Lisa Zimmermann, Hagen Völzer, Barbara Weber

Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023

Supporting Provenance and Data Awareness in Exploratory Process Mining.

Francesca Zerbato, Andrea Burattin, Hagen Völzer, Paul Nelson Becker, Elia Boscaini, Barbara Weber

Proceedings of the Advanced Information Systems Engineering, 2023

2022

Augmented Business Process Management Systems: A Research Manifesto.

Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber

CoRR, 2022

2021

Graph Autoencoders for Business Process Anomaly Detection.

Siyu Huo, Hagen Völzer, Prabhat Reddy, Prerna Agarwal, Vatche Isahagian, Vinod Muthusamy

Proceedings of the Business Process Management - 19th International Conference, 2021

2020

Do's and Don'ts for Human and Digital Worker Integration.

Vinod Muthusamy, Merve Unuvar, Hagen Völzer, Justin D. Weisz

CoRR, 2020

2019

Model-Driven Engineering for Multi-party Interactions on a Blockchain - An Example.

Gero Dittmann, Alessandro Sorniotti, Hagen Völzer

Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

Managing Security Objects and -Processes Using an Extended BPM Approach and -System.

Jochen Küster, Niklaus Meyer, Hagen Völzer, Maria Dubovitskaya, Michael Osborne, Axel Tanner

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

2018

Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways.

Dirk Fahland, Hagen Völzer

Inf. Syst., 2018

Building a cognitive platform for the managed IT services lifecycle.

Kristof Kloeckner, Constantin Adam, Nikos Anerousis, Naga Ayachitula, Muhammed Fatih Bulut, Gargi Dasgupta, Yu Deng, Yixin Diao, Nicholas C. Fuller, Sandeep Gopisetty, Milton Hernandez, Jinho Hwang, Pietro Iannucci, Anup K. Kalia, Giovanni Lanfranchi, David Lanyi, Heiko Ludwig, A. Mahamuni, Ruchi Mahindru, Fan Jing Meng, Hamid R. Motahari Nezhad, Karin Murthy, Taiga Nakamura, Amit M. Paradkar, Dennis A. Perpetua, Birgit Pfitzmann, Daniela Rosu, Larisa Shwartz, Zhong Su, Maheswaran Surendra, Shu Tao, Hagen Völzer, Maja Vukovic, Dorothea Wiesmann, S. Wozniak, Gary Wright, Jin Xiao, Sai Zeng

IBM J. Res. Dev., 2018

Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows.

Dirk Fahland, Hagen Völzer

EMISA Forum, 2018

Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.

Philipp J. Meyer, Javier Esparza, Hagen Völzer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

CEA: A Service for Cognitive Event Automation.

Larisa Shwartz, Jinho Hwang, Hagen Völzer, Michael Nidd, Murilo Goncalves Aguiar, Marcos Vinicius Landivar Paraiso, Letusa Valero

Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

2016

Supporting different process views through a Shared Process Model.

Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki

Softw. Syst. Model., 2016

Preface to BPM 2014.

Mathias Weske, Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer

Inf. Syst., 2016

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets).

Cédric Favre, Hagen Völzer, Peter Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources.

Mirela Botezatu, Hagen Völzer, Lothar Thiele

Proceedings of the Business Process Management - 14th International Conference, 2016

2015

The relationship between workflow graphs and free-choice workflow nets.

Cédric Favre, Dirk Fahland, Hagen Völzer

Inf. Syst., 2015

Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching.

Mirela Madalina Botezatu, Jasmina Bogojeska, Ioana Giurgiu, Hagen Völzer, Dorothea Wiesmann

Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

A Software Architecture for Transportation Planning and Monitoring in a Collaborative Network.

Anne Baumgraß, Remco M. Dijkman, Paul W. P. J. Grefen, Shaya Pourmirza, Hagen Völzer, Mathias Weske

Proceedings of the Risks and Resilience of Collaborative Networks, 2015

The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource.

Mirela Botezatu, Hagen Völzer, Lothar Thiele

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Towards a Methodology for the Engineering of Event-Driven Process Applications.

Anne Baumgraß, Mirela Botezatu, Claudio Di Ciccio, Remco M. Dijkman, Paul Grefen, Marcin Hewelt, Jan Mendling, Andreas Meyer, Shaya Pourmirza, Hagen Völzer

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

2014

A case study on consistency management of business and IT process models in banking.

Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer

Softw. Syst. Model., 2014

A Case Study in Workflow Scheduling Driven by Log Data.

Mirela Botezatu, Hagen Völzer, Remco M. Dijkman

Proceedings of the Business Process Management Workshops, 2014

2012

Defining Fairness in Reactive and Concurrent Systems.

Hagen Völzer, Daniele Varacca

J. ACM, 2012

Matching Business Process Workflows across Abstraction Levels.

Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer

Proceedings of the Model Driven Engineering Languages and Systems, 2012

The Difficulty of Replacing an Inclusive OR-Join.

Cédric Favre, Hagen Völzer

Proceedings of the Business Process Management - 10th International Conference, 2012

The Shared Process Model.

Cédric Favre, Jochen Malte Küster, Hagen Völzer

Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

2011

Identifying refactoring opportunities in process model repositories.

Remco M. Dijkman, Beat Gfeller, Jochen Malte Küster, Hagen Völzer

Inf. Softw. Technol., 2011

Analysis on demand: Instantaneous soundness checking of industrial business process models.

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf

Data Knowl. Eng., 2011

Faster Or-Join Enactment for BPMN 2.0.

Beat Gfeller, Hagen Völzer, Gunnar Wilmsmann

Proceedings of the Business Process Model and Notation - Third International Workshop, 2011

Managing Artifacts with a Viewpoint-Realization Level Matrix.

Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

Simplified Computation and Generalization of the Refined Process Structure Tree.

Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

An Overview of BPMN 2.0 and Its Potential Use.

Hagen Völzer

Proceedings of the Business Process Modeling Notation - Second International Workshop, 2010

A New Semantics for the Inclusive Converging Gateway in Safe Processes.

Hagen Völzer

Proceedings of the Business Process Management - 8th International Conference, 2010

Symbolic Execution of Acyclic Workflow Graphs.

Cédric Favre, Hagen Völzer

Proceedings of the Business Process Management - 8th International Conference, 2010

2009

The refined process structure tree.

Jussi Vanhatalo, Hagen Völzer, Jana Koehler

Data Knowl. Eng., 2009

Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

Matthias Schmalz, Daniele Varacca, Hagen Völzer

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators.

Cédric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinöder, Alexander Maystrenko, Krenar Muhidini, Hagen Völzer, Janette Wong

Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

Instantaneous Soundness Checking of Industrial Business Process Models.

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda.

Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Hagen Völzer, Olaf Zimmermann

Proceedings of the Software Engineering Techniques, 2008

Automatic Workflow Graph Refactoring and Completion.

Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser

Proceedings of the Service-Oriented Computing, 2008

2007

Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.

Jussi Vanhatalo, Hagen Völzer, Frank Leymann

Proceedings of the Service-Oriented Computing, 2007

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths.

Matthias Schmalz, Hagen Völzer, Daniele Varacca

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Combining Quality Assurance and Model Transformations in Business-Driven Development.

Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Probabilistic event structures and domains.

Daniele Varacca, Hagen Völzer, Glynn Winskel

Theor. Comput. Sci., 2006

Illustrating the impossibility of crash-tolerant consensus in asynchronous systems.

Felix C. Freiling, Hagen Völzer

ACM SIGOPS Oper. Syst. Rev., 2006

Temporal Logics and Model Checking for Fairly Correct Systems.

Daniele Varacca, Hagen Völzer

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

On Conspiracies and Hyperfairness in Distributed Computing.

Hagen Völzer

Proceedings of the Distributed Computing, 19th International Conference, 2005

Defining Fairness.

Hagen Völzer, Daniele Varacca, Ekkart Kindler

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.

Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper

IEEE Trans. Software Eng., 2004

A constructive proof for FLP.

Hagen Völzer

Inf. Process. Lett., 2004

On Randomization Versus Synchronization in Distributed Systems.

Hagen Völzer

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2002

A Tool for Subsystem Configuration Management.

Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Refinement-Robust Fairness.

Hagen Völzer

Proceedings of the CONCUR 2002, 2002

2001

Algebraic nets with flexible arcs.

Ekkart Kindler, Hagen Völzer

Theor. Comput. Sci., 2001

Randomized Non-sequential Processes.

Hagen Völzer

Proceedings of the CONCUR 2001, 2001

2000

Fairneß, Randomisierung und Konspiration in verteilten Algorithmen.

Hagen Völzer

PhD thesis, 2000

1999

Verifying Intuition - ILF Checks DAWN Proofs.

Thomas Baar, Ekkart Kindler, Hagen Völzer

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Flexibility in Algebraic Nets.

Ekkart Kindler, Hagen Völzer

Proceedings of the Application and Theory of Petri Nets 1998, 1998

Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.

Hagen Völzer

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Petri Net Based Verification of Distributed Algorithms: An Example.

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter

Formal Aspects Comput., 1997

1996

Distributed Algorithms for Networks of Agents.

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter

Proceedings of the Lectures on Petri Nets II: Applications, 1996