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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dirk Fahland

Inf. Syst., 2018

Building a cognitive platform for the managed IT services lifecycle.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2018

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

[BibT_eX]

Dirk Fahland

EMISA Forum, 2018

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

[BibT_eX]

[DOI]

Philipp J. Meyer

Javier Esparza

Marcos Vinicius Landivar Paraiso

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

CEA: A Service for Cognitive Event Automation.

[BibT_eX]

[DOI]

Murilo Goncalves Aguiar

Letusa Valero

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

2016

Supporting different process views through a Shared Process Model.

[BibT_eX]

[DOI]

Jochen Malte Küster

Moisés Castelo Branco

Krzysztof Czarnecki

Softw. Syst. Model., 2016

Preface to BPM 2014.

[BibT_eX]

[DOI]

Inf. Syst., 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mirela Botezatu

Lothar Thiele

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

2015

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

[BibT_eX]

[DOI]

Dirk Fahland

Inf. Syst., 2015

Multi-View Incident Ticket Clustering for Optimal Ticket Dispatching.

[BibT_eX]

[DOI]

Mirela Madalina Botezatu

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.

[BibT_eX]

[DOI]

Proceedings of the Risks and Resilience of Collaborative Networks, 2015

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

[BibT_eX]

[DOI]

Mirela Botezatu

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Moisés Castelo Branco

Softw. Syst. Model., 2014

A Case Study in Workflow Scheduling Driven by Log Data.

[BibT_eX]

[DOI]

Mirela Botezatu

Remco M. Dijkman

Proceedings of the Business Process Management Workshops, 2014

2012

Defining Fairness in Reactive and Concurrent Systems.

[BibT_eX]

[DOI]

J. ACM, 2012

Matching Business Process Workflows across Abstraction Levels.

[BibT_eX]

[DOI]

Moisés Castelo Branco

Proceedings of the Model Driven Engineering Languages and Systems, 2012

The Difficulty of Replacing an Inclusive OR-Join.

[BibT_eX]

[DOI]

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

The Shared Process Model.

[BibT_eX]

[DOI]

Jochen Malte Küster

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.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

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

[BibT_eX]

[DOI]

Data Knowl. Eng., 2011

Faster Or-Join Enactment for BPMN 2.0.

[BibT_eX]

[DOI]

Beat Gfeller

Gunnar Wilmsmann

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

Managing Artifacts with a Viewpoint-Realization Level Matrix.

[BibT_eX]

[DOI]

Jochen Malte Küster

Olaf Zimmermann

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

Simplified Computation and Generalization of the Refined Process Structure Tree.

[BibT_eX]

[DOI]

Artem Polyvyanyy

Jussi Vanhatalo

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

An Overview of BPMN 2.0 and Its Potential Use.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Symbolic Execution of Acyclic Workflow Graphs.

[BibT_eX]

[DOI]

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

2009

The refined process structure tree.

[BibT_eX]

[DOI]

Jussi Vanhatalo

Jana Koehler

Data Knowl. Eng., 2009

Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

[BibT_eX]

[DOI]

Matthias Schmalz

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.

[BibT_eX]

[DOI]

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

Instantaneous Soundness Checking of Industrial Business Process Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Techniques, 2008

Automatic Workflow Graph Refactoring and Completion.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

2007

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

[BibT_eX]

[DOI]

Jussi Vanhatalo

Frank Leymann

Proceedings of the Service-Oriented Computing, 2007

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

[BibT_eX]

[DOI]

Matthias Schmalz

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

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

[BibT_eX]

[DOI]

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

2006

Probabilistic event structures and domains.

[BibT_eX]

[DOI]

Glynn Winskel

Theor. Comput. Sci., 2006

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

[BibT_eX]

[DOI]

Felix C. Freiling

ACM SIGOPS Oper. Syst. Rev., 2006

Temporal Logics and Model Checking for Fairly Correct Systems.

[BibT_eX]

[DOI]

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

2005

On Conspiracies and Hyperfairness in Distributed Computing.

[BibT_eX]

[DOI]

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

Defining Fairness.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

A constructive proof for FLP.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

On Randomization Versus Synchronization in Distributed Systems.

[BibT_eX]

[DOI]

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

2002

A Tool for Subsystem Configuration Management.

[BibT_eX]

[DOI]

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

Refinement-Robust Fairness.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

Algebraic nets with flexible arcs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Randomized Non-sequential Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Fairneß, Randomisierung und Konspiration in verteilten Algorithmen.

[BibT_eX]

[DOI]

PhD thesis, 2000

1999

Verifying Intuition - ILF Checks DAWN Proofs.

[BibT_eX]

[DOI]

Thomas Baar

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

1998

Flexibility in Algebraic Nets.

[BibT_eX]

[DOI]

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

Verifying Fault Tolerance of Distributed Algorithms Formally - An Example.

[BibT_eX]

[DOI]