Niels Lohmann

Orcid: 0000-0001-9037-795X

Affiliations:
  • University of Rostock, Germany


According to our database1, Niels Lohmann authored at least 53 papers between 2006 and 2015.

Collaborative distances:

Timeline

2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
5
6
7
8
9
10
1
1
3
3
3
1
2
1
1
2
3
3
7
6
7
6
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Information leak detection in business process models: Theory, application, and tool support.
Inf. Syst., 2015

2014
Where did I go wrong? - Explaining Errors in Business Process Models.
Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014

Where Did I Go Wrong? - Explaining Errors in Business Process Models.
Proceedings of the Business Process Management - 12th International Conference, 2014

From Artifacts to Activities.
Proceedings of the Web Services Foundations, 2014

2013
Compliance by design for artifact-centric business processes.
Inf. Syst., 2013

BPM Newsletter.
EMISA Forum, 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

2012
Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets Other Model. Concurr., 2012

Ensuring correctness during process configuration via partner synthesis.
Inf. Syst., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Model Support for Confidential Service-Oriented Business Processes.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Modeling Wizard for Confidential Business Processes.
Proceedings of the Business Process Management Workshops, 2012

Stubborn Sets for Simple Linear Time Properties.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Wendy: A Tool to Synthesize Partners for Services.
Fundam. Informaticae, 2011

Compact Representations and Efficient Algorithms for Operating Guidelines.
Fundam. Informaticae, 2011

Analysis on demand: Instantaneous soundness checking of industrial business process models.
Data Knowl. Eng., 2011

Internal Behavior Reduction for Partner Synthesis.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

Decidability Results for Choreography Realization.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Artifact-Centric Modeling Using BPMN.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

2010
Correctness of services and their composition.
PhD thesis, 2010

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Comput. J., 2010

Communication models for services.
Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Artifact-Centric Choreographies.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

How to Implement a Theory of Correctness in the Area of Business Processes and Services.
Proceedings of the Business Process Management - 8th International Conference, 2010

service-technology.org/live - Replaying tool experiments in a Web browser.
Proceedings of the Business Process Management 2010 Demonstration Track, 2010

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis.
Proceedings of the Business Process Management - 8th International Conference, 2010

The Petri Net API A Collection of Petri Net-related Functions.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

A Graphical User Interface for Service Adaptation.
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2009
Petri Net Transformations for Business Processes - A Survey.
Trans. Petri Nets Other Model. Concurr., 2009

Comparing and evaluating Petri net semantics for BPEL.
Int. J. Bus. Process. Integr. Manag., 2009

Does my service have unspecified behavior?
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Realizability Is Controllability.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Another Approach to Service Instance Migration.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Instantaneous Soundness Checking of Industrial Business Process Models.
Proceedings of the Business Process Management, 7th International Conference, 2009

Diagnosing and Repairing Data Anomalies in Process Models.
Proceedings of the Business Process Management Workshops, 2009

Petrifying Operating Guidelines for Services.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Analyzing interacting WS-BPEL processes using flexible model generation.
Data Knowl. Eng., 2008

Extending the compatibility notion for abstract WS-BPEL processes.
Proceedings of the 17th International Conference on World Wide Web, 2008

Why Does My Service Have No Partners?.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Automatic Test Case Generation for Interacting Services.
Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

Non-desynchronizable Service Choreographies.
Proceedings of the Service-Oriented Computing, 2008

Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.
Proceedings of the Business Process Management, 6th International Conference, 2008

Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

2007
Challenges in a Service-Oriented World.
ERCIM News, 2007

Analyzing BPEL4Chor: Verification and Participant Synthesis.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

From Public Views to Private Views - Correctness-by-Design for Services.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Behavioral Constraints for Services.
Proceedings of the Business Process Management, 5th International Conference, 2007

Services as a Paradigm of Computation.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

Operating Guidelines for Finite-State Services.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Analysis Techniques for Service Models.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Analyzing Interacting BPEL Processes.
Proceedings of the Business Process Management, 4th International Conference, 2006


  Loading...