Niels Lohmann - RankMe

63 papers A* 1A 11B 2C 1Journal 15Unranked 24

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