Hagen Völzer

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