Roderick Bloem

Dikutip oleh

	Semua	Sejak 2020
Kutipan	9313	4478
indeks-h	49	29
indeks-i10	113	77

1100

550

275

825

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 24 51 60 88 85 110 101 148 153 179 214 268 297 299 362 413 496 344 501 525 625 824 944 1009 985 90

Akses publik

Lihat semua

61 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaEmail yang diverifikasi di iaik.tugraz.at
Robert KönighoferGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
Barbara JobstmannScientist at EPFLEmail yang diverifikasi di epfl.ch
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusEmail yang diverifikasi di cispa.saarland
Fabio SomenziProfessor, University of Colorado BoulderEmail yang diverifikasi di colorado.edu
Ayrat KhalimovTU ClausthalEmail yang diverifikasi di tu-clausthal.de
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail yang diverifikasi di forsyte.tuwien.ac.at
Thomas HenzingerIST AustriaEmail yang diverifikasi di ist.ac.at
Ruediger EhlersClausthal University of TechnologyEmail yang diverifikasi di tu-clausthal.de
Andreas GriesmayerImperial College LondonEmail yang diverifikasi di arm.com
Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
Goerschwin FeyHamburg University of TechnologyEmail yang diverifikasi di tuhh.de
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceEmail yang diverifikasi di unitn.it
Krishnendu ChatterjeeProfessor, IST AustriaEmail yang diverifikasi di ist.ac.at
Ingo PillExternal Lecturer Graz University of TechnologyEmail yang diverifikasi di ist.tugraz.at
Josef WidderInformal SystemsEmail yang diverifikasi di informal.systems
Martin TapplerTU WienEmail yang diverifikasi di tuwien.ac.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyEmail yang diverifikasi di uni-bremen.de
Martina SeidlUniv.-Prof., JKU LinzEmail yang diverifikasi di jku.at
Vedad HadžićPhD Candidate, TU GrazEmail yang diverifikasi di iaik.tugraz.at

Ikuti

Roderick Bloem

Graz University of Technology

Email yang diverifikasi di iaik.tugraz.at - Beranda

Formal Methods Reactive Synthesis Model Checking Formal Verification Information Security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	881	2018
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	855	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	548	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	298	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	260	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	213	2016
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	208	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	165	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	156	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
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018	138	2018
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	137	2018
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	136	2010
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	134	2007
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	124	2020
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
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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama