Analyzing Interacting BPEL Processes. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Business Process Management, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Operating Guidelines for Finite-State Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (ICATPN, 2007)

Services as a Paradigm of Computation. - Wolfgang Reisig; Jan Bretschneider; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl (Formal Methods and Hybrid Real-Time Systems, 2007)

Behavioral Constraints for Services. - Niels Lohmann; Peter Massuthe; Karsten Wolf (BPM, 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 (WS-FM, 2007)

A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. - Niels Lohmann (WS-FM, 2007)

Analyzing BPEL4Chor: Verification and Participant Synthesis. - Niels Lohmann; Oliver Kopp; Frank Leymann; Wolfgang Reisig (WS-FM, 2007)

Challenges in a Service-Oriented World. - Wolfgang Reisig; Karsten Wolf; Jan Bretschneider; Kathrin Kaschner; Niels Lohmann; Peter Massuthe; Christian Stahl (ERCIM News, 2007)

Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. - Niels Lohmann (AWPN, 2008)

Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. - Niels Lohmann (BPM, 2008)

Non-desynchronizable Service Choreographies. - Gero Decker; Alistair Barros; Frank Michael Kraft; Niels Lohmann (ICSOC, 2008)

Automatic Test Case Generation for Interacting Services. - Kathrin Kaschner; Niels Lohmann (ICSOC Workshops, 2008)

Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. - Niels Lohmann; Jens Kleine (Modellierung, 2008)

Why Does My Service Have No Partners?. - Niels Lohmann (WS-FM, 2008)

Extending the compatibility notion for abstract WS-BPEL processes. - Dieter König; Niels Lohmann; Simon Moser; Christian Stahl; Karsten Wolf (WWW, 2008)

Analyzing interacting WS-BPEL processes using flexible model generation. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Data Knowl. Eng., 2008)

Petrifying Operating Guidelines for Services. - Niels Lohmann; Karsten Wolf (ACSD, 2009)

Diagnosing and Repairing Data Anomalies in Process Models. - Ahmed Awad 001; Gero Decker; Niels Lohmann (Business Process Management Workshops, 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 (BPM, 2009)

Another Approach to Service Instance Migration. - Nannette Liske; Niels Lohmann; Christian Stahl; Karsten Wolf (ICSOC/ServiceWave, 2009)

Realizability Is Controllability. - Niels Lohmann; Karsten Wolf (WS-FM, 2009)

Does my service have unspecified behavior? - Kathrin Kaschner; Niels Lohmann (ZEUS, 2009)

Comparing and evaluating Petri net semantics for BPEL. - Niels Lohmann; Eric Verbeek 001; Chun Ouyang 001; Christian Stahl (Int. J. Bus. Process. Integr. Manag., 2009)

Petri Net Transformations for Business Processes - A Survey. - Niels Lohmann; Eric Verbeek 001; Remco M. Dijkman (Trans. Petri Nets Other Model. Concurr., 2009)

A Graphical User Interface for Service Adaptation. - Christian Gierds; Niels Lohmann (AWPN, 2010)

The Petri Net API A Collection of Petri Net-related Functions. - Niels Lohmann; Stephan Mennicke; Christian Sura (AWPN, 2010)

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. - Wil M. P. van der Aalst; Niels Lohmann; Marcello La Rosa; Jingxin Xu (BPM, 2010)

service-technology.org/live - Replaying tool experiments in a Web browser. - Niels Lohmann (BPM (Demos), 2010)

How to Implement a Theory of Correctness in the Area of Business Processes and Services. - Niels Lohmann; Karsten Wolf (BPM, 2010)

Artifact-Centric Choreographies. - Niels Lohmann; Karsten Wolf (ICSOC, 2010)

Communication models for services. - Niels Lohmann (ZEUS, 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)

Correctness of services and their composition. - Niels Lohmann (2010)

Artifact-Centric Modeling Using BPMN. - Niels Lohmann; Martin Nyolt (ICSOC Workshops, 2011)

Decidability Results for Choreography Realization. - Niels Lohmann; Karsten Wolf (ICSOC, 2011)

Internal Behavior Reduction for Partner Synthesis. - Niels Lohmann (ZEUS, 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)

Compact Representations and Efficient Algorithms for Operating Guidelines. - Niels Lohmann; Karsten Wolf (Fundam. Informaticae, 2011)

Wendy: A Tool to Synthesize Partners for Services. - Niels Lohmann; Daniela Weinberg (Fundam. Informaticae, 2011)

Stubborn Sets for Simple Linear Time Properties. - Andreas Lehmann 001; Niels Lohmann; Karsten Wolf (Petri Nets, 2012)

Modeling Wizard for Confidential Business Processes. - Andreas Lehmann 001; Niels Lohmann (Business Process Management Workshops, 2012)

Model Support for Confidential Service-Oriented Business Processes. - Andreas Lehmann 001; Niels Lohmann (ZEUS, 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; et al. (CoRR, 2012)

Ensuring correctness during process configuration via partner synthesis. - Wil M. P. van der Aalst; Niels Lohmann; Marcello La Rosa (Inf. Syst., 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)

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; et al. (CoRR, 2013)

BPM Newsletter. - Jianmin Wang 001; Florian Daniel; Barbara Weber; Niels Lohmann; Minseok Song 001; Petia Wohed (EMISA Forum, 2013)

Compliance by design for artifact-centric business processes. - Niels Lohmann (Inf. Syst., 2013)

From Artifacts to Activities. - Niels Lohmann; Karsten Wolf (Web Services Foundations, 2014)

Where Did I Go Wrong? - Explaining Errors in Business Process Models. - Niels Lohmann; Dirk Fahland (BPM, 2014)

Where did I go wrong? - Explaining Errors in Business Process Models. - Niels Lohmann (ZEUS, 2014)

Information leak detection in business process models: Theory, application, and tool support. - Rafael Accorsi; Andreas Lehmann 001; Niels Lohmann (Inf. Syst., 2015)