Ralf Wimmer

Compositional Dependability Evaluation for STATEMATE

Eckard Böde, Marc Herbstritt, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2008 · 48 citations

Engineering, Verification, Dependable System Architecture +18

Towards Verification of Artificial Neural Networks.

Karsten Scheibler, Leonore Winterer, Ralf Wimmer et al. · MBMV · 2015 · 47 citations

Engineering, Artificial Neural Networks, Automated Reasoning +6

Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer et al. · RWTH Publications (RWTH Aachen) · 2018 · 45 citations

Artificial Intelligence, Engineering, Intelligent Systems +19

DTMC Model Checking by SCC Reduction

Erika Ábrahám, Nils Jansen, Ralf Wimmer et al. · 2010 · 41 citations

Engineering, Verification, Computer-aided Verification +18

Equivalence checking of partial designs using dependency quantified Boolean formulae

Karina Gitina, Sven Reimer, Matthias Sauer et al. · 2013 · 34 citations

Circuit Complexity, Logic Synthesis, Qbf Approximations +15