Roderick Bloem

Cited by

	All	Since 2016
Citations	5509	2578
h-index	37	27
i10-index	85	58

620

310

155

465

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 21 46 57 85 90 107 104 147 166 159 230 257 303 295 351 426 498 358 461 547 620 84

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
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
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceVerified email at unitn.it
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Goerschwin FeyHamburg University of TechnologyVerified email at tuhh.de
Kavita RaviManaging Director, BlueWave SolarVerified email at bluewavesolar.com
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com
Alessandro CimattiHead of Unit, Fondazione Bruno KesslerVerified email at fbk.eu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Nir PitermanAssociate Professor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany Verified email at uni-bremen.de
Ruediger EhlersClausthal University of TechnologyVerified email at tu-clausthal.de
Stefan GallerGraz University of TechnologyVerified email at ist.tugraz.at
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

Computer Aided Verification Formal Methods Reactive Synthesis Model Checking Temporal Logic


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	446	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	361	2012
Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005	245	2005
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer, 2018	225	2018
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	217	2009
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	186	2006
Safe reinforcement learning via shielding M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	172	2018
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	155	2006
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014	137	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	131	2007
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	125	2007
Anzu: A tool for property synthesis B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007	124	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	117	2010
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	103	1999
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	102	2008
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	96	2000
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	94	2015
Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011	91	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	89	2000
Finding and fixing faults S Staber, B Jobstmann, R Bloem Advanced Research Working Conference on Correct Hardware Design and …, 2005	88	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

Upload PDF

Follow this author

Cited by

Co-authors