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.

C_007 – Rebar Twin
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering BIM and Construction Integration Open access

Victoria Jung, Sven Stumm, Davide Picchi

0

citations
C_007 – Rebar Twin
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering BIM and Construction Integration Open access

Victoria Jung, Sven Stumm, Davide Picchi

0

citations
Sustainability in Semiconductor Production via Interpretable and Reliable Predictions
2024 IFAC-PapersOnLine article Engineering Fault Detection and Control Systems Open access

Kiavash Fathi, Maria Elena Stramaglia, Marko Ristin, Marcin Sadurski, Tobias Kleinert, Robert Schönfelder, +1 more

0

citations
Test methods for in situ evaluation of vehicle dampers
2020 RWTH Publications (RWTH Aachen) standard Engineering Vehicle Dynamics and Control Systems Open access

2

citations
Multisource-data-fusion for the digitization of critical infrastructural elements
2022 conference-paper Engineering BIM and Construction Integration Open access

Simon Stemmler, Maria Justine Bange, Dominik Merkle, Alexander Reiterer, Katharina Klemt‐Albert, Steffen Marx

7

citations
Leakage of Metallic Ball Seat Valves with Anisotropic Surfaces
2022 Chemical Engineering & Technology article Engineering Tribology and Lubrication Engineering Open access

Felix Justin Fischer, Dariush Bady, Katharina Schmitz

10

citations
Anchorages and laps according to the next‐generation Eurocode 2—Overview and comparison to current provisions
2023 Structural Concrete article Engineering Structural Behavior of Reinforced Concrete Open access

Benjamin Camps, Maximilian Schmidt, Josef Hegger

6

citations
plan4res D2.2 - Case Study 1 Report - Multimodal energy concept for achieving Europe's carbon reduction goals
2021 Zenodo (CERN European Organization for Nuclear Research) report Engineering Integrated Energy Systems Optimization Open access

Dieter Most, Lothar Wyrwoll, Carlo Schmitt, Inci Yueksel-Erguen

4

citations
LLM-driven design of physics-constrained constitutive models: Two agents are better than one
2026 Machine learning for computational science and engineering article Engineering Elasticity and Material Modeling Open access

M. Tacke, M. Busch, Kian Abdolazizi, Jonas Eichinger, Kevin Linka, Roland Can Aydin, +1 more

0

citations
Monitoring in a 47 mT Halbach Low-Field MRI Scanner - Hardware/Software
2026 Zenodo (CERN European Organization for Nuclear Research) software Engineering Magnetic Field Sensors Techniques Open access

Marcel Ochsendorf

0

citations
Monitoring in a 47 mT Halbach Low-Field MRI Scanner - Hardware/Software
2026 Zenodo (CERN European Organization for Nuclear Research) software Engineering Magnetic Field Sensors Techniques Open access

Marcel Ochsendorf

0

citations
Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations
2025 Proceedings of the Annual Conference of the IEEE Industrial Electronics Society conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Michael Winter, Bowen Chen, Tobias Kleinert

1

citations
Concept Development of A System for Evaluating The Validity of Data Exemplified by Structural Data of Existing Bridges in Germany
2024 Creative Construction Conference (CCC) conference-paper Engineering BIM and Construction Integration Open access

Sophie Kalisch, Jan‐Iwo Jäkel, Katharina Klemt‐Albert

0

citations
Calendar Aging of Lithium-Ion Batteries: Investigating the Influence of Electrolyte Additives in Open-Circuit and Floating State-of-Charge Conditions
2023 ECS Meeting Abstracts conference-abstract Engineering Advanced Battery Technologies Research

Karsten Geuder, Sebastian Klick, Sascha Nowak, Hans Jürgen Seifert, Carlos Ziebert

0

citations
Online capability-based resource allocation for on-site construction operations utilizing digital twin models
2021 Construction Robotics article Engineering BIM and Construction Integration Open access

Sören Münker, Peter R. Wildemann, Amon Göppert, Sigrid Brell‐Çokcan, Robert Heinrich Schmitt

15

citations
Development of a voxelization tool for the calculation of vector-based workpiece representations
2021 Procedia CIRP article Engineering Manufacturing Process and Optimization Open access

Thomas Bergs, Oliver Henrichs, Marcel Wilms, Marcel Prümmer, Kristian Arntz

5

citations
A Digital Perspective on Machine Tool Calibration
2020 International Journal of Automation Technology article Engineering Advanced Measurement and Metrology Techniques Open access

Benjamin Montavon, Philipp Dahlem, Martin Peterek, Robert Heinrich Schmitt

5

citations
Suitability of CAD-based Disassembly Sequence Plans for Flexible Remanufacturing
2023 Procedia CIRP article Engineering Manufacturing Process and Optimization Open access

Sören Münker, Amon Göppert, Robert Heinrich Schmitt

4

citations
Vergleich von Simulation und Messung am Prototyp eines sphärischen Schlittenantriebes
2022 Logos Verlag Berlin eBooks book-chapter Engineering Robotic Mechanisms and Dynamics Open access

Luise Brinster, Maik Berger

0

citations
Modelling of waste heat integration into an existing district heating network operating at different supply temperatures
2023 Smart Energy article Engineering Integrated Energy Systems Optimization Open access

Jan Stock, Felix Arjuna, André Xhonneux, Dirk Müller

40

citations
Integrating deep learning and rule-based systems into a smart devices decision support system for visual inspection in production
2022 Procedia CIRP article Engineering Industrial Vision Systems and Defect Detection Open access

Hendrik Mende, Faruk Ibrahim, Robert Heinrich Schmitt

14

citations
Realization of a Shared Manufacturing Network using Capabilities, Skills and Services
2025 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry

Marco Simon, Michael Winter, Aljosha Köcher

2

citations
Digital Life‐Cycle and Asset‐Management for Steel Bridges
2023 ce/papers article Engineering Structural Health Monitoring Techniques Open access

Achim Geβler, Benno Hoffmeister, Thorben Geers

0

citations
A survey on the Traveling Salesman Problem and its variants in a warehousing context
2024 European Journal of Operational Research article Engineering Vehicle Routing Optimization Methods Open access

Stefan Bock, Stefan Bomsdorf, Nils Boysen, Michael Schneider

38

citations
Long‐term in vitro persistence of magnetic properties after magnetic bead‐based cell separation of T cells
2020 Scandinavian Journal of Immunology article Engineering Characterization and Applications of Magnetic Nanoparticles Open access cited by 1 patent

Aicha Laghmouchi, Conny Hoogstraten, J.H. Frederik Falkenburg, Inge Jedema

25

citations