Roderick Bloem

Навело

	Све	Од 2020
Наводи	9371	4508
h-индекс	49	29
i10-индекс	113	78

1100

550

275

825

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 24 53 60 86 88 109 104 150 156 183 213 260 308 307 366 408 490 339 504 537 616 830 925 1020 1000 117

Јавни приступ

Прикажи све

61 чланак

2 чланка

доступно

није доступно

На основу услова финансирања

Коаутори

Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaВерификована је имејл адреса на iaik.tugraz.at
Robert KönighoferGraz University of TechnologyВерификована је имејл адреса на iaik.tugraz.at
Barbara JobstmannScientist at EPFLВерификована је имејл адреса на epfl.ch
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusВерификована је имејл адреса на cispa.saarland
Fabio SomenziProfessor, University of Colorado BoulderВерификована је имејл адреса на colorado.edu
Ayrat KhalimovTU ClausthalВерификована је имејл адреса на tu-clausthal.de
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienВерификована је имејл адреса на forsyte.tuwien.ac.at
Thomas HenzingerIST AustriaВерификована је имејл адреса на ist.ac.at
Ruediger EhlersClausthal University of TechnologyВерификована је имејл адреса на tu-clausthal.de
Andreas GriesmayerImperial College LondonВерификована је имејл адреса на arm.com
Ufuk TopcuThe University of Texas at AustinВерификована је имејл адреса на utexas.edu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceВерификована је имејл адреса на unitn.it
Goerschwin FeyHamburg University of TechnologyВерификована је имејл адреса на tuhh.de
Krishnendu ChatterjeeProfessor, IST AustriaВерификована је имејл адреса на ist.ac.at
Josef WidderInformal SystemsВерификована је имејл адреса на informal.systems
Ingo PillExternal Lecturer Graz University of TechnologyВерификована је имејл адреса на ist.tugraz.at
Martina SeidlUniv.-Prof., JKU LinzВерификована је имејл адреса на jku.at
Vedad HadžićPhD Candidate, TU GrazВерификована је имејл адреса на iaik.tugraz.at
Martin TapplerTU WienВерификована је имејл адреса на tuwien.ac.at
Sasha RubinUniversity of SydneyВерификована је имејл адреса на sydney.edu.au

Прати

Roderick Bloem

Graz University of Technology

Верификована је имејл адреса на iaik.tugraz.at - Почетна страница

Formal Methods Reactive Synthesis Model Checking Formal Verification Information Security


Наслов Сортирај по наводима Сортирај по години Сортирај по наслову	Навело Навело	Година
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	890	2018
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	860	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	552	2012
Efficient Büchi automata from LTL formulae F Somenzi, R Bloem Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	501	2000
Program repair as a game B Jobstmann, A Griesmayer, R Bloem Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	299	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	261	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	216	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	167	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	154	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	138	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	138	2007
Safe reinforcement learning via probabilistic shields N Jansen, B Könighofer, S Junges, AC Serban, R Bloem arXiv preprint arXiv:1807.06096, 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	137	2010
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
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	122	1999
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
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	118	2000

Систем тренутно не може да изврши ову радњу. Пробајте поново касније.

Чланци 1–20

Годишњи број навода

Дупли наводи

Обједињени наводи

Додавање коаутораКоаутори

Прати

Навело

Коаутори