Software Engineering

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

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

  3. Published

    Integrating Behaviour in Software Models: An Event Coordination Notation : Concepts and Prototype. / Kindler, Ekkart.

    BM-FA '11 Proceedings of the Third Workshop on Behavioural Modelling. New York : ACM, 2011. p. 41-48.

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

  4. 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: ResearchPh.D. thesis – Annual report year: 2011

  5. Published

    Is micro-CHP price controllable under price signal controlled Virtual Power Plants?. / You, Shi; Træholt, Chresten; Poulsen, Bjarne.

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

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

  6. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11). 2011. p. 42-56 (CEUR Workshop Proceedings; No. 723).

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

  7. Published

    On the impact of layout quality to understanding UML diagrams. / Störrle, Harald.

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

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

  8. Published

    On the use of Pragmatics for Model-based Development of Protocol Software. / Simonsen, Kent Inge.

    2011. Paper presented at International Workshop on Petri Nets and Software Engineering (PNSE 2012), Newcastle upon Tyne, United Kingdom.

    Publication: Research - peer-reviewPaper – Annual report year: 2011

  9. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

    Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

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

  10. Published

    The Third Workshop on Behaviour Modelling - Foundations and Applications. / Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Aksit, Mehmet.

    Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, 2011. p. 381-382 (Lecture Notes in Computer Science; No. 6698).

    Publication: ResearchArticle in proceedings – Annual report year: 2011

  11. Published

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.

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