Ralf Wimmer

Cited by

	All	Since 2018
Citations	1516	772
h-index	24	15
i10-index	43	28

180

135

20052006200720082009201020112012201320142015201620172018201920202021202220234 13 30 23 26 43 74 63 53 106 118 90 86 142 142 166 166 153 2

Public access

View all

48 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Marc HerbstrittVerified email at herbstritt.info
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Eckard BödeGerman Aerospace Center (DLR)Verified email at dlr.de
Matthias SauerAdvantest Europe GmbHVerified email at advantest.com
Tim QuatmannPhD Student at RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Matthias VolkUniversity of TwenteVerified email at utwente.nl
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Friedrich EisenbrandEPFLVerified email at epfl.ch
Pepijn CrouzenGoogle inc.Verified email at google.com
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Salem DerisaviCompiler Tech Lead/Manager, Cerebras SystemsVerified email at cerebras.net
Yuliya ButkovaVerified email at cs.uni-saarland.de
Paolo MarinVerified email at bankmedia.de

Ralf Wimmer

Albert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, Germany

Verified email at informatik.uni-freiburg.de - Homepage

Verification Probabilistic Systems Symbolic Methods Decision Procedures


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Towards Verification of Artificial Neural Networks K Scheibler, L Winterer, R Wimmer, B Becker Proc. of MBMV, 2015	77	2015
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	77	2006
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	69	2014
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	59	2009
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	58	2010
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	57	2018
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	50	2009
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	49	2006
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	48	2014
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	48	2013
Minimal Critical Subsystems for Discrete-Time Markov Models R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen Proceedings of TACAS 2012, 2012	48	2012
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	48	2005
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	46	2010
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	44	2017
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	42	2015
High-level Counterexamples for Probabilistic Automata JP Katoen, N Jansen, R Wimmer Logical Methods in Computer Science 11, 2015	40	2015
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	38*	2012
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	33	2011
Fast debugging of PRISM models C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen International Symposium on Automated Technology for Verification and …, 2014	32	2014
Minimal counterexamples for linear-time probabilistic verification R Wimmer, N Jansen, E Ábrahám, JP Katoen, B Becker Theoretical Computer Science 549, 61-100, 2014	32	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors