Ekkart Kindler
- 2007
- Published
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects. / Axenath, Björn; Kindler, Ekkart; Rubin, Vladimir.
In: International Journal on Business Process Integration and Management, Vol. 2, No. 2, 2007, p. 120-131.Publication: Research - peer-review › Journal article – Annual report year: 2007
- Published
Modelchecking : Eine Methode zur Verbesserung der Softwarequalität. / Gehrke, Matthias; Güldali, Baris; Kindler, Ekkart.
Paderborn, Germany : s-lab, University of Paderborn, 2007. 29 p. (s-lab Report; No. 2).Publication: Research › Report – Annual report year: 2007
- Published
Modular PNML revisited: Some ideas for strict typing. / Kindler, Ekkart.
In: Algorithmen und Werzeuge für Petri Netze. Vol. AWPN 2007 Stephan Philippi and Alexander Pinl. ed. Koblenz, Germany : University of Koblenz-Landau, 2007. p. 20-25.Publication: Research › Article in proceedings – Annual report year: 2007
- Published
Reconciling TGGs with QVT. / Greenyer, Joel; Kindler, Ekkart.
In: Model Driven Engineering Languages and Systems: MoDELS 2007. Vol. LNCS 4735 Berlin / Heidelberg : Springer, 2007. p. 16-30.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- 2008
- Published
Aspect-Oriented Modelling from a Different Angle : Modelling Domains with Aspects. / Kindler, Ekkart; Schmelter, David.
In: Aspect-Oriented Modeling: 12th International Workshop on. ACM, 2008. p. 7-12.Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- Published
Diff-based model synchronization in an industrial MDD process. / Kindler, Ekkart; Könemann, Patrick; Unland, Ludger.
Lyngby : DTU Informatics, 2008. (IMM-Technical Report-2008-07).Publication: Research - peer-review › Report – Annual report year: 2008
- 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.; Kindler, Ekkart; Günther, C.W.
BPMcenter.org, 2008. 40 p. (BPM Center Report; No. BPM-08-01).Publication: Research › Report – Annual report year: 2008
- 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: Research › Journal article – Annual report year: 2008
- Published
TGGs for Transforming UML to CSP : Contribution to the AGTIVE 2007 Graph Transformation Tools Contest. / Greenyer, Joel; Kindler, Ekkart; Rieke, Jan; Travkin, Oleg.
Paderborn, Germany : Department of Computer Science, University of Paderborn, 2008. 24 p. (Reihe Informatik; No. tr-ri-08-287).Publication: Research › Report – Annual report year: 2008
- 2009
- Published
A framework for the definition of variants of high-level Petri nets. / Kindler, Ekkart; Petrucci, Laure.
In: Proceedings of the Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09). 2009. p. 121-137.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009