Imke Helene Nachmann, M.Sc.

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

+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:

  1. [DMM+22]
    I. Drave, J. Michael, E. Müller, B. Rumpe, S. Varga:
    In: Springer Nature Computer Science, Springer, Nov. 2022.
  2. [DGM+21]
    I. Drave, A. Gerasimov, J. Michael, L. Netz, B. Rumpe, S. Varga:
    In: Journal of Object Technology, A. Pierantonio (Eds.), Volume 20, pp. 1-24, AITO - Association Internationale pour les Technologies Objets, Nov. 2021.
  3. [ZJS+21]
    T. Zerwas, G. Jacobs, K. Spuetz, G. Hoepfner, I. Drave, J. Berroth, C. Guist, C. Konrad, B. Rumpe, J. Kohl:
    In: IOP Conference Series: Materials Science and Engineering, G. Jacobs, S. Stein (Eds.), Volume 1097:012001, IOP Publishing, Feb. 2021.
  4. [HJZ+21]
    G. Hoepfner, G. Jacobs, T. Zerwas, I. Drave, J. Berroth, C. Guist, B. Rumpe, J. Kohl:
    In: IOP Conference Series: Materials Science and Engineering, G. Jacobs, S. Stein (Eds.), Volume 1097:012004, IOP Publishing, Feb. 2021.
  5. [DRW+20]
    I. Drave, B. Rumpe, A. Wortmann, J. Berroth, G. Hoepfner, G. Jacobs, K. Spuetz, T. Zerwas, C. Guist, J. Kohl:
    In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 79-89, ACM, Oct. 2020.
  6. [DKMR20]
    I. Drave, O. Kautz, J. Michael, B. Rumpe:
    RWTH Aachen University, AIB-2020-05, Technical Report, May 2020.
  7. [DHH+20]
    I. Drave, T. Henrich, K. Hölldobler, O. Kautz, J. Michael, B. Rumpe:
    In: Modellierung 2020, D. Bork, D. Karagiannis, H. C. Mayr (Eds.), pp. 173-188, Gesellschaft für Informatik e.V., Feb. 2020.
  8. [DKMR19]
    I. Drave, O. Kautz, J. Michael, B. Rumpe:
    In: International Systems and Software Product Line Conference (SPLC’19), T. Berger, P. Collet, L. Duchien, T. Fogdal, P. Heymans, T. Kehrer, J. Martinez, R. Mazo, L. Montalvillo, C. Salinesi, X. Tërnava, T. Thüm, T. Ziadi (Eds.), pp. 245-255, ACM, Sep. 2019.
  9. [DEKR19]
    I. Drave, R. Eikermann, O. Kautz, B. Rumpe:
    In: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD’19), S. Hammoudi, L. F. Pires, B. Selić (Eds.), pp. 274-282, SciTePress, Feb. 2019.
  10. [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, A. Wortmann:
    In: Software: Practice and Experience, R. Buyya, J. Bishop, K. Cooper, R. Jonas, A. Poggi, S. Srirama (Eds.), Volume 49(2), pp. 301-328, Wiley Online Library, Feb. 2019.
  11. [DGH+18]
    I. Drave, T. Greifenberg, S. Hillemacher, S. Kriebel, M. Markthaler, B. Rumpe, A. Wortmann:
    In: Conference on Software Engineering and Advanced Applications (SEAA’18), pp. 146-153, Aug. 2018.