From

Institution

Field

Type

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

Reset

Papers matching “model checking” 27

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
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
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
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
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
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
Characterization of nanoscale gratings by spectroscopic reflectometry in the extreme ultraviolet with a stand-alone setup
2020 Optics Express article Engineering Advancements in Photolithography Techniques Open access

Lukas Bahrenberg, Serhiy Danylyuk, Sven Glabisch, Moein Ghafoori, Sophia Schröder, Sascha Brose, +2 more

16

citations
Effects of path accuracy on additively manufactured specimens by laser material deposition using six-axis robots
2021 Journal of Laser Applications article Engineering Additive Manufacturing Materials and Processes Open access

Jan Bremer, Philipp Walderich, Norbert Pirch, Johannes Henrich Schleifenbaum, Andrés Gasser, Thomas Schopphoven

14

citations
On Optimal Tendon Routing-Based Design of Biologically Inspired Underactuated Hand Exoskeleton for Gross Grasping
2024 IEEE Transactions on Medical Robotics and Bionics article Engineering Prosthetics and Rehabilitation Robotics

Vitthal Khatik, Anupam Saxena

12

citations