Roderick Bloem

Cited by

	All	Since 2017
Citations	6275	2810
h-index	41	26
i10-index	91	66

800

400

200

600

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202218 24 48 60 87 88 105 107 145 160 172 231 263 307 294 370 421 497 355 483 538 619 781 22

Public access

View all

55 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Bettina KönighoferPostdoc, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
Fabio SomenziProfessor, University of Colorado BoulderVerified email at colorado.edu
Andreas GriesmayerImperial College LondonVerified email at arm.com
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.ac.be
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Goerschwin FeyHamburg University of TechnologyVerified email at tuhh.de
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Kavita RaviManaging Director, BlueWave SolarVerified email at bluewavesolar.com
Ufuk TopcuVerified email at utexas.edu
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at

Roderick Bloem

Graz University of Technology

Verified email at iaik.tugraz.at - Homepage

Formal Methods Reactive Synthesis Model Checking Temporal Logic Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Efficient Büchi automata from LTL formulae F Somenzi, R Bloem International Conference on Computer Aided Verification, 248-263, 2000	463	2000
Synthesis of reactive (1) designs R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar Journal of Computer and System Sciences 78 (3), 911-938, 2012	408	2012
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	335	2018
Safe reinforcement learning via shielding M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu Thirty-Second AAAI Conference on Artificial Intelligence, 2018	285	2018
Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005	251	2005
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	231	2009
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	188	2006
An algorithm for strongly connected component analysis in n log n symbolic steps R Bloem, HN Gabow, F Somenzi Formal Methods in System Design 28 (1), 37-56, 2006	167	2006
Specify, compile, run: Hardware from PSL R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007	148	2007
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014	145	2014
Automatic hardware synthesis from specifications: A case study R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	143	2007
Anzu: A tool for property synthesis B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007	126	2007
RATSY–a new requirements analysis tool with synthesis R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... International Conference on Computer Aided Verification, 425-429, 2010	122	2010
Decidability of parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	120	2015
Automatic fault localization for property checking G Fey, S Staber, R Bloem, R Drechsler IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008	105	2008
Efficient decision procedures for model checking of linear time logic properties R Bloem, K Ravi, F Somenzi International Conference on Computer Aided Verification, 222-235, 1999	104	1999
A comparative study of symbolic algorithms for the computation of fair cycles K Ravi, R Bloem, F Somenzi International Conference on Formal Methods in Computer-Aided Design, 162-179, 2000	101	2000
Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011	99	2011
Symbolic guided search for CTL model checking R Bloem, K Ravi, F Somenzi Proceedings of the 37th Annual Design Automation Conference, 29-34, 2000	93	2000
Finding and fixing faults S Staber, B Jobstmann, R Bloem Advanced Research Working Conference on Correct Hardware Design and …, 2005	90	2005

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 this author

Cited by

Co-authors