From

Institution

Field

Type

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

Reset

Papers matching “verification framework” 10

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
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
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
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
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

10 results