Ekkart Kindler

According to our database, Ekkart Kindler authored at least 76 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Complexity in declarative process models: Metrics and multi-modal assessment of cognitive load.

Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber

Expert Syst. Appl., December, 2023

Appendix to "A Distributed Architecture for Process Mining: Controlled Sharing of Data and Algorithms".

Andrea Burattin, Ekkart Kindler, Nicholas Dyhre, Sebastian Vestrup, Francesca Zerbato, Barbara Weber

Dataset, December, 2023

2021

On the Declarative Paradigm in Hybrid Business Process Representations: A Conceptual Framework and a Systematic Literature Study (Extended Abstract).

Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber

EMISA Forum, 2021

2020

On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study.

Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber

Inf. Syst., 2020

Towards a tool for visualizing pupil dilation linked with source code artifacts.

Constantina Ioannou, Per Bækgaard, Ekkart Kindler, Barbara Weber

Proceedings of the Working Conference on Software Visualization, 2020

2019

Coordinating Behaviour.

Ekkart Kindler

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491).

Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev

Dagstuhl Reports, 2018

ePNK Applications and Annotations: A Simulator for YAWL Nets.

Ekkart Kindler

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Bidirectional Transformations (BX 2015) Editorial.

Alcino Cunha, Ekkart Kindler

J. Object Technol., 2017

2016

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler

Trans. Petri Nets Other Model. Concurr., 2016

2015

Special issue: Selected papers of BPM 2012.

Alistair Barros, Avigdor Gal, Ekkart Kindler

Inf. Syst., 2015

2014

The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse.

Jesper Jepsen, Ekkart Kindler

Proceedings of the Behavior Modeling, 2014

2013

Generating Protocol Software from CPN Models Annotated with Pragmatics.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications.

Joel Greenyer, Ekkart Kindler

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Modelling Local and Global Behaviour: Petri Nets and Event Coordination.

Ekkart Kindler

Trans. Petri Nets Other Model. Concurr., 2012

The event coordination notation: execution engine and programming framework.

Ekkart Kindler

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.

Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Integrating behaviour in software models: an event coordination notation - concepts and prototype.

Ekkart Kindler

Proceedings of the Third Workshop on Behavioural Modelling, 2011

The ePNK: An Extensible Petri Net Tool for PNML.

Ekkart Kindler

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.

Joel Greenyer, Ekkart Kindler

Softw. Syst. Model., 2010

Process mining: a two-step approach to balance between underfitting and overfitting.

Wil M. P. van der Aalst, Vladimir A. Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther

Softw. Syst. Model., 2010

Model-based software engineering: the challenges of modelling behaviour.

Ekkart Kindler

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

2009

Model-Based Software Engineering and Process-Aware Information Systems.

Ekkart Kindler

Trans. Petri Nets Other Model. Concurr., 2009

Towards a Standard for Modular Petri Nets: A Formalisation.

Ekkart Kindler, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2009

Modelling Constructs.

Ekkart Kindler

Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008

Aspect-oriented modelling from a different angle: modelling domains with aspects.

Ekkart Kindler, David Schmelter

Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, 2008

2007

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

Björn Axenath, Ekkart Kindler, Vladimir A. Rubin

Int. J. Bus. Process. Integr. Manag., 2007

Reconciling TGGs with QVT.

Joel Greenyer, Ekkart Kindler

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Process Mining Framework for Software Processes.

Vladimir A. Rubin, Christian W. Günther, Wil M. P. van der Aalst, Ekkart Kindler, Boudewijn F. van Dongen, Wilhelm Schäfer

Proceedings of the Software Process Dynamics and Agility, 2007

2006

On the semantics of EPCs: Resolving the vicious circle.

Ekkart Kindler

Data Knowl. Eng., 2006

Activity Mining for Discovering Software Process Models.

Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer

Proceedings of the Software Engineering 2006, 2006

AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects.

Ekkart Kindler, Björn Axenath, Vladimir A. Rubin

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Incremental Workflow Mining for Process Flexibility.

Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer

Proceedings of the CAISE*06 Workshop on Business Process Modelling, 2006

Process Mining and Petri Net Synthesis.

Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer

Proceedings of the Business Process Management Workshops, 2006

Component Tools: Integrating Petri Nets with Other Formal Methods.

Ekkart Kindler, Vladimir A. Rubin, Robert Wagner

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Reconciling scenario-centered controller design with state-based system models.

Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner

ACM SIGSOFT Softw. Eng. Notes, 2005

On the Semantics of EPCs - Efficient Calculation and Simulation.

