No photo of Ekkart Kindler
  • Richard Petersens Plads, 322, 222

    2800 Kgs. Lyngby

    Denmark

20072019
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2019

2019
66 Downloads (Pure)

climify.org: an online solution for easy control and monitoring of the indoor environment

Cali, D., Kindler, E., Ebrahimy, R., Bacher, P., Hu, K. S., Østrup, M. L., Bachalarz, M. & Madsen, H., 2019, Proceedings of Clima 2019. 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Coordinating Behaviour

Kindler, E., 2019, Carl Adam Petri: Ideas, Personality, Impact . Springer, p. 155-160

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

138 Downloads (Pure)

Multidirectional Transformations and Synchronisations.

Cleve, A. (ed.), Kindler, E. (ed.), Stevens, P. (ed.) & Zaytsev, V. (ed.), 2019, In : Dagstuhl Reports. 8, 12, 48 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
61 Downloads (Pure)

Towards a software architecture for neurophysiological experiments

Ioannou, C., Kindler, E., Bækgaard, P., Saqid, S. & Weber, B., 2019, Proceedings of the NeuroIS Retreat 2019. 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
2018

ePNK Applications and Annotations: A Simulator for YAWL Nets

Kindler, E., 2018, Application and Theory of Petri Nets and Concurrency . Springer, Vol. 10877. p. 339-350 (Application and Theory of Petri Nets and Concurrency). (Lecture Notes in Computer Science, Vol. 10877).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18)

Moldt, D. (ed.), Kindler, E. (ed.) & Rölke, H. (ed.), 2018, CEUR-WS. (CEUR Workshop Proceedings, Vol. 2138).

Research output: Book/ReportBookResearchpeer-review

60 Downloads (Pure)

Using the Event Coordination Notation for Validation

Kindler, E., Egilsson, P. I. & Hillah, L. M., 2018, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018. Lorenz, R. & Metzger, J. (eds.). p. 13-20

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
2017
1209 Downloads (Pure)

Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017

Kindler, E. (ed.) & Bergenthum, R. (ed.), 2017, DTU Compute. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).

Research output: Book/ReportReportResearchpeer-review

Open Access
File

ePNK Applications and Annotations

Kindler, E., 2017, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. Bergenthum, R. & Kindler, E. (eds.). DTU Compute, p. 27-32 (DTU Compute-Technical Report-2017, Vol. 06).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2016

Pragmatics annotated coloured petri nets for protocol software generation and verification

Simonsen, K. I. F., Kristensen, L. M. & Kindler, E., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Koutny, M., Desel, J. & Kleijn, J. (eds.). Springer, p. 1-27 (Lecture Notes in Computer Science, Vol. 9930).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2015

Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2014

Ciardo, G., Kindler, E. & Penczek, W., 2015, In : Fundamenta Informaticae. 140, 1, p. V-VI 2 p.

Research output: Contribution to journalEditorialResearchpeer-review

Behavior Modeling -- Foundations and Applications: International Workshops, BM-FA 2009-2014, Revised Selected Papers

Roubtsova, E. (ed.), McNeile, A. (ed.), Kindler, E. (ed.) & Gerth, C. (ed.), 2015, Springer. 279 p. (Lecture Notes in Computer Science, Vol. 6368).

Research output: Book/ReportBookResearchpeer-review

407 Downloads (Pure)

Bx 2015 — Bidirectional Transformations: Proceedings of the 4th International Workshop on Bidirectional Transformations

Cunha, A. (ed.) & Kindler, E. (ed.), 2015, 95 p. (CEUR Workshop Proceedings, Vol. 1396).

Research output: Book/ReportBookResearchpeer-review

Open Access
File
180 Downloads (Pure)

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

Fagerland Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2015, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15): including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015). Moldt, D., Rölke, H. & Störrle, H. (eds.). p. 79-98 (CEUR Workshop Proceedings, Vol. 1372).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse

Jepsen, J. & Kindler, E., 2015, Revised Selected Papers of the International Workshops on Behavior Modeling – Foundations and Applications (BM-FA 2009-2014). Roubtsova, E., McNeile, A., Kindler, E. & Gerth, C. (eds.). Springer, p. 133-164 (Lecture Notes in Computer Science, Vol. 6368).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2014

