Niels Lohmann

According to our database, Niels Lohmann authored at least 53 papers between 2006 and 2015.

Collaborative distances:

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

2015

Information leak detection in business process models: Theory, application, and tool support.

Rafael Accorsi, Andreas Lehmann, Niels Lohmann

Inf. Syst., 2015

2014

Where did I go wrong? - Explaining Errors in Business Process Models.

Niels Lohmann

Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014

Where Did I Go Wrong? - Explaining Errors in Business Process Models.

Niels Lohmann, Dirk Fahland

Proceedings of the Business Process Management - 12th International Conference, 2014

From Artifacts to Activities.

Niels Lohmann, Karsten Wolf

Proceedings of the Web Services Foundations, 2014

2013

Compliance by design for artifact-centric business processes.

Niels Lohmann

Inf. Syst., 2013

BPM Newsletter.

Jianmin Wang, Florian Daniel, Barbara Weber, Niels Lohmann, Minseok Song, Petia Wohed

EMISA Forum, 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.

Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2013

2012

Report on the Model Checking Contest at Petri Nets 2011.

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel

Trans. Petri Nets Other Model. Concurr., 2012

Ensuring correctness during process configuration via partner synthesis.

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa

Inf. Syst., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf

CoRR, 2012

Model Support for Confidential Service-Oriented Business Processes.

Andreas Lehmann, Niels Lohmann

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

Modeling Wizard for Confidential Business Processes.

Andreas Lehmann, Niels Lohmann

Proceedings of the Business Process Management Workshops, 2012

Stubborn Sets for Simple Linear Time Properties.

Andreas Lehmann, Niels Lohmann, Karsten Wolf

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Wendy: A Tool to Synthesize Partners for Services.

Niels Lohmann, Daniela Weinberg

Fundam. Informaticae, 2011

Compact Representations and Efficient Algorithms for Operating Guidelines.

Niels Lohmann, Karsten Wolf

Fundam. Informaticae, 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

Internal Behavior Reduction for Partner Synthesis.

Niels Lohmann

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

Decidability Results for Choreography Realization.

Niels Lohmann, Karsten Wolf

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Artifact-Centric Modeling Using BPMN.

Niels Lohmann, Martin Nyolt

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

2010

Correctness of services and their composition.

Niels Lohmann

PhD thesis, 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Comput. J., 2010

Communication models for services.

Niels Lohmann

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Artifact-Centric Choreographies.

Niels Lohmann, Karsten Wolf

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

How to Implement a Theory of Correctness in the Area of Business Processes and Services.

Niels Lohmann, Karsten Wolf

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

service-technology.org/live - Replaying tool experiments in a Web browser.

Niels Lohmann

Proceedings of the Business Process Management 2010 Demonstration Track, 2010

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa, Jingxin Xu

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

The Petri Net API A Collection of Petri Net-related Functions.

Niels Lohmann, Stephan Mennicke, Christian Sura

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

A Graphical User Interface for Service Adaptation.

Christian Gierds, Niels Lohmann

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2009

Petri Net Transformations for Business Processes - A Survey.

Niels Lohmann, Eric Verbeek, Remco M. Dijkman

Trans. Petri Nets Other Model. Concurr., 2009

Comparing and evaluating Petri net semantics for BPEL.

Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl

Int. J. Bus. Process. Integr. Manag., 2009

Realizability is controllability.

Niels Lohmann, Karsten Wolf

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Does my service have unspecified behavior?

Kathrin Kaschner, Niels Lohmann

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Another Approach to Service Instance Migration.

Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 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

Diagnosing and Repairing Data Anomalies in Process Models.

Ahmed Awad, Gero Decker, Niels Lohmann

Proceedings of the Business Process Management Workshops, 2009

Petrifying Operating Guidelines for Services.

Niels Lohmann, Karsten Wolf

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Analyzing interacting WS-BPEL processes using flexible model generation.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Data Knowl. Eng., 2008

Extending the compatibility notion for abstract WS-BPEL processes.

Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf

Proceedings of the 17th International Conference on World Wide Web, 2008

Why Does My Service Have No Partners?.

Niels Lohmann

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.

Niels Lohmann, Jens Kleine

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Automatic Test Case Generation for Interacting Services.

Kathrin Kaschner, Niels Lohmann

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

Non-desynchronizable Service Choreographies.

Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann

Proceedings of the Service-Oriented Computing, 2008

Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.

Niels Lohmann

Proceedings of the Business Process Management, 6th International Conference, 2008

Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.

Niels Lohmann

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

2007

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 2007

Analyzing BPEL4Chor: Verification and Participant Synthesis.

Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.

Niels Lohmann

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

From Public Views to Private Views - Correctness-by-Design for Services.

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Behavioral Constraints for Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Business Process Management, 5th International Conference, 2007

Services as a Paradigm of Computation.

Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Operating Guidelines for Finite-State Services.

Niels Lohmann, Peter Massuthe, Karsten Wolf

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006

Analyzing Interacting BPEL Processes.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Proceedings of the Business Process Management, 4th International Conference, 2006