Software Engineering

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

    2012 IEEE PES Innovative Smart Grid Technologies (ISGT). IEEE, 2012.

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

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

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

  5. Published

    The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems. / Peleska, Jan; Feuser, Johannes; Haxthausen, Anne Elisabeth.

    Railway Safety, Reliability and Security: Technologies and System Engineering. IGI global, 2012. p. 22-52.

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

  6. 2011
  7. 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-reviewJournal article – Annual report year: 2010

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

    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-reviewArticle in proceedings – Annual report year: 2011

  9. Published

    Developing Open Source System Expertise in Europe. / Nyborg, Mads; Gustafsson, Finn; Christensen, Jørgen Erik.

    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-reviewArticle in proceedings – Annual report year: 2011

  10. Published

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

    2011.

    Publication: ResearchReport – Annual report year: 2011

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

  12. Published

    Expressing Model Constraints Visually with VMQL. / Störrle, Harald.

    2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, 2011. p. 195-202 (Uden navn).

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

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