Niels Lohmann,Peter Massuthe,Christian Stahl, and Daniela Weinberg.Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation.Data Knowl. Eng.,64(1):38-54,January 2008.
Niels Lohmann,Eric Verbeek, and Remco Dijkman.Petri Net Transformations for Business Processes -- A Survey.Transactions on Petri Nets and Other Models of Concurrency,2008.Note: (Accepted for publication).
Niels Lohmann,Eric Verbeek,Chun Ouyang, and Christian Stahl.Comparing and Evaluating Petri Net Semantics for BPEL.IJBPIM,2008.Note: (Accepted for publication).
Wil M. P. van der Aalst,Niels Lohmann,Peter Massuthe,Christian Stahl, and Karsten Wolf.Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.The Computer Journal,2008.Note: (Accepted for publication).
Dieter König,Niels Lohmann,Simon Moser,Christian Stahl, and Karsten Wolf.Extending the Compatibility Notion for Abstract WS-BPEL Processes.In Wei-Ying Ma,Andrew Tomkins, and Xiaodong Zhang, editors,Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21--25, 2008,pages 785-794,April 2008.ACM.
Niels Lohmann.Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.In Marlon Dumas and Manfred Reichert, editors,Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1--4, 2008, Proceedings,volume 5240 of Lecture Notes in Computer Science,pages 132-147,September 2008.Springer-Verlag.
Niels Lohmann.Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.In Niels Lohmann and Karsten Wolf, editors,Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008,volume 380 of CEUR Workshop Proceedings,pages 63-68,September 2008.CEUR-WS.org.
Niels Lohmann.Why does my service have no partners?.In Roberto Bruni and Karsten Wolf, editors,Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings,Lecture Notes in Computer Science,September 2008.Springer-Verlag.
Niels Lohmann and Jens Kleine.Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes.In Thomas Kühne,Wolfgang Reisig, and Friedrich Steimann, editors,Modellierung 2008, 12.-14. März 2008, Berlin, Proceedings,volume P-127 of Lecture Notes in Informatics (LNI),pages 57-72,March 2008.GI.
Wolfgang Reisig,Karsten Wolf,Jan Bretschneider,Kathrin Kaschner,Niels Lohmann,Peter Massuthe, and Christian Stahl.Challenges in a Service-Oriented World.ERCIM News,70:28-29,July 2007.
Wil M. P. van der Aalst,Niels Lohmann,Peter Massuthe,Christian Stahl, and Karsten Wolf.From Public Views to Private Views -- Correctness-by-Design for Services.In Marlon Dumas and Reiko Heckel, editors,Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings,volume 4937 of Lecture Notes in Computer Science,pages 139-153,2008.Springer-Verlag.
Niels Lohmann.A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.In Marlon Dumas and Reiko Heckel, editors,Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings,volume 4937 of Lecture Notes in Computer Science,pages 77-91,2008.Springer-Verlag.
Niels Lohmann,Oliver Kopp,Frank Leymann, and Wolfgang Reisig.Analyzing BPEL4Chor: Verification and Participant Synthesis.In Marlon Dumas and Reiko Heckel, editors,Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings,volume 4937 of Lecture Notes in Computer Science,pages 46-60,2008.Springer-Verlag.
Niels Lohmann.A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.In Kees van Hee,Wolfgang Reisig, and Karsten Wolf, editors,Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07),pages 21-35,June 2007.University of Podlasie.
Niels Lohmann,Peter Massuthe, and Karsten Wolf.Behavioral Constraints for Services.In Gustavo Alonso,Peter Dadam, and Michael Rosemann, editors,Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings,volume 4714 of Lecture Notes in Computer Science,pages 271-287,September 2007.Springer-Verlag.
Niels Lohmann,Peter Massuthe, and Karsten Wolf.Operating Guidelines for Finite-State Services.In Jetty Kleijn and Alex Yakovlev, editors,28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings,volume 4546 of Lecture Notes in Computer Science,pages 321-341,2007.Springer-Verlag.
Wolfgang Reisig,Jan Bretschneider,Dirk Fahland,Niels Lohmann,Peter Massuthe, and Christian Stahl.Services as a Paradigm of Computation.In Cliff B. Jones,Zhiming Liu, and Jim Woodcock, editors,Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007,volume 4700 of Lecture Notes in Computer Science,pages 521-538,September 2007.Springer-Verlag.
Dieter König,Niels Lohmann,Simon Moser,Christian Stahl, and Karsten Wolf.Extending the Compatibility Notion for Abstract WS-BPEL Processes.Preprint CS-02-07,Universität Rostock,Rostock, Germany,November 2007.
Niels Lohmann.A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN.Informatik-Berichte 212,Humboldt-Universität zu Berlin,August 2007.
Niels Lohmann,Peter Massuthe, and Karsten Wolf.Behavioral Constraints for Services.Informatik-Berichte 214,Humboldt-Universität zu Berlin,May 2007.
Niels Lohmann,H. M. W. Verbeek,Chun Ouyang,Christian Stahl, and Wil M. P. van der Aalst.Comparing and Evaluating Petri Net Semantics for BPEL.Computer Science Report 07/23,Technische Universiteit Eindhoven, The Netherlands,August 2007.
Oliver Kopp,Carsten Frenkler, and Niels Lohmann.Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL.In Forschungsoffensive ''Software Engineering 2006'', Statuskonferenz, 26.-28. Juni 2006,July 2006.Bundesministerium für Bildung und Forschung (BMBF).
Niels Lohmann.A Local Cut-off Criterion for Unfoldings of Safe Petri Nets.In Jörg Desel, editor,Proceedings of the Doctoral Consortium ACSD & Petri Nets 2006,Turku, Finland,June 2006.Åbo Akademi.
Niels Lohmann,Peter Massuthe,Christian Stahl, and Daniela Weinberg.Analyzing Interacting BPEL Processes.In Schahram Dustdar,José Luiz Fiadeiro, and Amit Sheth, editors,Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings,volume 4102 of Lecture Notes in Computer Science,pages 17-32,September 2006.Springer-Verlag.
Wolfgang Reisig,Dirk Fahland,Niels Lohmann,Peter Massuthe,Christian Stahl,Daniela Weinberg,Karsten Wolf, and Kathrin Kaschner.Analysis Techniques for Service Models.In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus,pages 11-17,November 2006.IEEE Computer Society.
Niels Lohmann,Peter Massuthe, and Karsten Wolf.Operating Guidelines for Finite-State Services.Informatik-Berichte 210,Humboldt-Universität zu Berlin,December 2006.
