From

Institution

Field

Type

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

Reset

Papers matching “verification tools” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, +2 more

7

citations
Toward the Application of Multiaxial Failure Criteria: Mean Stress Sensitivity of Carbide‐Rich, High‐Alloy PM‐HIP Tool Steels Under Axial and Torsional Cyclic Loading
2026 steel research international article Engineering Fatigue and fracture mechanics Open access

Lennart Mirko Scholl, Frederik Tegeder, Tobias Hajeck, Alexander Bezold, Christoph Broeckmann

1

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
A clinical guide to assessment of navigation impairment: Standardized subjective and objective instruments and normative data
2022 Journal of Clinical and Experimental Neuropsychology article Engineering Spatial Cognition and Navigation Open access

Ineke J.M. van der Ham, Michiel H.G. Claessen

8

citations
Modular design workflow for 3D printable bioresorbable patient-specific bone scaffolds: extended features and clinical validation
2024 Frontiers in Bioengineering and Biotechnology article Engineering Anatomy and Medical Technology Open access

Buddhi Herath, Markus Laubach, Sinduja Suresh, Beat Schmutz, Judith Paige Little, Prasad K.D.V. Yarlagadda, +4 more

5

citations
Methodology for automated and computer-aided work plan generation using voxel-based accessibility analysis through reinforcement learning in one-off manufacturing
2024 Procedia CIRP article Engineering Manufacturing Process and Optimization Open access

Tammo Dannen, Christian Lürken, Philipp Niemietz, Thomas Bergs

1

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

7 results