Roderick Bloem
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
4402000
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
3442012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
International conference on computer aided verification, 226-238, 2005
2392005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 140-156, 2009
2112009
Handbook of model checking
EM Clarke, TA Henzinger, H Veith, R Bloem
Springer, 2018
1852018
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
1842006
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
1502006
Safe reinforcement learning via shielding
M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu
arXiv preprint arXiv:1708.08611, 2017
1402017
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1352014
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
1312007
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
1302007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1252007
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
1162010
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
1011999
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
982008
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
972000
Automated error localization and correction for imperative programs
R Könighofer, R Bloem
2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011
872011
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
862015
Symbolic guided search for CTL model checking
R Bloem, K Ravi, F Somenzi
Proceedings of the 37th Annual Design Automation Conference, 29-34, 2000
862000
Finding and fixing faults
S Staber, B Jobstmann, R Bloem
Advanced Research Working Conference on Correct Hardware Design and …, 2005
852005
The system can't perform the operation now. Try again later.
Articles 1–20