From

Institution

Field

Type

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

Reset

Papers matching “model checking” 60

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Extending - information delivery specification - for linking distributed model checking services
2023 Computing in construction conference-paper Engineering BIM and Construction Integration Open access

Noemi Christine Kremer Noemi Christine Kremer, Jakob Beetz

10

citations
A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis
2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Waqar Ahmad, Osman Hasan

0

citations
Multi-Agent Software Development for Automotive Model-Based Graphical Programming
2026 IEEE Access article Engineering Safety Systems Engineering in Autonomy Open access

Abdelrahman Said Abdalla, Vincent Thie, Joschka Schaub, Markus Eisenbarth, Sung-Yong Lee, Jakob Andert

0

citations
Multi-Agent Software Development for Automotive Model-Based Graphical Programming
2026 SSRN Electronic Journal preprint Engineering Safety Systems Engineering in Autonomy Open access

Abdelrahman Said Abdalla, Vincent Thie, Joschka Schaub, Markus Eisenbarth, S. H. Lee, Jakob Andert

0

citations
A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools
2022 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Engineering Digital Transformation in Industry

Björn Otto, Tobias Kleinert

8

citations
Lessons Learned from a Field Study on Deep-Learning-Based Model Predictive Control for Optimizing the Operation of Façade Ventilation Units
2025 Building Simulation Conference proceedings conference-paper Engineering Building Energy and Comfort Optimization Open access

Clara-Larissa Lorenz, Oliver Abele, Jérôme Frisch, Christoph van Treeck

0

citations
Novel uniaxial and biaxial reverse experiments for material parameter identification in an advanced anisotropic cyclic plastic-damage model
2025 Mechanics of Materials article Engineering Metal Forming Simulation Techniques Open access

Zhichao Wei, Steffen Gerke

14

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
Enabling automated checking of information in factory planning with ontologies – a case study
2022 Procedia CIRP article Engineering BIM and Construction Integration Open access

Matthias Ebade Esfahani, Peter Burggräf, Tobias Adlon, Stephan Matoni

2

citations
Achieving parametric transparency in model-based factory planning
2021 Production Engineering article Engineering BIM and Construction Integration Open access

Peter Burggräf, Thomas Bergs, Matthias Dannapfel, Andreas Korff, Matthias Ebade Esfahani, Antonia Splettstoesser, +1 more

5

citations
Evaluating railway junction infrastructure: A queueing-based, timetable-independent analysis
2024 Transportation Research Part C Emerging Technologies article Engineering Railway Systems and Energy Efficiency Open access

Tamme Emunds, Nils Nießen

7

citations
Queueing-based methods for timetable-independent performance analysis of railway nodes
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Railway Systems and Energy Efficiency Open access

Tamme Emunds

0

citations
Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs
2021 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) conference-paper Engineering Reliability and Maintenance Optimization

Shahid Ali Khan, Joost-Pieter Katoen

1

citations
Approximation von Bediensystemen zur Leistungsfähigkeitsbestimmung von Eisenbahninfrastruktur in Bahnhöfen
2026 RWTH Publications (RWTH Aachen) article Engineering Railway Systems and Energy Efficiency Open access

Tamme Emunds, Nils Nießen

0

citations
Modeling Hardware and Software Integration by an Advanced Digital Twin for Cyber-physical Systems: Applied to the Automotive Domain
2023 Springer eBooks book-chapter Engineering Systems Engineering Methodologies and Applications

Stefan Kriebel, Matthias Markthaler, Christian Granrath, Johannes Richenhagen, Bernhard Rumpe⋆

2

citations
Modeling Hardware and Software Integration by an Advanced Digital Twin for Cyber-Physical Systems: Applied to the Automotive Domain
2022 Springer eBooks book-chapter Engineering Systems Engineering Methodologies and Applications

Stefan Kriebel, Matthias Markthaler, Christian Granrath, Johannes Richenhagen, Bernhard Rumpe⋆

1

citations
Multi-Domain Thermal Comfort Models for Office Buildings: Are Current Practices Scalable? (Dataset)
2022 TU/e Research Portal dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset)
2023 TU/e Research Portal dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

1

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.0)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Mechanical concept development using principle solution models
2021 IOP Conference Series Materials Science and Engineering conference-paper Engineering Systems Engineering Methodologies and Applications Open access

Thilo Zerwas, Georg Jacobs, Kathrin Spütz, Gregor Höpfner, Imke Drave, Joerg Berroth, +4 more

38

citations
Virgin Passive Colon Biomechanics and a Literature Review of Active Contraction Constitutive Models
2022 Biomechanics article Engineering Elasticity and Material Modeling Open access

Aroj Bhattarai, Andreas J. Horbach, Manfred Staat, Wojciech Kowalczyk, Thanh Ngọc Trần

3

citations
Monitoring of b0 Drift in a 47 mT Halbach Low-Field MRI Scanner - Dataset
2026 Zenodo (CERN European Organization for Nuclear Research) article Engineering Magnetic Field Sensors Techniques Open access

Marcel Ochsendorf, Lukas Bierbüsse

0

citations
Bryne: sustainable prototyping of finite element models - Software release
2025 Zenodo (CERN European Organization for Nuclear Research) software Engineering Advanced Numerical Methods in Computational Mathematics Open access

Benjamin Terschanski, Robert Klöfkorn, Andreas Dedner, Julia Kowalski

1

citations