Software Engineering

  1. Research › Book
  2. 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

  3. Research › Report
  4. Published

    An Introduction to Formal Methods for the Development of Safety-critical Applications. / Haxthausen, Anne Elisabeth.

    Kgs. Lyngby, Denmark, 2010. 32 p.

    Publication: ResearchReport – Annual report year: 2010

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

  6. Published

    Effective Development and Verification of Railway Control Software. / Haxthausen, Anne Elisabeth.

    2011.

    Publication: ResearchReport – Annual report year: 2011

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

  8. Published

    Integrating a Decision Management Tool with UML Modeling Tools. / Könemann, Patrick.

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

    Publication: ResearchReport – Annual report year: 2009

  9. Published

    Model-Independent Diffs. / Könemann, Patrick.

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

    Publication: ResearchReport – Annual report year: 2008

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

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

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

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