Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 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-review › Paper – Annual report year: 2012
- Published
Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael .
2012. Paper presented at 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2012), Essen, Germany.Publication: Research - peer-review › Paper – Annual report year: 2012
- Published
On the Impact of Layout Quality to Understanding UML Diagrams: Diagram Type and Expertise. / Störrle, Harald.
In: 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2012. p. 49-56 .Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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: Research › Book – Annual report year: 2012
- Published
A Formal Approach for the Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth; Peleska, Jan; Kinder, Sebastian.
In: Formal Aspects of Computing, Vol. 23, No. 2, 2011, p. 191-219.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Effective Development and Verification of Railway Control Software. / Haxthausen, Anne Elisabeth.
2011.Publication: Research › Report – Annual report year: 2011
- Published
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie.
In: FM 2011: Formal Methods: 17th International Symposium on Formal Methods Limerick, Ireland, June 20-24, 2011 Proceedings. Springer, 2011. p. 118-132 (Lecture Notes in Computer Science; No. 6664).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.
In: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
ePNK: A generic PNML tool - Users' and Developers' Guide : version 0.9.1. / Kindler, Ekkart.
Kgs. Lyngby, Denmark : DTU Informatics, Building 321, 2011. (IMM-Technical Report-2011-03).Publication: Research › Report – Annual report year: 2011
- Published
Integrating Behaviour in Software Models: An Event Coordination Notation : Concepts and Prototype. / Kindler, Ekkart.
In: BM-FA '11 Proceedings of the Third Workshop on Behavioural Modelling. New York : ACM, 2011. p. 41-48.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011