From

Institution

Field

Type

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

Reset

Papers matching “verification tools” 8

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Mehrskalige Modellierung des Schädigungs- und Bruchverhaltens nanostrukturierter Schichten
2020 RWTH Publications (RWTH Aachen) dissertation Engineering Metal and Thin Film Mechanics Open access

Shahed Rezaei

0

citations
Quantitative single-cell analysis using deep learning based smart live-cell microscopy
2025 RWTH Publications (RWTH Aachen) dissertation Biochemistry, Genetics and Molecular Biology Cell Image Analysis Techniques Open access

Johannes Seiffarth

0

citations
Data Analysis for Distributed Services: Web Application for Process Discovery
2020 Zenodo (CERN European Organization for Nuclear Research) dissertation Business, Management and Accounting Business Process Modeling and Analysis Open access

0

citations
Lernende Prozesskraftmodellierung zur Planung und Überwachung in der Einzelteilfertigung für Fräsanwendungen; 1. Auflage
2025 dissertation Engineering Advanced machining processes and optimization Open access

Marian Wiesch

0

citations
On isotopic ratio signatures for nuclear archaeology : a Bayesian approach for verifying fissile material declarations
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Nuclear reactor physics and engineering Open access

Benjamin Jung

0

citations

8 results