Ekkart Kindler

  1. 2017
  2. Published

    Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017. / Kindler, Ekkart (Editor); Bergenthum, Robin (Editor).

    DTU Compute, 2017. 70 p. (DTU Compute-Technical Report-2017, Vol. 06).

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

  3. 2016
  4. Published

    Pragmatics annotated coloured petri nets for protocol software generation and verification. / Simonsen, Kent Inge Fagerland; Kristensen, Lars M.; Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency XI. ed. / Maciej Koutny; Jörg Desel; Jetty Kleijn. Springer, 2016. p. 1-27 (Lecture Notes in Computer Science, Vol. 9930).

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

  5. 2015
  6. Published

    Application and Theory of Petri Nets and Other Models of Concurrency : Special Issue of Selected Papers from Petri Nets 2014. / Ciardo, Gianfranco; Kindler, Ekkart; Penczek, Wojciech.

    In: Fundamenta Informaticae, Vol. 140, No. 1, 2015, p. V-VI.

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

  7. Published

    Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers. / Roubtsova, Ella (Editor); McNeile, Ashley (Editor); Kindler, Ekkart (Editor); Gerth, Christian (Editor).

    Springer, 2015. 279 p. (Lecture Notes in Computer Science, Vol. 6368).

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

  8. Published

    Bx 2015 — Bidirectional Transformations : Proceedings of the 4th International Workshop on Bidirectional Transformations. / Cunha, Alcino (Editor); Kindler, Ekkart (Editor).

    2015. 95 p. (CEUR Workshop Proceedings, Vol. 1396).

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

  9. Published

    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 (DTU), 2015. 296 p. (DTU Compute PHD-2014; No. 345).

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

  10. Published

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

    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). ed. / Daniel Moldt; Heiko Rölke; Harald Störrle. 2015. p. 79-98 (CEUR Workshop Proceedings, Vol. 1372).

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

  11. Published

    The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse. / Jepsen, Jesper; Kindler, Ekkart.

    Revised Selected Papers of the International Workshops on Behavior Modeling – Foundations and Applications (BM-FA 2009-2014). ed. / Ella Roubtsova; Ashley McNeile; Ekkart Kindler; Christian Gerth. Springer, 2015. p. 133-164 (Lecture Notes in Computer Science, Vol. 6368).

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

  12. 2014
  13. 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

  14. 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

Previous 1 2 3 4 5 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word