Software Engineering

  1. 2013
  2. 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-reviewJournal article – Annual report year: 2012

  3. 2012
  4. Published

    An ECNO semantics for Petri nets. / Kindler, Ekkart.

    In: Petri Net Newsletter, No. 81, 2012, p. 3–16.

    Publication: Research - peer-reviewJournal article – Annual report year: 2012

  5. 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-reviewBook – Annual report year: 2012

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

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

  8. Published

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

    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-reviewBook chapter – Annual report year: 2012

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

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

  11. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

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

  12. Published

    On the dimensions of software documents — An idea for framing the software engineering process.. / Kindler, Ekkart; Baumeister, Hubert; Haxthausen, Anne Elisabeth; Kiniry, Joseph.

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

Previous 1 2 3 4 5 6 7 8 Next
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