default search action
Ekkart Kindler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j24]Amine Abbad Andaloussi
, Andrea Burattin
Complexity in declarative process models: Metrics and multi-modal assessment of cognitive load. Expert Syst. Appl. 233: 120924 (2023) - [d1]Andrea Burattin
Appendix to "A Distributed Architecture for Process Mining: Controlled Sharing of Data and Algorithms". Zenodo, 2023 - 2021
- [j23]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): 19-20 (2021) - [e11]Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). CEUR Workshop Proceedings 2907, CEUR-WS.org 2021 [contents] - 2020
- [j22]Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Ekkart Kindler
On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study. Inf. Syst. 91: 101505 (2020) - [c51]Constantina Ioannou, Per Bækgaard
Towards a tool for visualizing pupil dilation linked with source code artifacts. VISSOFT 2020: 105-109 - [e10]Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). CEUR Workshop Proceedings 2651, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [p2]Ekkart Kindler
Coordinating Behaviour. Carl Adam Petri: Ideas, Personality, Impact 2019: 155-160 - [e9]Daniel Moldt, Ekkart Kindler, Manuel Wimmer:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. CEUR Workshop Proceedings 2424, CEUR-WS.org 2019 [contents] - 2018
- [c50]Ekkart Kindler
ePNK Applications and Annotations: A Simulator for YAWL Nets. Petri Nets 2018: 339-350 - [e8]Daniel Moldt, Ekkart Kindler, Heiko Rölke:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. CEUR Workshop Proceedings 2138, CEUR-WS.org 2018 [contents] - [i3]Anthony Cleve, Ekkart Kindler
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). Dagstuhl Reports 8(12): 1-48 (2018) - 2017
- [j21]Alcino Cunha
Bidirectional Transformations (BX 2015) Editorial. J. Object Technol. 16(1): 1-2 (2017) - 2016
- [j20]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: 1-27 (2016) - 2015
- [j19]Alistair Barros
Special issue: Selected papers of BPM 2012. Inf. Syst. 47: 195-196 (2015) - [c49]Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler:
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. PNSE @ Petri Nets 2015: 79-98 - [e7]Ella E. Roubtsova
Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers. Lecture Notes in Computer Science 6368, Springer 2015, ISBN 978-3-319-21911-0 [contents] - [e6]Alcino Cunha, Ekkart Kindler:
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings 1396, CEUR-WS.org 2015 [contents] - 2014
- [c48]Jesper Jepsen, Ekkart Kindler
The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. BM-FA (Revised Selected Papers) 2014: 133-164 - [e5]Gianfranco Ciardo, Ekkart Kindler
Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8489, Springer 2014, ISBN 978-3-319-07733-8 [contents] - 2013
- [c47]Joel Greenyer
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. MoDELS 2013: 774-789 - [c46]Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler
Generating Protocol Software from CPN Models Annotated with Pragmatics. SBMF 2013: 227-242 - 2012
- [j18]Ekkart Kindler
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. Trans. Petri Nets Other Model. Concurr. 6: 71-93 (2012) - [c45]Ekkart Kindler
The event coordination notation: execution engine and programming framework. BM-FA 2012: 3 - [e4]Ella E. Roubtsova, Ekkart Kindler, Ashley T. McNeile, Mehmet Aksit:
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012. ACM 2012, ISBN 978-1-4503-1187-8 [contents] - [e3]Alistair Barros, Avigdor Gal, Ekkart Kindler
Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings. Lecture Notes in Computer Science 7481, Springer 2012, ISBN 978-3-642-32884-8 [contents] - [e2]Antonio Vallecillo
Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings. Lecture Notes in Computer Science 7349, Springer 2012, ISBN 978-3-642-31490-2 [contents] - 2011
- [c44]Ekkart Kindler:
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. PNSE 2011: 42-56 - [c43]Ekkart Kindler:
The ePNK: An Extensible Petri Net Tool for PNML. Petri Nets 2011: 318-327 - [c42]Ekkart Kindler
Integrating behaviour in software models: an event coordination notation - concepts and prototype. BM-FA 2011: 41-48 - [c41]Ella E. Roubtsova
The Third Workshop on Behaviour Modelling - Foundations and Applications. ECMFA 2011: 381-382 - 2010
- [j17]Joel Greenyer
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. Softw. Syst. Model. 9(1): 21-46 (2010) - [j16]Wil M. P. van der Aalst
Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1): 87-111 (2010) - [c40]Ekkart Kindler
Model-based software engineering: the challenges of modelling behaviour. BM-FA 2010: 4 - [e1]Mehmet Aksit, Ekkart Kindler, Ella E. Roubtsova, Ashley T. McNeile:
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010. ACM 2010, ISBN 978-1-60558-961-9 [contents]
2000 – 2009
- 2009
- [j15]Ekkart Kindler
Model-Based Software Engineering and Process-Aware Information Systems. Trans. Petri Nets Other Model. Concurr. 2: 27-45 (2009) - [c39]Ekkart Kindler
Towards a Standard for Modular Petri Nets: A Formalisation. Petri Nets 2009: 43-62 - [p1]Ekkart Kindler
Modelling Constructs. Handbook of Research on Business Process Modeling 2009: 122-141 - 2008
- [c38]Ekkart Kindler
Aspect-oriented modelling from a different angle: modelling domains with aspects. AOM@AOSD 2008: 7-12 - 2007
- [j14]Björn Axenath, Ekkart Kindler
AMFIBIA: a meta-model for integrating business process modelling aspects. Int. J. Bus. Process. Integr. Manag. 2(2): 120-131 (2007) - [c37]Vladimir A. Rubin, Christian W. Günther, Wil M. P. van der Aalst
Process Mining Framework for Software Processes. ICSP 2007: 169-181 - [c36]Joel Greenyer, Ekkart Kindler
Reconciling TGGs with QVT. MoDELS 2007: 16-30 - 2006
- [j13]Ekkart Kindler
On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1): 23-40 (2006) - [c35]Ekkart Kindler, Vladimir A. Rubin, Robert Wagner:
Component Tools: Integrating Petri Nets with Other Formal Methods. ICATPN 2006: 37-56 - [c34]Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer:
Process Mining and Petri Net Synthesis. Business Process Management Workshops 2006: 105-116 - [c33]Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer:
Incremental Workflow Mining for Process Flexibility. BPMDS 2006 - [c32]Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer:
Activity Mining for Discovering Software Process Models. Software Engineering 2006: 175-180 - [i2]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 - 2005
- [j12]Nicolas Cuntz, Ekkart Kindler:
On the Semantics of EPCs - Efficient Calculation and Simulation. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 1(1): 14-24 (2005) - [j11]Holger Giese, Ekkart Kindler
Reconciling scenario-centered controller design with state-based system models. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-5 (2005) - [c31]Nicolas Cuntz, Ekkart Kindler:
On the Semantics of EPCs: Efficient Calculation and Simulation. Business Process Management 2005: 398-403 - [c30]Ekkart Kindler, Markus Nüttgens:
Preface (BPRM 2005). Business Process Management Workshops 2005: 467-468 - [c29]Hagen Völzer, Daniele Varacca, Ekkart Kindler:
Defining Fairness. CONCUR 2005: 458-472 - [c28]Nicolas Cuntz, Jörn Freiheit, Ekkart Kindler:
On the semantics of EPCs: Faster calculation for EPCs with small state spaces. EPK 2005 - [c27]Ekkart Kindler, Vladimir A. Rubin, Wilhelm Schäfer:
Incremental Workflow Mining Based on Document Versioning Information. ISPW 2005: 287-301 - 2004
- [c26]Ekkart Kindler, Csaba Páles:
3D-Visualization of Petri Net Models: Concept and Realization. ICATPN 2004: 464-473 - [c25]Ekkart Kindler
On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. Business Process Management 2004: 82-97 - [c24]Nicolas Cuntz, Ekkart Kindler:
On the semantics of EPCs: Efficient calculation and simulation. EPK 2004: 7-26 - 2003
- [c23]Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN 2003: 483-505 - [c22]Michael Weber, Ekkart Kindler:
The Petri Net Kernel. Petri Net Technology for Communication-Based Systems 2003: 109-124 - [c21]Michael Weber, Ekkart Kindler:
The Petri Net Markup Language. Petri Net Technology for Communication-Based Systems 2003: 124-144 - [c20]Ekkart Kindler:
On the semantics of EPCs: A framework for resolving the vicious circle. EPK 2003: 7-18 - 2002
- [c19]Ekkart Kindler:
Petri Nets, Situations, and Automata. ICATPN 2002: 217-236 - [c18]Ekkart Kindler:
DAWN for component based systems - just a different perspective. Promise 2002: 7-13 - [c17]Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler:
On the semantics of EPCs: A vicious circle. EPK 2002: 71-79 - 2001
- [j10]Ekkart Kindler
The Petri Net Kernel - An infrastructure for building Petri net tools. Int. J. Softw. Tools Technol. Transf. 3(4): 486-497 (2001) - [j9]Ekkart Kindler
Algebraic nets with flexible arcs. Theor. Comput. Sci. 262(1): 285-310 (2001) - 2000
- [c16]Ekkart Kindler
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management 2000: 235-253
1990 – 1999
- 1999
- [j8]Thomas Baar, Ekkart Kindler
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool. Fundam. Informaticae 37(3): 201-211 (1999) - [j7]Ekkart Kindler
Integrating Distributed Algorithms into Distributed Systems. Fundam. Informaticae 37(3): 291-308 (1999) - [j6]Ekkart Kindler
Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70(6): 269-27 (1999) - [c15]Thomas Baar, Ekkart Kindler
Verifying Intuition - ILF Checks DAWN Proofs. ICATPN 1999: 404-424 - [c14]Ekkart Kindler, Axel Martens:
Szenarios: Lokale Kriterien für globale Korrektheit. FBT 1999: 113-122 - [c13]Ekkart Kindler:
Serializability, Concurrency Control, and Replication Control. FMLDO - Selected Papers 1999: 26-44 - [c12]Ekkart Kindler:
Serializability, Concurrency Control, and Replication Control. FMLDO 1999: 98-114 - 1998
- [j5]Ekkart Kindler, Michael Weber:
The Dimensions of Petri Nets: The Petri Net Cube. Bull. EATCS 66: 155-165 (1998) - [c11]Jörg Desel, Ekkart Kindler
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD 1998: 177-186 - [c10]Ekkart Kindler, Hagen Völzer:
Flexibility in Algebraic Nets. ICATPN 1998: 345-364 - [c9]Ekkart Kindler, Tobias Vesper:
ESTL: A Temporal Logic for Events and States. ICATPN 1998: 365-384 - [c8]Ekkart Kindler:
The Interplay of Transaction Models and Memory Models. IADT 1998: 39-46 - 1997
- [j4]Ekkart Kindler
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9(4): 409-424 (1997) - [j3]Ekkart Kindler
Mutex Needs Fairness. Inf. Process. Lett. 62(1): 31-39 (1997) - [c7]Ekkart Kindler:
A Compositional Partial Order Semantics for Petri Net Components. ICATPN 1997: 235-252 - [c6]Ekkart Kindler
Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270 - 1996
- [c5]Wolfgang Reisig, Ekkart Kindler
Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385 - [c4]Ekkart Kindler
Arc-Typed Petri Nets. Application and Theory of Petri Nets 1996: 289-306 - 1995
- [b1]Ekkart Kindler:
Modularer Entwurf verteilter Systeme mit Petrinetzen. Technical University Munich, Germany, Edition Versal 1, Bertz 1995, ISBN 978-3-929470-51-2, pp. 1-233 - [j2]Ekkart Kindler
Invariants, Composition, and Substitution. Acta Informatica 32(4): 299-312 (1995) - [j1]Jörg Desel, Ekkart Kindler
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. Inf. Process. Lett. 54(6): 327-328 (1995) - [c3]Ekkart Kindler, Rolf Walter:
Message passing mutex. STRICT 1995: 205-219 - 1993
- [c2]Dominik Gomm, Ekkart Kindler
Compositional Liveness Properties of EN-Systems. Application and Theory of Petri Nets 1993: 262-281 - [c1]Dominik Gomm, Ekkart Kindler:
Causality Based Proof of a Distributed Shared Memory System. Parallel Computer Architectures 1993: 133-149 - 1992
- [i1]Ekkart Kindler:
Invariants, compositionality and substitution. Forschungsberichte, TU Munich TUM I 9236: 1-15 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-26 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: