Björn Wachter

Cited by

	All	Since 2016
Citations	1295	495
h-index	18	11
i10-index	26	15

160

120

20062007200820092010201120122013201420152016201720182019202020216 14 28 66 88 94 114 109 124 143 110 108 100 93 83 1

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 HahnUniversity of TwenteVerified email at utwente.nl
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 KroeningAmazonVerified 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
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
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

Björn Wachter

Unknown affiliation

No verified email - 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	235	2006
Probabilistic cegar H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 162-175, 2008	209	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	137	2010
Verifying multi-threaded software with Impact B Wachter, D Kroening, J Ouaknine 2013 Formal Methods in Computer-Aided Design, 210-217, 2013	56	2013
Probabilistic logical characterization H Hermanns, A Parma, R Segala, B Wachter, L Zhang Information and Computation 209 (2), 154-172, 2011	56	2011
Probabilistic model checking modulo theories B Wachter, L Zhang, H Hermanns fourth international conference on the quantitative evaluation of systems …, 2007	48	2007
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	47	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	45	2011
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	44	2010
Best probabilistic transformers B Wachter, L Zhang International Workshop on Verification, Model Checking, and Abstract …, 2010	41	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	28	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	21	2015
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	20	2016
Symbolic state traversal for WCET analysis S Wilhelm, B Wachter Proceedings of the seventh ACM international conference on Embedded software …, 2009	19	2009
Stability and complexity of minimising probabilistic automata S Kiefer, B Wachter International Colloquium on Automata, Languages, and Programming, 268-279, 2014	18	2014
APEX: An Analyzer for Open Probabilistic Programs S Kiefer, AS Murawski, J Ouaknine, B Wachter, J Worrell International Conference on Computer Aided Verification, 693-698, 2012	18	2012

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