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:
    Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems.
    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:
    Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE.
    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:
    Technical Report on Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE.
    Art. 2211.09084, arXiv, Nov. 2022.
  4. [MNN+22]
    J. Michael, I. Nachmann, L. Netz, B. Rumpe, S. Stüber:
    Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines.
    In: Modellierung 2022, pp. 33-48, Gesellschaft für Informatik, Jun. 2022.
  5. [NRSS22]
    I. Nachmann, B. Rumpe, M. Stachon, S. Stüber:
    Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.
    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:
    Model-Driven Engineering of Process-Aware Information Systems.
    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:
    A Methodology for Retrofitting Generative Aspects in Existing Applications.
    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:
    Mechanical Concept Development Using Principle Solution Models.
    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:
    Model-Based Design Workflows for Cyber-Physical Systems Applied to an Electric-Mechanical Coolant Pump.
    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:
    Modeling Mechanical Functional Architectures in SysML.
    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:
    Pre-Study on the Usefulness of Difference Operators for Modeling Languages in Software Development.
    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:
    Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen.
    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:
    Semantic Evolution Analysis of Feature Models.
    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:
    Semantic Differencing of Statecharts for Object-oriented Systems.
    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:
    SMArDT modeling for automotive software testing.
    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:
    Model-Based Testing of Software-Based System Functions.
    In: Conference on Software Engineering and Advanced Applications (SEAA’18), pp. 146-153, Aug. 2018.