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. [HNZ+23]
    G. Hoepfner, I. Nachmann, T. Zerwas, J. K. Berroth, J. Kohl, C. Guist, B. Rumpe, G. Jacobs:
    In: Journal of Computing and Information Science in Engineering (JCISE), Volume 23(5), The American Society of Mechanical Engineers (ASME), Mar. 2023.
  2. [BBK+22b]
    V. Bertram, M. Boß, E. Kusmenko, I. Nachmann, B. Rumpe, D. Trotta, L. Wachtmeister:
    In: International Conference on Software Language Engineering (SLE’22), pp. 260-265, ACM, Dec. 2022.
  3. [BBK+22a]
    V. Bertram, M. Boß, E. Kusmenko, I. H. Nachmann, B. Rumpe, D. Trotta, L. Wachtmeister:
    Art. 2211.09084, arXiv, Nov. 2022.
  4. [MNN+22]
    J. Michael, I. Nachmann, L. Netz, B. Rumpe, S. Stüber:
    In: Modellierung 2022, pp. 33-48, Gesellschaft für Informatik, Jun. 2022.
  5. [NRSS22]
    I. Nachmann, B. Rumpe, M. Stachon, S. Stüber:
    In: Modellierung 2022, pp. 111-127, Gesellschaft für Informatik, Jun. 2022.
  1. [DMM+22]
    I. Drave, J. Michael, E. Müller, B. Rumpe, S. Varga:
    In: Springer Nature Computer Science Journal, Volume 3, Art. 479, Springer, Nov. 2022.
  2. [DGM+21]
    I. Drave, A. Gerasimov, J. Michael, L. Netz, B. Rumpe, S. Varga:
    In: Journal of Object Technology (JOT), 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: Journal on 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.