Bild

Imke Drave, M.Sc.

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

tel. +49 (241) 80-21358
draveatse-rwth.de

room 4225

Sprechzeiten nach Vereinbarung

Publications

  • [DEKR19] I. Drave, R. Eikermann, O. Kautz, and B. Rumpe. Semantic Differencing of Statecharts for Object-oriented Systems, In: Slimane Hammoudi, Luis Ferreira Pires, Bran Seli\'c, editors, Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'19), pages 274-282, February, 2019, SciTePress.
  • [DGH+18] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, M. Markthaler, B. Rumpe, and A. Wortmann. Model-Based Testing of Software-Based System Functions, In: Conference on Software Engineering and Advanced Applications (SEAA'18), pages 146-153, August, 2018.
  • [DGH+19] I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, E. Kusmenko, M. Markthaler, P. Orth, K. S. Salman, J. Richenhagen, B. Rumpe, C. Schulze, M. Wenckstern, and A. Wortmann. SMArDT modeling for automotive software testing, Rajkumar Buyya, Judith Bishop, Kendra Cooper, Richard Jonas, Agostino Poggi, Satish Srirama, editors, Software: Practice and Experience, 49, pages 301-328, February, 2019.
  • [DHH+20] I. Drave, T. Henrich, K. Hölldobler, O. Kautz, J. Michael, and B. Rumpe. Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen, In: Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr, editors, Modellierung 2020, pages 173-188, February, 2020, Gesellschaft für Informatik e.V..
  • [DKMR19] I. Drave, O. Kautz, J. Michael, and B. Rumpe. Semantic Evolution Analysis of Feature Models, In: Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi, editors, International Systems and Software Product Line Conference (SPLC'19), pages 245-255, September, 2019, ACM.