Ekkart Kindler

  1. 2014
  2. Published

    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, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

    Publication: Research - peer-reviewBook – Annual report year: 2014

  3. Submitted

    Code Generation from Pragmatics Annotated Coloured Petri Nets. / Simonsen, Kent Inge; Kristensen, Lars Michael (Supervisor); Kindler, Ekkart (Main supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2014. 296 p. (DTU Compute PHD-2014; No. 345).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  4. Published

    Coordinating Interactions: The Event Coordination Notation. / Kindler, Ekkart.

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

    Publication: ResearchReport – Annual report year: 2014

  5. Published

    Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. / Simonsen, Kent Inge; Kristensen, Lars Michael; Kindler, Ekkart.

    Kgs. Lyngby : Technical University of Denmark, 2014. 23 p. (DTU Compute-Technical Report-2014; No. 16).

    Publication: ResearchReport – Annual report year: 2014

  6. Published

    Special issue: Selected papers of BPM 2012 : From the guest editors. / Barros, Alistair; Gal, Avigdor; Kindler, Ekkart.

    In: Information Systems, Vol. 47, No. January 2015, 2014, p. 195-196.

    Publication: Research - peer-reviewEditorial – Annual report year: 2014

  7. 2013
  8. Published

    A simulator for high-level Petri nets: An ePNK application. / Kindler, Ekkart; Laganeckas, Mindaugas.

    In: Petri Net Newsletter, Vol. 82, 2013, p. 3–19.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  9. Published

    Code Generation for Protocols from CPN models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars Michael; Kindler, Ekkart.

    Kongens Lyngby : Technical University of Denmark, 2013. 43 p. (IMM-Technical Report-2013; No. 01).

    Publication: ResearchReport – Annual report year: 2013

  10. Published

    Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. / Greenyer, Joel; Kindler, Ekkart.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  11. Published

    Generating Protocol Software from CPN Models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars M.; Kindler, Ekkart.

    Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, 2013. p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  12. 2012
  13. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  14. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

    Publication: Research - peer-reviewBook – Annual report year: 2012

  15. Published

    Code Generation for Protocols from CPN models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars Michael ; Kindler, Ekkart.

    2012. Paper presented at 24th Nordic Workshop on Programming Theory (NWPT 2012), Bergen, Norway.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  16. Published

    Modelling Foundations and Applications : 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings. / Vallecillo, Antonio (Editor); Tolvanen, Juha-Pekka (Editor); Kindler, Ekkart (Editor); Störrle, Harald (Editor); Kolovos, Dimitris (Editor).

    Springer, 2012. 446 p. (Lecture Notes in Computer Science, Vol. 7349).

    Publication: ResearchBook – Annual report year: 2012

  17. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewBook chapter – Annual report year: 2012

  18. Published

    On the dimensions of software documents — An idea for framing the software engineering process.. / Kindler, Ekkart; Baumeister, Hubert; Haxthausen, Anne Elisabeth; Kiniry, Joseph.

    The Semat Workshop on a General Theory of Software Engineering 2012: Proceedings. ed. / I. Jacobsen; M. Goedicke; P. Johnson. 2012. p. 21-22.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  19. Published

    The ePNK: A generic PNML tool Users' and Developers' Guide for Version 1.0.0. / Kindler, Ekkart.

    Kgs. Lyngby : Technical University of Denmark, 2012. 164 p. (IMM-Technical Report-2012; No. 14).

    Publication: ResearchReport – Annual report year: 2012

  20. Published

    The Event Coordination Notation: Execution Engine and Programming Framework. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  21. 2011
  22. Published

    ePNK: A generic PNML tool - Users' and Developers' Guide : version 0.9.1. / Kindler, Ekkart.

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

    Publication: ResearchReport – Annual report year: 2011

  23. Published

    Integrating Behaviour in Software Models: An Event Coordination Notation : Concepts and Prototype. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  24. Published

    Integrating Design Decision Management with Model-based Software Development. / Könemann, Patrick; Kindler, Ekkart (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. (IMM-PHD-2011-249).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  25. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  26. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  27. Published

    The Third Workshop on Behaviour Modelling - Foundations and Applications. / Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Aksit, Mehmet.

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

    Publication: ResearchArticle in proceedings – Annual report year: 2011

  28. 2010
  29. Published

    Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. / Greenyer, Joel; Kindler, Ekkart.

    In: Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 21-46.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  30. E-pub ahead of print

    Model-based Software Engineering : The challenges of modelling behaviour. / Kindler, Ekkart.

    ACM Digital Library: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications. ed. / Mehmet Aksit; Ekkart Kindler; Ella Roubtsova; Ashley McNeile. New York, NY, USA : ACM, 2010.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  31. E-pub ahead of print

    Ny software helt uden programmering. / Kindler, Ekkart.

    In: videnskab.dk, 2010.

    Publication: CommunicationJournal article – Annual report year: 2010

  32. Published

    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, Ekkart; Günther, C.W.

    In: Journal of Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 87-111.

    Publication: Research - peer-reviewJournal article – Annual report year: 2010

  33. 2009
  34. Published

    A framework for the definition of variants of high-level Petri nets. / Kindler, Ekkart; Petrucci, Laure.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  35. Published

    A primer on the Petri Net Markup Language and ISO/IEC 15909-2. / Hillah, L. M.; Kindler, Ekkart; Kordon, F.; Petrucci, L.; Tréves, N.

    In: Petri Net Newsletter, No. 76, 2009, p. 9-28.

    Publication: ResearchJournal article – Annual report year: 2009

  36. Published

    Difference-based Model Synchronization in an Industrial MDD Process. / Könemann, Patrick; Kindler, Ekkart; Unland, Ludger.

    Second European Workshop on Model Driven Tool and Process Integration. ed. / Christian Hein; Tom Ritter; Michael Wagner. Fraunhofer Institute for Open Communication Systems, 2009. p. 1-12.

    Publication: ResearchArticle in proceedings – Annual report year: 2009

  37. Published

    Model-based Software Engineering and Process-Aware Information Systems. / Kindler, Ekkart.

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

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  38. Published

    Modelling Constructs. / Kindler, Ekkart.

    Handbook of Research on Business Process Modeling. ed. / Jorge Cardoso; Wil van der Aalst. Idea Group Publishing, 2009. p. 122-141.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2009

  39. Published

    Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Application and Theory of Petri Nets: 30th International Conference. ed. / Giuliana Franceschinis; Karsten Wolf. Springer, 2009. p. 43-62 (Lecture Notes in Computer Science; No. 5606).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  40. 2008
  41. Published

    Aspect-Oriented Modelling from a Different Angle : Modelling Domains with Aspects. / Kindler, Ekkart; Schmelter, David.

    Aspect-Oriented Modeling: 12th International Workshop on. ACM, 2008. p. 7-12.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  42. Published

    Diff-based model synchronization in an industrial MDD process. / Kindler, Ekkart; Könemann, Patrick; Unland, Ludger.

    Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2008. (IMM-Technical Report-2008-07).

    Publication: Research - peer-reviewReport – Annual report year: 2008

  43. Published

    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, Ekkart; Günther, C.W.

    BPMcenter.org, 2008. 40 p. (BPM Center Report; No. BPM-08-01).

    Publication: ResearchReport – Annual report year: 2008

  44. Published

    Requirements and Evaluation of tool papers for PETRI NETS. / Franceschinis, Giuliana; van Hee, Kees; Kindler, Ekkart; Kordon, Fabrice; Kristensen, Lars M.; Wolf, Karsten.

    In: Petri Net Newsletter, No. 75, 2008, p. 9-18.

    Publication: ResearchJournal article – Annual report year: 2008

  45. Published

    TGGs for Transforming UML to CSP : Contribution to the AGTIVE 2007 Graph Transformation Tools Contest. / Greenyer, Joel; Kindler, Ekkart; Rieke, Jan; Travkin, Oleg.

    Paderborn, Germany : Department of Computer Science, University of Paderborn, 2008. 24 p. (Reihe Informatik; No. tr-ri-08-287).

    Publication: ResearchReport – Annual report year: 2008

  46. 2007
  47. Published

    AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects. / Axenath, Björn; Kindler, Ekkart; Rubin, Vladimir.

    In: International Journal on Business Process Integration and Management, Vol. 2, No. 2, 2007, p. 120-131.

    Publication: Research - peer-reviewJournal article – Annual report year: 2007

  48. Published

    Modelchecking : Eine Methode zur Verbesserung der Softwarequalität. / Gehrke, Matthias; Güldali, Baris; Kindler, Ekkart.

    Paderborn, Germany : s-lab, University of Paderborn, 2007. 29 p. (s-lab Report; No. 2).

    Publication: ResearchReport – Annual report year: 2007

  49. Published

    Modular PNML revisited: Some ideas for strict typing. / Kindler, Ekkart.

    Algorithmen und Werzeuge für Petri Netze. Vol. AWPN 2007 Stephan Philippi and Alexander Pinl. ed. Koblenz, Germany : University of Koblenz-Landau, 2007. p. 20-25.

    Publication: ResearchArticle in proceedings – Annual report year: 2007

  50. Published

    Reconciling TGGs with QVT. / Greenyer, Joel; Kindler, Ekkart.

    Model Driven Engineering Languages and Systems: MoDELS 2007. Vol. LNCS 4735 Berlin / Heidelberg : Springer, 2007. p. 16-30.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word