Ekkart Kindler

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 8

Top Venues

Inf. Syst.

Petri Nets

Trans. Petri Nets Other Model. Concurr.

MoDELS

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber
Complexity in declarative process models: Metrics and multi-modal assessment of cognitive load. Expert Syst. Appl. 233 (2023)
Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber
On the Declarative Paradigm in Hybrid Business Process Representations: A Conceptual Framework and a Systematic Literature Study (Extended Abstract). EMISA Forum 41 (1) (2021)
Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler, Barbara Weber
On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study. Inf. Syst. 91 (2020)
Constantina Ioannou, Per Bækgaard, Ekkart Kindler, Barbara Weber
Towards a tool for visualizing pupil dilation linked with source code artifacts. VISSOFT (2020)
Ekkart Kindler
ePNK Applications and Annotations: A Simulator for YAWL Nets. Petri Nets (2018)
Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). Dagstuhl Reports 8 (12) (2018)
Alcino Cunha, Ekkart Kindler
Bidirectional Transformations (BX 2015) Editorial. J. Object Technol. 16 (1) (2017)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets (2015)
Alistair Barros, Avigdor Gal, Ekkart Kindler
Special issue: Selected papers of BPM 2012. Inf. Syst. 47 (2015)
Jesper Jepsen, Ekkart Kindler
The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. BM-FA (Revised Selected Papers) (2014)
Joel Greenyer, Ekkart Kindler
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. MoDELS (2013)
Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF (2013)
Ekkart Kindler
The event coordination notation: execution engine and programming framework. BM-FA (2012)
Ekkart Kindler
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit
The Third Workshop on Behaviour Modelling - Foundations and Applications. ECMFA (2011)
Ekkart Kindler
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. PNSE (2011)
Ekkart Kindler
Integrating behaviour in software models: an event coordination notation - concepts and prototype. BM-FA (2011)
Ekkart Kindler
The ePNK: An Extensible Petri Net Tool for PNML. Petri Nets (2011)
Wil M. P. van der Aalst, Vladimir A. Rubin, H. M. W. Verbeek, Boudewijn F. van Dongen, Ekkart Kindler, Christian W. Günther
Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9 (1) (2010)
Ekkart Kindler
Model-based software engineering: the challenges of modelling behaviour. BM-FA (2010)
Joel Greenyer, Ekkart Kindler
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. Softw. Syst. Model. 9 (1) (2010)
Ekkart Kindler
Model-Based Software Engineering and Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Ekkart Kindler, Laure Petrucci
Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets (2009)
Ekkart Kindler, David Schmelter
Aspect-oriented modelling from a different angle: modelling domains with aspects. AOM@AOSD (2008)
Vladimir A. Rubin, Christian W. Günther, Wil M. P. van der Aalst, Ekkart Kindler, Boudewijn F. van Dongen, Wilhelm Schäfer
Process Mining Framework for Software Processes. ICSP (2007)
Joel Greenyer, Ekkart Kindler
Reconciling TGGs with QVT. MoDELS (2007)
Björn Axenath, Ekkart Kindler, Vladimir A. Rubin
AMFIBIA: a meta-model for integrating business process modelling aspects. Int. J. Bus. Process. Integr. Manag. 2 (2) (2007)
Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer
Incremental Workflow Mining for Process Flexibility. BPMDS (2006)
Ekkart Kindler, Vladimir A. Rubin, Robert Wagner
Component Tools: Integrating Petri Nets with Other Formal Methods. ICATPN (2006)
Ekkart Kindler, Björn Axenath, Vladimir A. Rubin
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects. The Role of Business Processes in Service Oriented Architectures (2006)
Ekkart Kindler
On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56 (1) (2006)
Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer
Process Mining and Petri Net Synthesis. Business Process Management Workshops (2006)
Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer
Activity Mining for Discovering Software Process Models. Software Engineering (2006)
Nicolas Cuntz, Ekkart Kindler
On the Semantics of EPCs - Efficient Calculation and Simulation. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 1 (1) (2005)
Nicolas Cuntz, Jörn Freiheit, Ekkart Kindler
On the semantics of EPCs: Faster calculation for EPCs with small state spaces. EPK (2005)
Nicolas Cuntz, Ekkart Kindler
On the Semantics of EPCs: Efficient Calculation and Simulation. Business Process Management (2005)
Hagen Völzer, Daniele Varacca, Ekkart Kindler
Defining Fairness. CONCUR (2005)
Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner
Reconciling scenario-centered controller design with state-based system models. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer
Incremental Workflow Mining Based on Document Versioning Information. ISPW (2005)
Ekkart Kindler, Markus Nüttgens
Preface (BPRM 2005). Business Process Management Workshops (2005)
Ekkart Kindler
On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. Business Process Management (2004)
Ekkart Kindler, Csaba Páles
3D-Visualization of Petri Net Models: Concept and Realization. ICATPN (2004)
Nicolas Cuntz, Ekkart Kindler
On the semantics of EPCs: Efficient calculation and simulation. EPK (2004)
Michael Weber, Ekkart Kindler
The Petri Net Kernel. Petri Net Technology for Communication-Based Systems (2003)
Ekkart Kindler
On the semantics of EPCs: A framework for resolving the vicious circle. EPK (2003)
Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN (2003)
Michael Weber, Ekkart Kindler
The Petri Net Markup Language. Petri Net Technology for Communication-Based Systems (2003)
Ekkart Kindler
Petri Nets, Situations, and Automata. ICATPN (2002)
Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler
On the semantics of EPCs: A vicious circle. EPK (2002)
Ekkart Kindler
DAWN for component based systems - just a different perspective. Promise (2002)
Ekkart Kindler, Michael Weber
The Petri Net Kernel - An infrastructure for building Petri net tools. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Ekkart Kindler, Hagen Völzer
Algebraic nets with flexible arcs. Theor. Comput. Sci. 262 (1) (2001)
Ekkart Kindler, Axel Martens, Wolfgang Reisig
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management (2000)
Thomas Baar, Ekkart Kindler, Hagen Völzer
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN (1999)
Ekkart Kindler, Axel Martens
Szenarios: Lokale Kriterien für globale Korrektheit. FBT (1999)
Ekkart Kindler, Wil M. P. van der Aalst
Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70 (6) (1999)
Ekkart Kindler
Serializability, Concurrency Control, and Replication Control. FMLDO (1999)
Thomas Baar, Ekkart Kindler
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. Fundam. Informaticae 37 (3) (1999)
Ekkart Kindler, Sibylle Peuker
Integrating Distributed Algorithms into Distributed Systems. Fundam. Informaticae 37 (3) (1999)
Ekkart Kindler
Serializability, Concurrency Control, and Replication Control. FMLDO - Selected Papers (1999)
Ekkart Kindler, Michael Weber
The Dimensions of Petri Nets: The Petri Net Cube. Bull. EATCS 66 (1998)
Jörg Desel, Ekkart Kindler
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD (1998)
Ekkart Kindler, Hagen Völzer
Flexibility in Algebraic Nets. ICATPN (1998)
Ekkart Kindler, Tobias Vesper
ESTL: A Temporal Logic for Events and States. ICATPN (1998)
Ekkart Kindler
The Interplay of Transaction Models and Memory Models. IADT (1998)
Ekkart Kindler, Wolfgang Reisig
Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Ekkart Kindler
A Compositional Partial Order Semantics for Petri Net Components. ICATPN (1997)
Ekkart Kindler, Rolf Walter
Mutex Needs Fairness. Inf. Process. Lett. 62 (1) (1997)
Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9 (4) (1997)
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
Distributed Algorithms for Networks of Agents. Petri Nets (2) (1996)
Ekkart Kindler, Rolf Walter
Arc-Typed Petri Nets. Application and Theory of Petri Nets (1996)
Ekkart Kindler, Rolf Walter
Message passing mutex. STRICT (1995)
Ekkart Kindler
Invariants, Composition, and Substitution. Acta Informatica 32 (4) (1995)
Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. Inf. Process. Lett. 54 (6) (1995)
Dominik Gomm, Ekkart Kindler
Causality Based Proof of a Distributed Shared Memory System. Parallel Computer Architectures (1993)
Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter
Compositional Liveness Properties of EN-Systems. Application and Theory of Petri Nets (1993)
Ekkart Kindler
Invariants, compositionality and substitution Forschungsberichte, TU Munich (1992)

Ekkart Kindler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ekkart Kindler