Niels Lohmann
Person information
- affiliation: University of Rostock, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2015
- [j11]Rafael Accorsi, Andreas Lehmann, Niels Lohmann:
Information leak detection in business process models: Theory, application, and tool support. Inf. Syst. 47: 244-257 (2015) - 2014
- [c37]Niels Lohmann, Dirk Fahland:
Where Did I Go Wrong? - Explaining Errors in Business Process Models. BPM 2014: 283-300 - [c36]Niels Lohmann:
Where did I go wrong? - Explaining Errors in Business Process Models. ZEUS 2014: 8-16 - [p1]
- [e7]Niels Lohmann, Minseok Song, Petia Wohed:
Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Lecture Notes in Business Information Processing 171, Springer 2014, ISBN 978-3-319-06256-3 [contents] - 2013
- [j10]Niels Lohmann:
Compliance by design for artifact-centric business processes. Inf. Syst. 38(4): 606-618 (2013) - [e6]Maurice H. ter Beek, Niels Lohmann:
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1 [contents] - [e5]Oliver Kopp, Niels Lohmann:
Proceedings of the 5th Central-European Workshop on Services and their Composition, Rostock, Germany, February 21-22, 2013. CEUR Workshop Proceedings 1029, CEUR-WS.org 2013 [contents] - [i3]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 abs/1309.2485 (2013) - 2012
- [j9]Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa:
Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37(6): 574-592 (2012) - [j8]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 and Other Models of Concurrency 6: 169-196 (2012) - [c35]Andreas Lehmann, Niels Lohmann, Karsten Wolf:
Stubborn Sets for Simple Linear Time Properties. Petri Nets 2012: 228-247 - [c34]Andreas Lehmann, Niels Lohmann:
Modeling Wizard for Confidential Business Processes. Business Process Management Workshops 2012: 675-688 - [c33]Andreas Lehmann, Niels Lohmann:
Model Support for Confidential Service-Oriented Business Processes. ZEUS 2012: 136-143 - [e4]Niels Lohmann, Simon Moser:
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012. CEUR Workshop Proceedings 940, CEUR-WS.org 2012 [contents] - [e3]Andreas Schönberger, Oliver Kopp, Niels Lohmann:
Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012. CEUR Workshop Proceedings 847, CEUR-WS.org 2012 [contents] - [i2]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 abs/1209.2382 (2012) - 2011
- [j7]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): 448-466 (2011) - [j6]Niels Lohmann, Karsten Wolf:
Compact Representations and Efficient Algorithms for Operating Guidelines. Fundam. Inform. 108(1-2): 43-62 (2011) - [j5]Niels Lohmann, Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services. Fundam. Inform. 113(3-4): 295-311 (2011) - [c32]
- [c31]
- [c30]
- [c29]
- 2010
- [b1]Niels Lohmann:
Correctness of services and their composition. University of Rostock 2010, ISBN 978-90-386-2318-4, pp. 1-189 - [j4]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): 90-106 (2010) - [c28]Niels Lohmann, Daniela Weinberg:
Wendy: A Tool to Synthesize Partners for Services. Petri Nets 2010: 297-307 - [c27]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: 95-111 - [c26]Niels Lohmann:
service-technology.org/live - Replaying tool experiments in a Web browser. BPM (Demos) 2010 - [c25]Niels Lohmann, Karsten Wolf:
How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77 - [c24]
- [c23]
2000 – 2009
- 2009
- [j3]Niels Lohmann, Eric Verbeek, Chun Ouyang, Christian Stahl:
Comparing and evaluating Petri net semantics for BPEL. IJBPIM 4(1): 60-73 (2009) - [j2]Niels Lohmann, Eric Verbeek, Remco M. Dijkman:
Petri Net Transformations for Business Processes - A Survey. Trans. Petri Nets and Other Models of Concurrency 2: 46-63 (2009) - [c22]
- [c21]Ahmed Awad, Gero Decker, Niels Lohmann:
Diagnosing and Repairing Data Anomalies in Process Models. Business Process Management Workshops 2009: 5-16 - [c20]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: 278-293 - [c19]Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf:
Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621 - [c18]
- [c17]
- [c16]
- [e2]Oliver Kopp, Niels Lohmann:
1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009. Proceedings. CEUR Workshop Proceedings 438, CEUR-WS.org 2009 [contents] - 2008
- [j1]Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008) - [c15]Niels Lohmann:
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. AWPN 2008: 63-68 - [c14]Niels Lohmann:
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. BPM 2008: 132-147 - [c13]Kathrin Kaschner, Niels Lohmann:
Automatic Test Case Generation for Interacting Services. ICSOC Workshops 2008: 66-78 - [c12]Gero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann:
Non-desynchronizable Service Choreographies. ICSOC 2008: 331-346 - [c11]Niels Lohmann, Jens Kleine:
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. Modellierung 2008: 57-72 - [c10]
- [c9]Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf:
Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794 - [e1]Niels Lohmann, Karsten Wolf:
15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings. CEUR Workshop Proceedings 380, CEUR-WS.org 2008 [contents] - 2007
- [c8]Niels Lohmann, Peter Massuthe, Karsten Wolf:
Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341 - [c7]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: 521-538 - [c6]
- [c5]Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig:
Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60 - [c4]
- [c3]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: 139-153 - [i1]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) - 2006
- [c2]Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg:
Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32 - [c1]Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner:
Analysis Techniques for Service Models. ISoLA 2006: 11-17
Coauthor Index
last updated on 2019-02-14 22:56 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint