Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
- 2013
- Published
Towards Clone Detection in UML Domain Models. / Störrle, Harald.
In: Software and Systems Modeling, Vol. 12, No. 2, 2013, p. 307-329.Publication: Research - peer-review › Journal article – Annual report year: 2011
- 2012
- Published
An ECNO semantics for Petri nets. / Kindler, Ekkart.
In: Petri Net Newsletter, No. 81, 2012, p. 3–16.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.
In: Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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-review › Book – Annual report year: 2012
- 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
Evaluation of the industrial internship for the Diploma IT programme at DTU. / Nyborg, Mads; Høgh, Stig; Lauridsen, Pia.
In: 8th International CDIO Conference. 2012.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
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.
In: 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-review › Book chapter – Annual report year: 2012
- Published
On the dimensions of software documents — An idea for framing the software engineering process.. / Kindler, Ekkart; Baumeister, Hubert; Haxthausen, Anne Elisabeth; Kiniry, Joseph.
In: 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-review › Article in proceedings – 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
Prediction and optimization methods for electric vehicle charging schedules in the EDISON project. / Aabrandt, Andreas; Andersen, Peter Bach; Pedersen, Anders Bro; You, Shi; Poulsen, Bjarne; O'Connell, Niamh; Østergaard, Jacob.
In: 2012 IEEE PES Innovative Smart Grid Technologies (ISGT). IEEE, 2012.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 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: Research › Report – Annual report year: 2012
- Published
The Event Coordination Notation: Execution Engine and Programming Framework. / Kindler, Ekkart.
In: BM-FA '12 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications . Association for Computing Machinery, 2012. p. 8.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems. / Peleska, Jan; Feuser, Johannes; Haxthausen, Anne Elisabeth.
In: Railway Safety, Reliability and Security: Technologies and System Engineering. IGI global, 2012. p. 22-52.Publication: Research - peer-review › Book chapter – 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
- 2011
- 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
CDIO Projects in DTU’s B.Eng. in IT Study Program. / Sparsø, Jens; Bolander, Thomas; Fischer, Paul; Hansen, Thomas Kjærgård; Høgh, Stig; Nyborg, Mads; Probst, Christian W.; Todirica, Edward Alexandru.
In: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Developing Open Source System Expertise in Europe. / Nyborg, Mads; Gustafsson, Finn; Christensen, Jørgen Erik.
In: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011. Lyngby : Technical University of Denmark, 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- Published
Effective Development and Verification of Railway Control Software. / Haxthausen, Anne Elisabeth.
2011.Publication: Research › Report – 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
Expressing Model Constraints Visually with VMQL. / Störrle, Harald.
In: 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2011. p. 195-202 (Uden navn).Publication: Research - peer-review › Article in proceedings – 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
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
- 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: Research › Ph.d. thesis – Annual report year: 2011
- Published
Is micro-CHP price controllable under price signal controlled Virtual Power Plants?. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.
In: Innovative Smart Grid Technologies (ISGT), 2011 IEEE PES. IEEE, 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011