Niels Lohmann

ORCID

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Venues

University of Rostock (PHD)

Education History

University of Rostock

PHD

Publications

Rafael Accorsi, Andreas Lehmann, Niels Lohmann
Information leak detection in business process models: Theory, application, and tool support. Inf. Syst. 47 (2015)
Niels Lohmann, Dirk Fahland
Where Did I Go Wrong? - Explaining Errors in Business Process Models. BPM (2014)
Niels Lohmann
Where did I go wrong? - Explaining Errors in Business Process Models. ZEUS (2014)
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
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR (2013)
Jianmin Wang, Florian Daniel, Barbara Weber, Niels Lohmann, Minseok Song, Petia Wohed
BPM Newsletter. EMISA Forum 33 (1) (2013)
Niels Lohmann
Compliance by design for artifact-centric business processes. Inf. Syst. 38 (4) (2013)
Andreas Lehmann, Niels Lohmann
Model Support for Confidential Service-Oriented Business Processes. ZEUS (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
Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR (2012)
Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa
Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37 (6) (2012)
Andreas Lehmann, Niels Lohmann, Karsten Wolf
Stubborn Sets for Simple Linear Time Properties. Petri Nets (2012)
Andreas Lehmann, Niels Lohmann
Modeling Wizard for Confidential Business Processes. Business Process Management Workshops (2012)
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Niels Lohmann
Compliance by Design for Artifact-Centric Business Processes. BPM (2011)
Niels Lohmann, Daniela Weinberg
Wendy: A Tool to Synthesize Partners for Services. Fundam. Informaticae 113 (3-4) (2011)
Niels Lohmann
Internal Behavior Reduction for Partner Synthesis. ZEUS (2011)
Niels Lohmann, Karsten Wolf
Decidability Results for Choreography Realization. ICSOC (2011)
Niels Lohmann, Karsten Wolf
Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Informaticae 108 (1-2) (2011)
Niels Lohmann, Martin Nyolt
Artifact-Centric Modeling Using BPMN. ICSOC Workshops (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)
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53 (1) (2010)
Niels Lohmann
service-technology.org/live - Replaying tool experiments in a Web browser. BPM (Demos) (2010)
Christian Gierds, Niels Lohmann
A Graphical User Interface for Service Adaptation. AWPN (2010)
Niels Lohmann, Stephan Mennicke, Christian Sura
The Petri Net API A Collection of Petri Net-related Functions. AWPN (2010)
Niels Lohmann, Karsten Wolf
Artifact-Centric Choreographies. ICSOC (2010)
Niels Lohmann
Communication models for services. ZEUS (2010)
Niels Lohmann, Daniela Weinberg
Wendy: A Tool to Synthesize Partners for Services. Petri Nets (2010)
Niels Lohmann, Karsten Wolf
How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM (2010)
Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa, Jingxin Xu
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. BPM (2010)
Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl
Comparing and evaluating Petri net semantics for BPEL. Int. J. Bus. Process. Integr. Manag. 4 (1) (2009)
Kathrin Kaschner, Niels Lohmann
Does my service have unspecified behavior? ZEUS (2009)
Niels Lohmann, Eric Verbeek, Remco M. Dijkman
Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Ahmed Awad, Gero Decker, Niels Lohmann
Diagnosing and Repairing Data Anomalies in Process Models. Business Process Management Workshops (2009)
Niels Lohmann, Karsten Wolf
Realizability is controllability. ZEUS (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)
Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf
Another Approach to Service Instance Migration. ICSOC/ServiceWave (2009)
Niels Lohmann, Karsten Wolf
Petrifying Operating Guidelines for Services. ACSD (2009)
Niels Lohmann, Karsten Wolf
Realizability Is Controllability. WS-FM (2009)
Niels Lohmann
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN (2008)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64 (1) (2008)
Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann
Non-desynchronizable Service Choreographies. ICSOC (2008)
Kathrin Kaschner, Niels Lohmann
Automatic Test Case Generation for Interacting Services. ICSOC Workshops (2008)
Niels Lohmann
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM (2008)
Niels Lohmann
Why Does My Service Have No Partners?. WS-FM (2008)
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
Extending the compatibility notion for abstract WS-BPEL processes. WWW (2008)
Niels Lohmann, Jens Kleine
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. Modellierung (2008)
Niels Lohmann, Peter Massuthe, Karsten Wolf
Behavioral Constraints for Services. BPM (2007)
Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig
Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM (2007)
Niels Lohmann, Peter Massuthe, Karsten Wolf
Operating Guidelines for Finite-State Services. ICATPN (2007)
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems (2007)
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
Challenges in a Service-Oriented World. ERCIM News 2007 (70) (2007)
Niels Lohmann
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. WS-FM (2007)
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
From Public Views to Private Views - Correctness-by-Design for Services. WS-FM (2007)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing Interacting BPEL Processes. Business Process Management (2006)
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
Analysis Techniques for Service Models. ISoLA (2006)

Niels Lohmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Niels Lohmann