Hagen Völzer

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 25

Top Venues

CoRR

Inf. Syst.

BPM

Business Process Management Workshops

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

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
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14 (1) (2023)
Francesca Zerbato, Andrea Burattin, Hagen Völzer, Paul Nelson Becker, Elia Boscaini, Barbara Weber
Supporting Provenance and Data Awareness in Exploratory Process Mining. CAiSE (2023)
Francesca Zerbato, Lisa Zimmermann, Hagen Völzer, Barbara Weber
ProMiSE: Process Mining Support for End-Users. CAiSE Research Projects Exhibition (2023)
Hagen Völzer, Francesca Zerbato, Timothy Sulzer, Barbara Weber
A Fresh Approach to Analyze Process Outcomes. ICPM (2023)
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
Augmented Business Process Management Systems: A Research Manifesto. CoRR (2022)
Siyu Huo, Hagen Völzer, Prabhat Reddy, Prerna Agarwal, Vatche Isahagian, Vinod Muthusamy
Graph Autoencoders for Business Process Anomaly Detection. BPM (2021)
Vinod Muthusamy, Merve Unuvar, Hagen Völzer, Justin D. Weisz
Do's and Don'ts for Human and Digital Worker Integration. CoRR (2020)
Gero Dittmann, Alessandro Sorniotti, Hagen Völzer
Model-Driven Engineering for Multi-party Interactions on a Blockchain - An Example. ICSOC Workshops (2019)
Jochen Küster, Niklaus Meyer, Hagen Völzer, Maria Dubovitskaya, Michael Osborne, Axel Tanner
Managing Security Objects and -Processes Using an Extended BPM Approach and -System. EDOC (2019)
Dirk Fahland, Hagen Völzer
Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways. Inf. Syst. 78 (2018)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets. TACAS (2) (2018)
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
Building a cognitive platform for the managed IT services lifecycle. IBM J. Res. Dev. 62 (1) (2018)
Dirk Fahland, Hagen Völzer
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. EMISA Forum 38 (1) (2018)
Larisa Shwartz, Jinho Hwang, Hagen Völzer, Michael Nidd, Murilo Goncalves Aguiar, Marcos Vinicius Landivar Paraiso, Letusa Valero
CEA: A Service for Cognitive Event Automation. ICSOC Workshops (2018)
Philipp J. Meyer, Javier Esparza, Hagen Völzer
Computing the concurrency threshold of sound free-choice workflow nets. CoRR (2018)
Mirela Botezatu, Hagen Völzer, Lothar Thiele
The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources. BPM (2016)
Cédric Favre, Hagen Völzer, Peter Müller
Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets). TACAS (2016)
Mathias Weske, Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer
Preface to BPM 2014. Inf. Syst. 56 (2016)
Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki
Supporting different process views through a Shared Process Model. Softw. Syst. Model. 15 (4) (2016)
Dirk Fahland, Hagen Völzer
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows. BPM (2016)
Mirela Madalina Botezatu, Jasmina Bogojeska, Ioana Giurgiu, Hagen Völzer, Dorothea Wiesmann
Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching. KDD (2015)
Cédric Favre, Dirk Fahland, Hagen Völzer
The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47 (2015)
Anne Baumgraß, Remco M. Dijkman, Paul W. P. J. Grefen, Shaya Pourmirza, Hagen Völzer, Mathias Weske
A Software Architecture for Transportation Planning and Monitoring in a Collaborative Network. PRO-VE (2015)
Mirela Botezatu, Hagen Völzer, Lothar Thiele
The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource. ICECCS (2015)
Anne Baumgraß, Mirela Botezatu, Claudio Di Ciccio, Remco M. Dijkman, Paul Grefen, Marcin Hewelt, Jan Mendling, Andreas Meyer, Shaya Pourmirza, Hagen Völzer
Towards a Methodology for the Engineering of Event-Driven Process Applications. Business Process Management Workshops (2015)
Mirela Botezatu, Hagen Völzer, Remco M. Dijkman
A Case Study in Workflow Scheduling Driven by Log Data. Business Process Management Workshops (2014)
Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer
A case study on consistency management of business and IT process models in banking. Softw. Syst. Model. 13 (3) (2014)
Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki
Supporting Different Process Views through a Shared Process Model. ECMFA (2013)
Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer
Matching Business Process Workflows across Abstraction Levels. MoDELS (2012)
Hagen Völzer, Daniele Varacca
Defining Fairness in Reactive and Concurrent Systems. J. ACM 59 (3) (2012)
Cédric Favre, Hagen Völzer
The Difficulty of Replacing an Inclusive OR-Join. BPM (2012)
Cédric Favre, Jochen Malte Küster, Hagen Völzer
The Shared Process Model. BPM (Demos) (2012)
Remco M. Dijkman, Beat Gfeller, Jochen Malte Küster, Hagen Völzer
Identifying refactoring opportunities in process model repositories. Inf. Softw. Technol. 53 (9) (2011)
Beat Gfeller, Hagen Völzer, Gunnar Wilmsmann
Faster Or-Join Enactment for BPMN 2.0. BPMN (2011)
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) (2011)
Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer
Simplified Computation and Generalization of the Refined Process Structure Tree. WS-FM (2010)
Cédric Favre, Hagen Völzer
Symbolic Execution of Acyclic Workflow Graphs. BPM (2010)
Hagen Völzer
An Overview of BPMN 2.0 and Its Potential Use. BPMN (2010)
Hagen Völzer
A New Semantics for the Inclusive Converging Gateway in Safe Processes. BPM (2010)
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
The refined process structure tree. Data Knowl. Eng. 68 (9) (2009)
Matthias Schmalz, Daniele Varacca, Hagen Völzer
Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR (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)
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)
Jussi Vanhatalo, Hagen Völzer, Jana Koehler
The Refined Process Structure Tree. BPM (2008)
Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser
Automatic Workflow Graph Refactoring and Completion. ICSOC (2008)
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)
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)
Matthias Schmalz, Hagen Völzer, Daniele Varacca
Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS (2007)
Jussi Vanhatalo, Hagen Völzer, Frank Leymann
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. ICSOC (2007)
Felix C. Freiling, Hagen Völzer
Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. ACM SIGOPS Oper. Syst. Rev. 40 (2) (2006)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic event structures and domains. Theor. Comput. Sci. 358 (2-3) (2006)
Daniele Varacca, Hagen Völzer
Temporal Logics and Model Checking for Fairly Correct Systems. LICS (2006)
Hagen Völzer
On Conspiracies and Hyperfairness in Distributed Computing. DISC (2005)
Hagen Völzer, Daniele Varacca, Ekkart Kindler
Defining Fairness. CONCUR (2005)
Hagen Völzer
A constructive proof for FLP. Inf. Process. Lett. 92 (2) (2004)
Daniele Varacca, Hagen Völzer, Glynn Winskel
Probabilistic Event Structures and Domains. CONCUR (2004)
Hagen Völzer
On Randomization Versus Synchronization in Distributed Systems. ICALP (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) (2004)
Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
A Tool for Subsystem Configuration Management. ICSM (2002)
Hagen Völzer
Refinement-Robust Fairness. CONCUR (2002)
Hagen Völzer
Randomized Non-sequential Processes. CONCUR (2001)
Ekkart Kindler, Hagen Völzer
Algebraic nets with flexible arcs. Theor. Comput. Sci. 262 (1) (2001)
Thomas Baar, Ekkart Kindler, Hagen Völzer
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN (1999)
Hagen Völzer
Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. ACSD (1998)
Ekkart Kindler, Hagen Völzer
Flexibility in Algebraic Nets. ICATPN (1998)
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9 (4) (1997)
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
Distributed Algorithms for Networks of Agents. Petri Nets (2) (1996)

Hagen Völzer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hagen Völzer