Application and Theory of Petri Nets and Concurrency: Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014

Ciardo, G. (ed.) & Kindler, E. (ed.), 2014, Springer. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

Research output: Book/ReportBookResearchpeer-review

468 Downloads (Pure)

Coordinating Interactions: The Event Coordination Notation

Kindler, E., 2014, DTU Compute. 204 p. (DTU Compute-Technical Report-2014; No. 05).

Research output: Book/ReportReportResearch

Open Access
File
333 Downloads (Pure)

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2014, Kgs. Lyngby: Technical University of Denmark. 23 p. (DTU Compute-Technical Report-2014; No. 16).

Research output: Book/ReportReportResearch

Open Access
File

Special issue: Selected papers of BPM 2012: From the guest editors

Barros, A., Gal, A. & Kindler, E., 2014, In : Information Systems. 47, January 2015, p. 195-196

Research output: Contribution to journalEditorialResearchpeer-review

2013

A simulator for high-level Petri nets: An ePNK application

Kindler, E. & Laganeckas, M., 2013, In : Petri Net Newsletter. 82, p. 3–19

Research output: Contribution to journalJournal articleResearchpeer-review

270 Downloads (Pure)

Code Generation for Protocols from CPN models Annotated with Pragmatics

Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2013, Kongens Lyngby: Technical University of Denmark. 43 p. (D T U Compute. Technical Report; No. 2013-01).

Research output: Book/ReportReportResearch

Open Access
File

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

Greenyer, J. & Kindler, E., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, p. 774-789 (Lecture Notes in Computer Science, Vol. 8107).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Generating Protocol Software from CPN Models Annotated with Pragmatics

Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2013, Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2012
118 Downloads (Pure)

An ECNO semantics for Petri nets

Kindler, E., 2012, In : Petri Net Newsletter. 81, p. 3–16

Research output: Contribution to journalJournal articleResearchpeer-review

File

Business Process Management: 10th International Conference, BPM 2012 Proceedings

Barros, A. (ed.), Gal, A. (ed.) & Kindler, E. (ed.), 2012, Springer. (Lecture Notes in Computer Science, Vol. 7481).

Research output: Book/ReportBookResearchpeer-review

157 Downloads (Pure)

Code Generation for Protocols from CPN models Annotated with Pragmatics

Simonsen, K. I., Kristensen, L. M. & Kindler, E., 2012. 3 p.

Research output: Contribution to conferencePaperResearchpeer-review

File

Modelling Foundations and Applications: 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings

Vallecillo, A. (ed.), Tolvanen, J-P. (ed.), Kindler, E. (ed.), Störrle, H. (ed.) & Kolovos, D. (ed.), 2012, Springer. 446 p. (Lecture Notes in Computer Science, Vol. 7349).

Research output: Book/ReportBookResearch

Modelling Local and Global Behaviour: Petri Nets and Event Coordination

Kindler, E., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Springer, p. 71-93 (Lecture Notes in Computer Science, Vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

102 Downloads (Pure)

On the dimensions of software documents — An idea for framing the software engineering process.

Kindler, E., Baumeister, H., Haxthausen, A. E. & Kiniry, J., 2012, The Semat Workshop on a General Theory of Software Engineering 2012: Proceedings. Jacobsen, I., Goedicke, M. & Johnson, P. (eds.). p. 21-22 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
774 Downloads (Pure)

The ePNK: A generic PNML tool Users' and Developers' Guide for Version 1.0.0

Kindler, E., 2012, Kgs. Lyngby: Technical University of Denmark. 164 p. (D T U Compute. Technical Report; No. 2012-14).

Research output: Book/ReportReportResearch

Open Access
File

The Event Coordination Notation: Execution Engine and Programming Framework

Kindler, E., 2012, BM-FA '12 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications . Association for Computing Machinery, p. 8

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2011
397 Downloads (Pure)

ePNK: A generic PNML tool - Users' and Developers' Guide: version 0.9.1

Kindler, E., 2011, Kgs. Lyngby, Denmark: Technical University of Denmark, DTU Informatics, Building 321. (IMM-Technical Report-2011-03).

Research output: Book/ReportReportResearch

Open Access
File

Integrating Behaviour in Software Models: An Event Coordination Notation: Concepts and Prototype

Kindler, E., 2011, BM-FA '11 Proceedings of the Third Workshop on Behavioural Modelling. New York: ACM, p. 41-48

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Modelling Local and Global Behaviour: Petri Nets and Event Coordination

Kindler, E., 2011, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11). p. 42-56 (CEUR Workshop Proceedings; No. 723).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The ePNK: An Extensible Petri Net Tool for PNML

