SE@RWTH : Staff : Imke Nachmann

Imke Helene Nachmann, M.Sc.

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

tel. +49 (241) 80-21358
nachmann

se-rwth.de

room 4225

Sprechzeiten nach Vereinbarung

Research Areas

Functional Systems Modeling

Model-Driven Systems Engineering

Formal Methods in Software and Systems Engineering

Publications

[DGM+21] I. Drave, A. Gerasimov, J. Michael, L. Netz, B. Rumpe, and S. Varga. A Methodology for Retrofitting Generative Aspects in Existing Applications, Alfonso Pierantonio, editor, Journal of Object Technology, 20, pages 1-24, November, 2021.
[HJZ+21] G. Hoepfner, G. Jacobs, T. Zerwas, I. Drave, J. Berroth, C. Guist, B. Rumpe, and J. Kohl. Model-Based Design Workflows for Cyber-Physical Systems Applied to an Electric-Mechanical Coolant Pump, In: Georg Jacobs, Sebastian Stein, editors, IOP Conference Series: Materials Science and Engineering, 1097:012004, Feburary, 2021, IOP Publishing.
[ZJS+21] T. Zerwas, G. Jacobs, K. Spuetz, G. Hoepfner, I. Drave, J. Berroth, C. Guist, C. Konrad, B. Rumpe, and J. Kohl. Mechanical Concept Development Using Principle Solution Models, In: Georg Jacobs, Sebastian Stein, editors, IOP Conference Series: Materials Science and Engineering, 1097:012001, Feburary, 2021, IOP Publishing.
[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..
[DKMR20] I. Drave, O. Kautz, J. Michael, and B. Rumpe. Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software Development, Technical report AIB-2020-05, RWTH Aachen University, May, 2020.
[DRW+20] I. Drave, B. Rumpe, A. Wortmann, J. Berroth, G. Hoepfner, G. Jacobs, K. Spuetz, T. Zerwas, C. Guist, and J. Kohl. Modeling Mechanical Functional Architectures in SysML, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 79-89, October, 2020, ACM.
[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+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.
[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.
[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.