Björn Wachter - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1218	571
h-index	17	13
i10-index	26	17

160

120

2006200720082009201020112012201320142015201620172018201920206 14 28 67 86 92 115 109 121 141 107 106 97 93 27

Co-authors

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Ernst Moritz HahnMarie Skłodowska Curie Fellow, University of LiverpoolVerified email at liverpool.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ilia PolianUniversity of StuttgartVerified email at polian.de
Sebastian AltmeyerUniversity of AugsburgVerified email at uva.nl
Daniel GrundSaarland UniversityVerified email at cs.uni-saarland.de
Roberto SegalaUniversità di VeronaVerified email at univr.it
Kumar MadhukarTata Research Development and Design CenterVerified email at tcs.com
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Matt LewisComputer Science Department, University of OxfordVerified email at cs.ox.ac.uk

Björn Wachter

University of Oxford

Verified email at cs.ox.ac.uk - Homepage

Automated Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006	220	2006
Probabilistic cegar H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 162-175, 2008	202	2008
PARAM: A model checker for parametric Markov models EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 660-664, 2010	125	2010
Probabilistic logical characterization H Hermanns, A Parma, R Segala, B Wachter, L Zhang Information and Computation 209 (2), 154-172, 2011	55	2011
Verifying multi-threaded software with Impact B Wachter, D Kroening, J Ouaknine 2013 Formal Methods in Computer-Aided Design, 210-217, 2013	54	2013
Probabilistic model checking modulo theories B Wachter, L Zhang, H Hermanns fourth international conference on the quantitative evaluation of systems …, 2007	47	2007
PASS: Abstraction refinement for infinite probabilistic models EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Tools and Algorithms for the Construction and …, 2010	42	2010
Static timing analysis for hard real-time systems R Wilhelm, S Altmeyer, C Burguière, D Grund, J Herter, J Reineke, ... International Workshop on Verification, Model Checking, and Abstract …, 2010	40	2010
Language equivalence for probabilistic automata S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell International Conference on Computer Aided Verification, 526-540, 2011	39	2011
Best probabilistic transformers B Wachter, L Zhang International Workshop on Verification, Model Checking, and Abstract …, 2010	39	2010
Abstract interpretation with applications to timing validation R Wilhelm, B Wachter International Conference on Computer Aided Verification, 22-36, 2008	39	2008
Time-bounded model checking of infinite-state continuous-time Markov chains EM Hahn, H Hermanns, B Wachter, L Zhang Fundamenta Informaticae 95 (1), 129-155, 2009	38	2009
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 641-647, 2009	34	2009
Game-based abstraction and controller synthesis for probabilistic hybrid systems EM Hahn, G Norman, D Parker, B Wachter, L Zhang 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011	27	2011
The spotlight principle B Wachter, B Westphal International Workshop on Verification, Model Checking, and Abstract …, 2007	26	2007
Synthesising interprocedural bit-precise termination proofs (T) HY Chen, C David, D Kroening, P Schrammel, B Wachter 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	18	2015
Symbolic state traversal for WCET analysis S Wilhelm, B Wachter Proceedings of the seventh ACM international conference on Embedded software …, 2009	18	2009
Sound static deadlock analysis for C/Pthreads D Kroening, D Poetzl, P Schrammel, B Wachter Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016	16	2016
On the complexity of the equivalence problem for probabilistic automata S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell International Conference on Foundations of Software Science and …, 2012	16	2012
On the complexity of equivalence and minimisation for Q-weighted automata S Kiefer, A Murawski, J Ouaknine, B Wachter, J Worrell arXiv preprint arXiv:1302.2818, 2013	15	2013

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

Upload PDF

Follow this author

Cited by

Co-authors