A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “SysML v2” 3

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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

3 results