Software Engineering

  1. Research › Journal article
  2. Published

    Requirements and Evaluation of tool papers for PETRI NETS. / Franceschinis, Giuliana; van Hee, Kees; Kindler, Ekkart; Kordon, Fabrice; Kristensen, Lars M.; Wolf, Karsten.

    In: Petri Net Newsletter, No. 75, 2008, p. 9-18.

    Publication: ResearchJournal article – Annual report year: 2008

  3. Published

    Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars. / Greenyer, Joel; Kindler, Ekkart.

    In: Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 21-46.

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

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

  5. Published

    Developing a Domain Model for Relay Circuits. / Haxthausen, Anne Elisabeth.

    In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 241-272.

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

  6. Published

    A primer on the Petri Net Markup Language and ISO/IEC 15909-2. / Hillah, L. M.; Kindler, Ekkart; Kordon, F.; Petrucci, L.; Tréves, N.

    In: Petri Net Newsletter, No. 76, 2009, p. 9-28.

    Publication: ResearchJournal article – Annual report year: 2009

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

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

  9. Published

    VMQL: A Visual Language for Ad-Hoc Model Querying. / Störrle, Harald.

    In: Journal of Visual Languages and Computing, Vol. 22, No. 1, 2011, p. 3-29.

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

  10. Published

    Process mining : A two-step approach to balance between underfitting and overfitting. / van der Aalst, W.M.P.; Rubin, V.; Verbeek, H.M.W.; van Dongen, B.F.; Kindler, Ekkart; Günther, C.W.

    In: Journal of Software and Systems Modeling, Vol. 9, No. 1, 2010, p. 87-111.

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

  11. Research › Book
  12. 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

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