Imke Helene Nachmann, M.Sc.

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


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.