From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “SysML v2” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Generating SysML V2 Models from Natural Language Requirements Using Large Language Models
2025 IEEE International Symposium on Systems Engineering conference-paper Engineering Systems Engineering Methodologies and Applications

Simon Dehn, Simon Schnürer, Georg Jacobs, Gregor Höpfner

2

citations
SysML v2 based modelling guidelines for mechanical system elements
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Matthias May, Georg Jacobs, Manuel Mennicken, Frederik Moers, Thilo Zerwas, Gregor Höpfner

7

citations
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations
AI-Based Formalization of Natural Language Requirements into SysML V2 for Model-Based Systems Engineering
2026 Annual System of Systems Engineering Conference (SoSE) conference-paper Engineering Systems Engineering Methodologies and Applications

Simon Dehn, Simon Schnürer, Georg Jacobs, Frederik Moers

0

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
Correct and Sustainable Development Using Model-based Engineering and Formal Methods
2022 IEEE/AIAA Digital Avionics Systems Conference (DASC) conference-paper Computer Science Formal Methods in Verification

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

6

citations

6 results