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 “underspecification” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

How does your model represent the system? A note on model fidelity, underspecification, and uncertainty
2024 Software & Systems Modeling article Decision Sciences Simulation Techniques and Applications Open access

Benoît Combemale, Jeff Gray, Jean‐Marc Jezéquél, Bernhard Rumpe⋆

7

citations
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

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

1

citations
MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety
2020 AIAA Scitech 2020 Forum conference-paper Computer Science Formal Methods in Verification

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

5

citations
Reflection on the differences between modeling and programming
2022 Software & Systems Modeling editorial Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

0

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Open access

0

citations

5 results