From

Institution

Field

Type

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

Reset

Papers matching “program correctness” 8

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Reconstructing North Korea’s plutonium production history with Bayesian inference-based reprocessing waste analysis
2025 Nuclear Engineering and Technology article Engineering Nuclear reactor physics and engineering Open access

Benjamin Jung, Johannes Bosse, Malte Göttsche

0

citations
The Ouroboros of Memristors: Neural Networks Facilitating Memristor Programming
2023 Neuronics Conference conference-paper Engineering Advanced Memory and Neural Computing

Zhenming Yu, Ming-Jay Yang, Jan Finkbeiner, Sebastian Siegel, John Paul Strachan, Emre Neftci

0

citations
Accurate Stitch Position Identification of Sewn Threads in Textiles
2020 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Industrial Vision Systems and Defect Detection cited by 2 patents

Tarek Stiebel, Oliver Rippel, Jonas Osburg, Volker Lutz, Thomas Gries, Dorit Merhof

1

citations
Mechanical circulatory support in the failing systemic right ventricle: a step towards better outcome
2022 European Journal of Cardio-Thoracic Surgery article Engineering Mechanical Circulatory Support Devices Open access

David R. Koolbergen

1

citations
Effects of Extra-Framework Metal Centers on Zeolite-Based NH3-Sensors for Exhaust Gas Abatement
2020 ECS Meeting Abstracts conference-abstract Engineering Gas Sensing Nanomaterials and Sensors

Valentina Rizzotto, Ulrich Simon

1

citations
State estimation and predictive trajectory tracking control for multirotors in inspection tasks
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Aerospace Engineering and Control Systems Open access

Thomas Konrad

0

citations
Pilot set-up & test specifications
2022 Zenodo (CERN European Organization for Nuclear Research) article Engineering Microgrid Control and Optimization Open access

M. Cresta, Alberto Dognini, Staffan Norga, Stefan Costea, Marco Paulucci, Federico Carere

0

citations
Road Noise Improvement of a Passenger Vehicle through End-to-End CAE-Simulation Using Transfer Path Analysis (TPA) Approach
2026 SAE technical papers on CD-ROM/SAE technical paper series conference-paper Engineering Vehicle Noise and Vibration Control

Mihir Vijay Mahajani, Fabio Nascimento, Kodidela Adinarayana Reddy, Mahantesh Matyal, Irappa Tenagi, Chenna Sardar

0

citations

8 results