Nicolas Cuntz, Ekkart Kindler

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2005

Incremental Workflow Mining Based on Document Versioning Information.

Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer

Proceedings of the Unifying the Software Process Spectrum, 2005

On the semantics of EPCs: Faster calculation for EPCs with small state spaces.

Nicolas Cuntz, Jörn Freiheit, Ekkart Kindler

Proceedings of the 4. Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihres Arbeitskreises "Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)" Hamburg, 2005

Defining Fairness.

Hagen Völzer, Daniele Varacca, Ekkart Kindler

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

Preface (BPRM 2005).

Ekkart Kindler, Markus Nüttgens

Proceedings of the Business Process Management Workshops, 2005

2004

3D-Visualization of Petri Net Models: Concept and Realization.

Ekkart Kindler, Csaba Páles

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

On the semantics of EPCs: A framework for resolving the vicious circle.

Ekkart Kindler

Proceedings of the EPK 2003, 2003

The Petri Net Markup Language.

Michael Weber, Ekkart Kindler

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

The Petri Net Kernel.

Michael Weber, Ekkart Kindler

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

The Petri Net Markup Language: Concepts, Technology, and Tools.

Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

On the semantics of EPCs: A vicious circle.

Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler

Proceedings of the EPK 2002, 2002

DAWN for component based systems - just a different perspective.

Ekkart Kindler

Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Petri Nets, Situations, and Automata.

Ekkart Kindler

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Algebraic nets with flexible arcs.

Ekkart Kindler, Hagen Völzer

Theor. Comput. Sci., 2001

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

Ekkart Kindler, Michael Weber

Int. J. Softw. Tools Technol. Transf., 2001

2000

Inter-operability of Workflow Applications: Local Criteria for Global Soundness.

Ekkart Kindler, Axel Martens, Wolfgang Reisig

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1999

Liveness, Fairness, and Recurrence in Petri Nets.

Ekkart Kindler, Wil M. P. van der Aalst

Inf. Process. Lett., 1999

Integrating Distributed Algorithms into Distributed Systems.

Ekkart Kindler, Sibylle Peuker

Fundam. Informaticae, 1999

ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.

Thomas Baar, Ekkart Kindler

Fundam. Informaticae, 1999

Serializability, Concurrency Control, and Replication Control.

Ekkart Kindler

Proceedings of the Transactions and Database Dynamics, 1999

Szenarios: Lokale Kriterien für globale Korrektheit.

Ekkart Kindler, Axel Martens

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Verifying Intuition - ILF Checks DAWN Proofs.

Thomas Baar, Ekkart Kindler, Hagen Völzer

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

The Dimensions of Petri Nets: The Petri Net Cube.

Ekkart Kindler, Michael Weber

Bull. EATCS, 1998

The Interplay of Transaction Models and Memory Models.

Ekkart Kindler

Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998

ESTL: A Temporal Logic for Events and States.

Ekkart Kindler, Tobias Vesper

Proceedings of the Application and Theory of Petri Nets 1998, 1998

Flexibility in Algebraic Nets.

Ekkart Kindler, Hagen Völzer

Proceedings of the Application and Theory of Petri Nets 1998, 1998

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.

Jörg Desel, Ekkart Kindler

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Mutex Needs Fairness.

Ekkart Kindler, Rolf Walter

Inf. Process. Lett., 1997

Petri Net Based Verification of Distributed Algorithms: An Example.

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter

Formal Aspects Comput., 1997

Verification of Distributed Algorithms with Algebraic Petri Nets.

Ekkart Kindler, Wolfgang Reisig

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

A Compositional Partial Order Semantics for Petri Net Components.

Ekkart Kindler

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Arc-Typed Petri Nets.

Ekkart Kindler, Rolf Walter

Proceedings of the Application and Theory of Petri Nets 1996, 1996

Distributed Algorithms for Networks of Agents.

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

Modularer Entwurf verteilter Systeme mit Petrinetzen.

Ekkart Kindler

PhD thesis, 1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.

Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter

Inf. Process. Lett., 1995

Invariants, Composition, and Substitution.

Ekkart Kindler

Acta Informatica, 1995

Message passing mutex.

Ekkart Kindler, Rolf Walter

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1993

Causality Based Proof of a Distributed Shared Memory System.

Dominik Gomm, Ekkart Kindler

Proceedings of the Parallel Computer Architectures: Theory, 1993

Compositional Liveness Properties of EN-Systems.

Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

Invariants, compositionality and substitution

Ekkart Kindler

Forschungsberichte, TU Munich, 1992