From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 16

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

An orchestration framework for simulation-based development and verification of cyber-physical systems
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Modeling and Simulation Systems Open access

0

citations
Adaptive data generation framework for machine learning models in nonlinear structural dynamics
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Control Systems and Identification Open access

Pavle Milicevic

0

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

László Antal

0

citations
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
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations
Disrupting greenwashing with life-cycle based sustainability assessments? : Strengths, gaps, and integration challenges from product development to ESG disclosure
2026 RWTH Publications (RWTH Aachen) dissertation Environmental Science Environmental Impact and Sustainability Open access

Suzana Ostojic

0

citations
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

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
Development of numerical models and related dynamic response studies in pavement engineering
2026 RWTH Publications (RWTH Aachen) dissertation Engineering Asphalt Pavement Performance Evaluation Open access

Dong Feng

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
Towards time-independent electrical impedance tomography reconstruction
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Electrical and Bioimpedance Tomography Open access

Jöran Rixen

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

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
Hybrid Local-First E-Commerce: Reconciling Offline Capability with Strict Data Consistency
2026 Zenodo (CERN European Organization for Nuclear Research) dissertation Computer Science Distributed systems and fault tolerance Open access

Simon Felix Conrad

0

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations

16 results