Kindler, E., 2011, Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, p. 318-327 (Lecture Notes in Computer Science; No. 6709).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Third Workshop on Behaviour Modelling - Foundations and Applications

Roubtsova, E., McNeile, A., Kindler, E. & Aksit, M., 2011, Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, p. 381-382 (Lecture Notes in Computer Science; No. 6698).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

2010

Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

Greenyer, J. & Kindler, E., 2010, In : Software and Systems Modeling. 9, 1, p. 21-46

Research output: Contribution to journalJournal articleResearchpeer-review

Model-based Software Engineering: The challenges of modelling behaviour

Kindler, E., 2010, ACM Digital Library: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications. Aksit, M., Kindler, E., Roubtsova, E. & McNeile, A. (eds.). New York, NY, USA: ACM, 46 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Ny software helt uden programmering

Kindler, E., 2010, In : videnskab.dk.

Research output: Contribution to journalJournal articleCommunication

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

van der Aalst, W. M. P., Rubin, V., Verbeek, H. M. W., van Dongen, B. F., Kindler, E. & Günther, C. W., 2010, In : Journal of Software and Systems Modeling. 9, 1, p. 87-111

Research output: Contribution to journalJournal articleResearchpeer-review

2009

A framework for the definition of variants of high-level Petri nets

Kindler, E. & Petrucci, L., 2009, Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09). p. 121-137

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Hillah, L. M., Kindler, E., Kordon, F., Petrucci, L. & Tréves, N., 2009, In : Petri Net Newsletter. 76, p. 9-28

Research output: Contribution to journalJournal articleResearch

Difference-based Model Synchronization in an Industrial MDD Process

Könemann, P., Kindler, E. & Unland, L., 2009, Second European Workshop on Model Driven Tool and Process Integration. Hein, C., Ritter, T. & Wagner, M. (eds.). Fraunhofer Institute for Open Communication Systems, p. 1-12 59 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Model-based Software Engineering and Process-Aware Information Systems

Kindler, E., 2009, Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems. Jensen, K. & van der Aalst, W. M. P. (eds.). 1 ed. Springer, Vol. 2. p. 27-45 297 p. (Lecture Notes in Computer Science; No. 5460).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Modelling Constructs

Kindler, E., 2009, Handbook of Research on Business Process Modeling. Cardoso, J. & van der Aalst, W. (eds.). Idea Group Publishing, p. 122-141 634 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Towards a Standard for Modular Petri Nets: A Formalisation

Kindler, E. & Petrucci, L., 2009, Proceedings of the Application and Theory of Petri Nets: 30th International Conference. Franceschinis, G. & Wolf, K. (eds.). Springer, p. 43-62 (Lecture Notes in Computer Science; No. 5606).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2008

Aspect-Oriented Modelling from a Different Angle: Modelling Domains with Aspects

Kindler, E. & Schmelter, D., 2008, Aspect-Oriented Modeling: 12th International Workshop on. ACM, p. 7-12

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

150 Downloads (Pure)

Diff-based model synchronization in an industrial MDD process

Kindler, E., Könemann, P. & Unland, L., 2008, Lyngby: Technical University of Denmark, DTU Informatics, Building 321. (D T U Compute. Technical Report; No. 2008-07).

Research output: Book/ReportReportResearchpeer-review

Open Access
File

Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting

van der Aalst, W. M. P., Rubin, V., Verbeek, H. M. W., Kindler, E. & Günther, C. W., 2008, BPMcenter.org. 40 p. (BPM Center Report; No. BPM-08-01).

Research output: Book/ReportReportResearch

Requirements and Evaluation of tool papers for PETRI NETS

Franceschinis, G., van Hee, K., Kindler, E., Kordon, F., Kristensen, L. M. & Wolf, K., 2008, In : Petri Net Newsletter. 75, p. 9-18

Research output: Contribution to journalJournal articleResearch