Ekkart Kindler

  1. 2014
  2. 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

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

  4. 2013
  5. 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

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

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

  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. 2012
  10. 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

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

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

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

Previous 1 2 3 4 Next
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