Roderick Bloem

Cytowane przez

	Wszystkie	Od 2019
Cytowania	9166	4849
h-indeks	48	30
i10-indeks	112	78

1100

550

275

825

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 24 51 60 88 85 110 102 147 153 181 213 267 297 299 362 413 496 344 499 526 625 823 934 1012 926

Dostęp publiczny

Wyświetl wszystko

60 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaZweryfikowany adres z iaik.tugraz.at
Robert KönighoferGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
Barbara JobstmannScientist at EPFLZweryfikowany adres z epfl.ch
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusZweryfikowany adres z cispa.saarland
Fabio SomenziProfessor, University of Colorado BoulderZweryfikowany adres z colorado.edu
Ayrat KhalimovTU ClausthalZweryfikowany adres z tu-clausthal.de
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienZweryfikowany adres z forsyte.tuwien.ac.at
Thomas HenzingerIST AustriaZweryfikowany adres z ist.ac.at
Ruediger EhlersClausthal University of TechnologyZweryfikowany adres z tu-clausthal.de
Andreas GriesmayerImperial College LondonZweryfikowany adres z arm.com
Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
Goerschwin FeyHamburg University of TechnologyZweryfikowany adres z tuhh.de
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceZweryfikowany adres z unitn.it
Krishnendu ChatterjeeProfessor, IST AustriaZweryfikowany adres z ist.ac.at
Ingo PillExternal Lecturer Graz University of TechnologyZweryfikowany adres z ist.tugraz.at
Josef WidderInformal SystemsZweryfikowany adres z informal.systems
Martin TapplerTU WienZweryfikowany adres z tuwien.ac.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyZweryfikowany adres z uni-bremen.de
Martina SeidlUniv.-Prof., JKU LinzZweryfikowany adres z jku.at
Sasha RubinUniversity of SydneyZweryfikowany adres z sydney.edu.au

Obserwuj

Roderick Bloem

Graz University of Technology

Zweryfikowany adres z iaik.tugraz.at - Strona główna

Formal Methods Reactive Synthesis Model Checking Formal Verification Information Security


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	843	2018
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	830	2018
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	542	2012
Efficient Büchi automata from LTL formulae F Somenzi, R Bloem Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	500	2000
Program repair as a game B Jobstmann, A Griesmayer, R Bloem Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	297	2005
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	259	2009
Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016	210	2016
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	204	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	164	2007
Shield synthesis: Runtime enforcement for reactive systems R Bloem, B Könighofer, R Könighofer, C Wang International conference on tools and algorithms for the construction and …, 2015	153	2015
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	150	2007
RATSY–a new requirements analysis tool with synthesis R Bloem, A Cimatti, K Greimel, G Hofferek, R Könighofer, M Roveri, ... Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	135	2010
Formal verification of masked hardware implementations in the presence of glitches R Bloem, H Groß, R Iusupov, B Könighofer, S Mangard, J Winter Advances in Cryptology–EUROCRYPT 2018: 37th Annual International Conference …, 2018	134	2018
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018	133	2018
Anzu: A Tool for Property Synthesis: (Tool Paper) B Jobstmann, S Galler, M Weiglhofer, R Bloem Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	133	2007
Model-based testing IoT communication via active automata learning M Tappler, BK Aichernig, R Bloem 2017 IEEE International conference on software testing, verification and …, 2017	124	2017
Automated error localization and correction for imperative programs R Könighofer, R Bloem 2011 Formal Methods in Computer-Aided Design (FMCAD), 91-100, 2011	121	2011
Safe reinforcement learning using probabilistic shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem 31st International Conference on Concurrency Theory (CONCUR 2020), 2020	120	2020
Efficient decision procedures for model checking of linear time logic properties R Bloem, K Ravi, F Somenzi Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	120	1999
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps R Bloem, HN Gabow, F Somenzi International Conference on Formal Methods in Computer-Aided Design, 56-73, 2000	117	2000

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy