Ekkart Kindler

According to our database1, Ekkart Kindler
  • authored at least 68 papers between 1993 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
T. Petri Nets and Other Models of Concurrency, 2016

2015
Special issue: Selected papers of BPM 2012.
Inf. Syst., 2015

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse.
Proceedings of the Behavior Modeling, 2014

2013
Generating Protocol Software from CPN Models Annotated with Pragmatics.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012
Modelling Local and Global Behaviour: Petri Nets and Event Coordination.
Trans. Petri Nets and Other Models of Concurrency, 2012

The event coordination notation: execution engine and programming framework.
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012

2011
The Third Workshop on Behaviour Modelling - Foundations and Applications.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Integrating behaviour in software models: an event coordination notation - concepts and prototype.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

Modelling Local and Global Behaviour: Petri Nets and Event Coordination.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

The ePNK: An Extensible Petri Net Tool for PNML.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars.
Software and System Modeling, 2010

Process mining: a two-step approach to balance between underfitting and overfitting.
Software and System Modeling, 2010

Model-based software engineering: the challenges of modelling behaviour.
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

2009
Model-Based Software Engineering and Process-Aware Information Systems.
Trans. Petri Nets and Other Models of Concurrency, 2009

Towards a Standard for Modular Petri Nets: A Formalisation.
Proceedings of the Applications and Theory of Petri Nets, 2009

2007
AMFIBIA: a meta-model for integrating business process modelling aspects.
IJBPIM, 2007

Reconciling TGGs with QVT.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Process Mining Framework for Software Processes.
Proceedings of the Software Process Dynamics and Agility, 2007

2006
On the semantics of EPCs: Resolving the vicious circle.
Data Knowl. Eng., 2006

Activity Mining for Discovering Software Process Models.
Proceedings of the Software Engineering 2006, 2006

AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Incremental Workflow Mining for Process Flexibility.
Proceedings of the CAISE*06 Workshop on Business Process Modelling, 2006

Process Mining and Petri Net Synthesis.
Proceedings of the Business Process Management Workshops, 2006

Component Tools: Integrating Petri Nets with Other Formal Methods.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Reconciling scenario-centered controller design with state-based system models.
ACM SIGSOFT Software Engineering Notes, 2005

On the Semantics of EPCs - Efficient Calculation and Simulation.
Enterprise Modelling and Information Systems Architectures, 2005

Incremental Workflow Mining Based on Document Versioning Information.
Proceedings of the Unifying the Software Process Spectrum, 2005

Defining Fairness.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Preface (BPRM 2005).
Proceedings of the Business Process Management Workshops, 2005

On the Semantics of EPCs: Efficient Calculation and Simulation.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
On the semantics of EPCs: Efficient calculation and simulation.
Proceedings of the EPK 2004, 2004

On the Semantics of EPCs: A Framework for Resolving the Vicious Circle.
Proceedings of the Business Process Management: Second International Conference, 2004

3D-Visualization of Petri Net Models: Concept and Realization.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
On the semantics of EPCs: A framework for resolving the vicious circle.
Proceedings of the EPK 2003, 2003

The Petri Net Markup Language.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

The Petri Net Kernel.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

The Petri Net Markup Language: Concepts, Technology, and Tools.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
On the semantics of EPCs: A vicious circle.
Proceedings of the EPK 2002, 2002

DAWN for component based systems - just a different perspective.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Petri Nets, Situations, and Automata.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Algebraic nets with flexible arcs.
Theor. Comput. Sci., 2001

The Petri Net Kernel - An infrastructure for building Petri net tools.
STTT, 2001

2000
Inter-operability of Workflow Applications: Local Criteria for Global Soundness.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999
Liveness, Fairness, and Recurrence in Petri Nets.
Inf. Process. Lett., 1999

Integrating Distributed Algorithms into Distributed Systems.
Fundam. Inform., 1999

ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Fundam. Inform., 1999

Serializability, Concurrency Control, and Replication Control.
Proceedings of the Transactions and Database Dynamics, 1999

Serializability, Concurrency Control, and Replication Control.
Proceedings of the Transactions and Database Dynamics, 1999

Szenarios: Lokale Kriterien für globale Korrektheit.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Verifying Intuition - ILF Checks DAWN Proofs.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
The Dimensions of Petri Nets: The Petri Net Cube.
Bulletin of the EATCS, 1998

The Interplay of Transaction Models and Memory Models.
Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998

ESTL: A Temporal Logic for Events and States.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

Flexibility in Algebraic Nets.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Mutex Needs Fairness.
Inf. Process. Lett., 1997

Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Asp. Comput., 1997

Verification of Distributed Algorithms with Algebraic Petri Nets.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

A Compositional Partial Order Semantics for Petri Net Components.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Arc-Typed Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

Distributed Algorithms for Networks of Agents.
Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995
Modularer Entwurf verteilter Systeme mit Petrinetzen.
PhD thesis, 1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Inf. Process. Lett., 1995

Invariants, Composition, and Substitution.
Acta Inf., 1995

1993
Causality Based Proof of a Distributed Shared Memory System.
Proceedings of the Parallel Computer Architectures: Theory, 1993

Compositional Liveness Properties of EN-Systems.
Proceedings of the Application and Theory of Petri Nets 1993, 1993


  Loading...