Roderick Bloem

Παρατίθεται από

	Όλα	Από το 2019
Παραθέσεις	9179	4861
h-index	48	30
i10-index	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 941 1013 930

Δημόσια πρόσβαση

Προβολή όλων

60 άρθρα

1 άρθρο

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

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
Goerschwin FeyHamburg University of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tuhh.de
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unitn.it
Krishnendu ChatterjeeProfessor, IST AustriaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ist.ac.at
Ingo PillExternal Lecturer Graz University of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ist.tugraz.at
Josef WidderInformal SystemsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informal.systems
Martin TapplerTU WienΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tuwien.ac.at
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-bremen.de
Martina SeidlUniv.-Prof., JKU LinzΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα jku.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	845	2018
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	833	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	543	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	211	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
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	121	2020
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

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς