Ralf Wimmer
Ralf Wimmer
Albert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, Germany
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Sigref – a symbolic bisimulation tool box
R Wimmer, M Herbstritt, H Hermanns, K Strampp, B Becker
Automated Technology for Verification and Analysis, 477-492, 2006
712006
Compositional dependability evaluation for STATEMATE
E Böde, M Herbstritt, H Hermanns, S Johr, T Peikenkamp, R Pulungan, ...
Software Engineering, IEEE Transactions on 35 (2), 274-292, 2009
592009
Accelerating parametric probabilistic verification
N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ...
International Conference on Quantitative Evaluation of Systems, 404-420, 2014
562014
DTMC model checking by SCC reduction
E Abrahám, N Jansen, R Wimmer, JP Katoen, B Becker
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
502010
Towards Verification of Artificial Neural Networks
K Scheibler, L Winterer, R Wimmer, B Becker
Proc. of MBMV, 2015
492015
Compositional performability evaluation for statemate
E Bode, M Herbstritt, H Hermanns, S Johr, T Peikenkamp, R Pulungan, ...
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International …, 2006
462006
Counterexample generation for discrete-time Markov chains using bounded model checking
R Wimmer, B Braitling, B Becker
Verification, Model Checking, and Abstract Interpretation, 366-380, 2009
432009
Minimal Critical Subsystems for Discrete-Time Markov Models
R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen
Proceedings of TACAS 2012, 2012
422012
A model checker for AADL
M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri, ...
International Conference on Computer Aided Verification, 562-565, 2010
422010
BDDs in a branch and cut framework
B Becker, M Behle, F Eisenbrand, R Wimmer
International Workshop on Experimental and Efficient Algorithms, 452-463, 2005
422005
Counterexample generation for discrete-time markov models: An introductory survey
E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer
International School on Formal Methods for the Design of Computer …, 2014
412014
Finite-state controllers of POMDPs via parameter synthesis
S Junges, N Jansen, R Wimmer, T Quatmann, L Winterer, J Katoen, ...
Proceedings of the UAI, 2018
392018
HQSpre–An Effective Preprocessor for QBF and DQBF
R Wimmer, S Reimer, P Marin, B Becker
International Conference on Tools and Algorithms for the Construction and …, 2017
342017
Equivalence checking of partial designs using dependency quantified Boolean formulae
K Gitina, S Reimer, M Sauer, R Wimmer, C Scholl, B Becker
2013 IEEE 31st International Conference on Computer Design (ICCD), 396-403, 2013
332013
The COMICS tool–Computing minimal counterexamples for DTMCs
N Jansen, E Ábrahám, M Volk, R Wimmer, JP Katoen, B Becker
International Symposium on Automated Technology for Verification and …, 2012
33*2012
High-level Counterexamples for Probabilistic Automata
JP Katoen, N Jansen, R Wimmer
Logical Methods in Computer Science 11, 2015
32*2015
Solving DQBF through quantifier elimination
K Gitina, R Wimmer, S Reimer, M Sauer, C Scholl, B Becker
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015
302015
Symblicit calculation of long-run averages for concurrent probabilistic systems
R Wimmer, B Braitling, B Becker, EM Hahn, P Crouzen, H Hermanns, ...
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
302010
Hierarchical counterexamples for discrete-time Markov chains
N Jansen, E Ábrahám, J Katelaan, R Wimmer, JP Katoen, B Becker
International Symposium on Automated Technology for Verification and …, 2011
292011
Preprocessing for DQBF
R Wimmer, K Gitina, J Nist, C Scholl, B Becker
Theory and Applications of Satisfiability Testing–SAT 2015, 173-190, 2015
262015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20