![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Roderick Bloem
Person information
- affiliation: Graz University of Technology, Austria
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2015
- [b1]Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov, Igor Konnov
, Sasha Rubin
, Helmut Veith, Josef Widder:
Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00883-2
Journal Articles
- 2024
- [j26]Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem:
Quantile: Quantifying Information Leakage. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(1): 433-456 (2024) - 2023
- [j25]Frits W. Vaandrager, Masoud Ebrahimi
, Roderick Bloem:
Learning Mealy machines with one timer. Inf. Comput. 295(Part B): 105013 (2023) - [j24]Bettina Könighofer
, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online shielding for reinforcement learning. Innov. Syst. Softw. Eng. 19(4): 379-394 (2023) - 2022
- [j23]Roderick Bloem, Hana Chockler
, Masoud Ebrahimi, Ofer Strichman:
Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. 60(2): 259-276 (2022) - [j22]Vedad Hadzic
, Robert Primas, Roderick Bloem:
Proving SIFA protection of masked redundant circuits. Innov. Syst. Softw. Eng. 18(3): 471-481 (2022) - 2021
- [j21]Roderick Bloem
, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl:
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57(2): 157-177 (2021) - [j20]Roderick Bloem, Hana Chockler
, Masoud Ebrahimi, Ofer Strichman
:
Vacuity in synthesis. Formal Methods Syst. Des. 57(3): 473-495 (2021) - 2020
- [j19]Roderick Bloem
, Paulo Tabuada
:
Preface for the SYNT. Acta Informatica 57(1-2): 1 (2020) - 2019
- [j18]Roderick Bloem
, Görschwin Fey
, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
:
Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. 55(2): 103-135 (2019) - 2018
- [j17]Hannes Groß, Rinat Iusupov, Roderick Bloem
:
Generic Low-Latency Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018(2): 1-21 (2018) - 2017
- [j16]Bettina Könighofer
, Mohammed Alshiekh, Roderick Bloem
, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu
, Chao Wang:
Shield synthesis. Formal Methods Syst. Des. 51(2): 332-361 (2017) - [j15]Swen Jacobs
, Roderick Bloem
, Romain Brenguier, Rüdiger Ehlers
, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez
, Jean-François Raskin
, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19(3): 367-390 (2017) - 2016
- [j14]Carlo Alberto Boano, Kay Römer
, Roderick Bloem
, Klaus Witrisal, Marcel Baunach
, Martin Horn:
Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Elektrotech. Informationstechnik 133(7): 304-309 (2016) - [j13]Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov, Igor Konnov
, Sasha Rubin, Helmut Veith, Josef Widder:
Decidability in Parameterized Verification. SIGACT News 47(2): 53-64 (2016) - 2014
- [j12]Roderick Bloem
, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer:
Synthesizing robust systems. Acta Informatica 51(3-4): 193-220 (2014) - [j11]Swen Jacobs
, Roderick Bloem
:
Parameterized Synthesis. Log. Methods Comput. Sci. 10(1) (2014) - 2013
- [j10]Robert Könighofer, Georg Hofferek, Roderick Bloem
:
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. Int. J. Softw. Tools Technol. Transf. 15(5-6): 563-583 (2013) - 2012
- [j9]Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem
:
Finding and fixing faults. J. Comput. Syst. Sci. 78(2): 441-460 (2012) - [j8]Roderick Bloem
, Barbara Jobstmann, Nir Piterman
, Amir Pnueli, Yaniv Sa'ar:
Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. 78(3): 911-938 (2012) - 2010
- [j7]Andreas Griesmayer, Stefan Staber, Roderick Bloem
:
Fault localization using a model checker. Softw. Test. Verification Reliab. 20(2): 149-173 (2010) - [j6]Roderick Bloem
, Patrick Schaumont
:
Guest Editorial. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(10): 1457-1458 (2010) - 2008
- [j5]Görschwin Fey
, Stefan Staber, Roderick Bloem
, Rolf Drechsler
:
Automatic Fault Localization for Property Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(6): 1138-1149 (2008) - 2007
- [j4]Roderick Bloem
, Alessandro Cimatti
, Ingo Pill
, Marco Roveri
:
Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. 18(4): 727-743 (2007) - 2006
- [j3]Chao Wang, Roderick Bloem
, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. 28(1): 5-36 (2006) - [j2]Roderick Bloem
, Harold N. Gabow, Fabio Somenzi:
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. Formal Methods Syst. Des. 28(1): 37-56 (2006) - 2000
- [j1]Roderick Bloem
, Joost Engelfriet:
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. J. Comput. Syst. Sci. 61(1): 1-50 (2000)
Conference and Workshop Papers
- 2023
- [c109]Filip Cano Córdoba
, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer:
Safety Shielding under Delayed Observation. ICAPS 2023: 80-85 - [c108]Masoud Ebrahimi, Stefan Marksteiner
, Dejan Nickovic
, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
A Systematic Approach to Automotive Security. FM 2023: 598-609 - [c107]Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
:
Attribute Repair for Threat Prevention. SAFECOMP 2023: 135-148 - [c106]Benedikt Maderbacher
, Stefan Schupp
, Ezio Bartocci
, Roderick Bloem
, Dejan Nickovic
, Bettina Könighofer
:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN 2023: 141-160 - 2022
- [c105]Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
:
Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design 2022: 650-663 - [c104]Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas:
Power Contracts: Provably Complete Power Leakage Models for Processors. CCS 2022: 381-395 - [c103]Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis
, Dejan Nickovic
, Björn Ziegler:
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS 2022: 21-24 - [c102]Benedikt Maderbacher, Roderick Bloem:
Reactive Synthesis Modulo Theories using Abstraction Refinement. FMCAD 2022: 315-324 - [c101]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. ISoLA (1) 2022: 335-359 - [c100]Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl:
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC 2022: 80-83 - 2021
- [c99]Ezio Bartocci
, Roderick Bloem
, Benedikt Maderbacher
, Niveditha Manjunath, Dejan Nickovic
:
Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234 - [c98]Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen
, Roderick Bloem
:
Adaptive Shielding under Uncertainty. ACC 2021: 3467-3474 - [c97]Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem:
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ATVA 2021: 222-228 - [c96]Vedad Hadzic, Robert Primas, Roderick Bloem:
Proving SIFA Protection of Masked Redundant Circuits. ATVA 2021: 249-265 - [c95]Vedad Hadzic, Roderick Bloem:
COCOALMA: A Versatile Masking Verifier. FMCAD 2021: 1-10 - [c94]Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi:
Learning Mealy Machines with One Timer. LATA 2021: 157-170 - [c93]Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online Shielding for Stochastic Systems. NFM 2021: 231-248 - [c92]Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
:
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. USENIX Security Symposium 2021: 1469-1468 - 2020
- [c91]Nils Jansen
, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
:
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR 2020: 3:1-3:16 - [c90]Bettina Könighofer, Florian Lorber, Nils Jansen
, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. ISoLA (1) 2020: 290-306 - [c89]Benedikt Maderbacher
, Anja F. Karl
, Roderick Bloem
:
Placement of Runtime Checks to Counteract Fault Injections. RV 2020: 241-258 - 2019
- [c88]Suda Bharadwaj, Roderick Bloem
, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
:
Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC 2019: 1048-1055 - [c87]Roderick Bloem, Swen Jacobs, Yakir Vizel:
Efficient Information-Flow Verification Under Speculative Execution. ATVA 2019: 499-514 - [c86]Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger:
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) 2019: 630-649 - [c85]Roderick Bloem
, Hana Chockler
, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD 2019: 147-151 - [c84]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf
, Wolfgang Roth, Astrid Rupp, Martin Tappler
, Markus Tranninger
:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS 2019: 3-21 - [c83]Anja F. Karl
, Robert Schilling, Roderick Bloem, Stefan Mangard:
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. VMCAI 2019: 183-204 - 2018
- [c82]Mohammed Alshiekh, Roderick Bloem
, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. AAAI 2018: 2669-2678 - [c81]Ayrat Khalimov, Benedikt Maderbacher
, Roderick Bloem:
Bounded Synthesis of Register Transducers. ATVA 2018: 494-510 - [c80]Ezio Bartocci
, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564 - [c79]Roderick Bloem
, Hannes Groß
, Rinat Iusupov
, Bettina Könighofer, Stefan Mangard
, Johannes Winter:
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) 2018: 321-353 - [c78]Bernhard K. Aichernig
, Roderick Bloem
, Masoud Ebrahimi, Martin Tappler
, Johannes Winter:
Automata Learning for Symbolic Execution. FMCAD 2018: 1-9 - [c77]Roderick Bloem
, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing
, Martina Seidl:
Expansion-Based QBF Solving Without Recursion. FMCAD 2018: 1-10 - 2017
- [c76]Patrik Maier, Zhendong Ma, Roderick Bloem
:
Towards a Secure SCRUM Process for Agile Web Application Development. ARES 2017: 73:1-73:8 - [c75]Ayrat Khalimov, Roderick Bloem:
Bounded Synthesis for Streett, Rabin, and \text CTL^*. CAV (2) 2017: 333-352 - [c74]Martin Tappler
, Bernhard K. Aichernig
, Roderick Bloem
:
Model-Based Testing IoT Communication via Active Automata Learning. ICST 2017: 276-287 - [c73]Marijana Lazic, Igor Konnov
, Josef Widder, Roderick Bloem
:
Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS 2017: 32:1-32:20 - [c72]Roderick Bloem, Hana Chockler
, Masoud Ebrahimi, Ofer Strichman:
Synthesizing Non-Vacuous Systems. VMCAI 2017: 55-72 - [c71]Roderick Bloem
, Sven Schewe
, Ayrat Khalimov:
CTL* synthesis via LTL synthesis. SYNT@CAV 2017: 4-22 - [c70]Swen Jacobs
, Nicolas Basset, Roderick Bloem
, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez
, Jean-François Raskin
, Ocan Sankur, Leander Tentrup:
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017: 116-143 - 2016
- [c69]Roderick Bloem
, Nicolas Braud-Santoni, Swen Jacobs
:
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) 2016: 157-176 - [c68]Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
:
SMT-Based CPS Parameter Synthesis. ARCH@CPSWeek 2016: 126-133 - [c67]Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem
, Timon D. ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao:
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL 2016: 1-8 - [c66]Roderick Bloem
, Robert Könighofer, Ingo Pill, Franz Röck:
Synthesizing adaptive test strategies from temporal logic specifications. FMCAD 2016: 17-24 - [c65]Swen Jacobs
, Roderick Bloem
:
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV 2016: 133-148 - [c64]Swen Jacobs
, Roderick Bloem
, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez
, Jean-François Raskin
, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 2016: 149-177 - 2015
- [c63]Roderick Bloem
, Rüdiger Ehlers
, Robert Könighofer:
Cooperative Reactive Synthesis. ATVA 2015: 394-410 - [c62]Roderick Bloem:
Reactive Synthesis. FMCAD 2015: 3 - [c61]Rüdiger Ehlers
, Robert Könighofer, Roderick Bloem
:
Synthesizing cooperative reactive mission plans. IROS 2015: 3478-3485 - [c60]Roderick Bloem
, Krishnendu Chatterjee, Swen Jacobs
, Robert Könighofer:
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS 2015: 517-532 - [c59]Roderick Bloem
, Bettina Könighofer, Robert Könighofer, Chao Wang:
Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS 2015: 533-548 - [c58]Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi:
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. TAP@STAF 2015: 58-75 - [c57]Swen Jacobs
, Roderick Bloem
, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez
, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 2015: 27-57 - 2014
- [c56]Roderick Bloem
, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
:
SAT-based methods for circuit synthesis. FMCAD 2014: 31-34 - [c55]Roderick Bloem
, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork:
Synthesis of synchronization using uninterpreted functions. FMCAD 2014: 35-42 - [c54]Robert Könighofer, Ronald Toegl, Roderick Bloem
:
Automatic Error Localization for Software Using Deductive Verification. Haifa Verification Conference 2014: 92-98 - [c53]Roderick Bloem, Sharad Malik, Matthias Schlaipfer
, Georg Weissenbacher
:
Reduction of Resolution Refutations and Interpolants via Subsumption. Haifa Verification Conference 2014: 188-203 - [c52]Viktoria Pammer
, Hermann Stern, Stefan Edler, Daniel M. Hein, Martin Pirker
, Roderick Bloem
, Alfred Wertner:
Security concepts for a distributed architecture for activity logging and analysis. I-KNOW 2014: 23:1-23:6 - [c51]Roderick Bloem
, Robert Könighofer, Franz Röck, Michael Tautschnig:
Automating Test-Suite Augmentation. QSIC 2014: 67-72 - [c50]Roderick Bloem
, Robert Könighofer, Martina Seidl:
SAT-Based Synthesis Methods for Safety Specs. VMCAI 2014: 1-20 - [c49]Roderick Bloem
, Rüdiger Ehlers
, Swen Jacobs
, Robert Könighofer:
How to Handle Assumptions in Synthesis. SYNT 2014: 34-50 - [c48]Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. SYNT 2014: 68-83 - 2013
- [c47]Ayrat Khalimov, Swen Jacobs
, Roderick Bloem
:
PARTY Parameterized Synthesis of Token Rings. CAV 2013: 928-933 - [c46]Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
:
Synthesizing multiple boolean functions using interpolation on a single proof. FMCAD 2013: 77-84 - [c45]Ayrat Khalimov, Swen Jacobs
, Roderick Bloem
:
Towards Efficient Parameterized Synthesis. VMCAI 2013: 108-127 - 2012
- [c44]Robert Könighofer, Roderick Bloem:
Repair with On-The-Fly Program Analysis. Haifa Verification Conference 2012: 56-71 - [c43]Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow:
FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference 2012: 260-265 - [c42]Swen Jacobs
, Roderick Bloem
:
Parameterized Synthesis. TACAS 2012: 362-376 - [c41]Marc-Michael Bergfeld, Holger Bock, Roderick Bloem, Jan Blonk, Gregory Conti, Kurt Dietrich, Matthias Junk, Florian Schreiner, Stephan Spitz, Johannes Winter:
Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities. TrustBus 2012: 238-239 - [c40]Roderick Bloem
, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer:
Synthesizing Robust Systems with RATSY. SYNT 2012: 47-53 - 2011
- [c39]Robert Könighofer, Roderick Bloem
:
Automated error localization and correction for imperative programs. FMCAD 2011: 91-100 - [c38]Matthias Schlaipfer
, Georg Hofferek, Roderick Bloem
:
Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Haifa Verification Conference 2011: 20-34 - [c37]Heinz Riener
, Roderick Bloem
, Görschwin Fey
:
Test Case Generation from Mutants Using Model Checking Techniques. ICST Workshops 2011: 388-397 - [c36]Georg Hofferek, Roderick Bloem
:
Controller synthesis for pipelined circuits using uninterpreted functions. MEMOCODE 2011: 31-42 - [c35]Roderick Bloem
, Krishnendu Chatterjee
, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Specification-centered robustness. SIES 2011: 176-185 - 2010
- [c34]Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Robustness in the Presence of Liveness. CAV 2010: 410-424 - [c33]Roderick Bloem, Alessandro Cimatti
, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri
, Viktor Schuppan, Richard Seeber:
RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429 - [c32]Robert Könighofer, Georg Hofferek, Roderick Bloem:
Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference 2010: 29-45 - 2009
- [c31]Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156 - [c30]Roderick Bloem
, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann:
Synthesizing robust systems. FMCAD 2009: 85-92 - [c29]Robert Könighofer, Georg Hofferek, Roderick Bloem
:
Debugging formal specifications using simple counterstrategies. FMCAD 2009: 152-159 - 2008
- [c28]André Sülflow, Görschwin Fey
, Roderick Bloem
, Rolf Drechsler
:
Using unsatisfiable cores to debug multiple design errors. ACM Great Lakes Symposium on VLSI 2008: 77-82 - [c27]Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi:
Open Implication. ICALP (2) 2008: 361-372 - [c26]Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan
, Roderick Bloem
:
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS 2008: 2289-2294 - [c25]André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Debugging Design Errors by Using Unsatisfiable Cores. MBMV 2008: 159-168 - 2007
- [c24]Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem:
Anzu: A Tool for Property Synthesis. CAV 2007: 258-262 - [c23]Roderick Bloem
, Roberto Cavada, Ingo Pill
, Marco Roveri
, Andrei Tchaltsev:
RAT: A Tool for the Formal Analysis of Requirements. CAV 2007: 263-267 - [c22]Roderick Bloem
, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193 - [c21]Stefan Staber, Roderick Bloem:
Fault Localization and Correction with QBF. SAT 2007: 355-368 - [c20]Roderick Bloem
, Stefan J. Galler, Barbara Jobstmann, Nir Piterman
, Amir Pnueli, Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL. COCV@ETAPS 2007: 3-16 - 2006
- [c19]Andreas Griesmayer, Roderick Bloem, Byron Cook:
Repair of Boolean Programs with an Application to C. CAV 2006: 358-371 - [c18]Ingo Pill
, Simone Semprini, Roberto Cavada, Marco Roveri
, Roderick Bloem
, Alessandro Cimatti
:
Formal analysis of hardware requirements. DAC 2006: 821-826 - [c17]Barbara Jobstmann, Roderick Bloem
:
Optimizations for LTL Synthesis. FMCAD 2006: 117-124 - [c16]Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Automatic Fault Localization for Property Checking. Haifa Verification Conference 2006: 50-64 - [c15]Roderick Bloem, Alessandro Cimatti
, Ingo Pill, Marco Roveri
, Simone Semprini:
Symbolic Implementation of Alternating Automata. CIAA 2006: 208-218 - [c14]Roderick Bloem
, Marco Roveri
, Fabio Somenzi:
Preface. V&D@FLoC 2006: 1 - [c13]Andreas Griesmayer, Stefan Staber, Roderick Bloem
:
Automated Fault Localization for C Programs. V&D@FLoC 2006: 95-111 - 2005
- [c12]Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
:
Program Repair as a Game. CAV 2005: 226-238 - [c11]Stefan Staber, Barbara Jobstmann, Roderick Bloem
:
Finding and Fixing Faults. CHARME 2005: 35-49 - [c10]Andreas Griesmayer, Roderick Bloem
, Martin Hautzendorfer, Franz Wotawa
:
Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788 - 2002
- [c9]Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi:
Fair Simulation Minimization. CAV 2002: 610-624 - [c8]Fabio Somenzi, Kavita Ravi, Roderick Bloem:
Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105 - 2001
- [c7]Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471 - 2000
- [c6]Fabio Somenzi, Roderick Bloem:
Efficient Büchi Automata from LTL Formulae. CAV 2000: 248-263 - [c5]Roderick Bloem
, Kavita Ravi, Fabio Somenzi:
Symbolic guided search for CTL model checking. DAC 2000: 29-34 - [c4]Roderick Bloem, Harold N. Gabow, Fabio Somenzi:
An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. FMCAD 2000: 37-54 - [c3]Kavita Ravi, Roderick Bloem, Fabio Somenzi:
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160 - 1999
- [c2]Roderick Bloem, Kavita Ravi, Fabio Somenzi:
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235 - 1997
- [c1]Roderick Bloem, Joost Engelfriet:
Monadic Second Order Logic and Node Relations on Graphs and Trees. Structures in Logic and Computer Science 1997: 144-161
Parts in Books or Collections
- 2018
- [p1]Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann:
Graph Games and Reactive Synthesis. Handbook of Model Checking 2018: 921-962
Editorship
- 2022
- [e7]Roderick Bloem, Rayna Dimitrova, Chuchu Fan
, Natasha Sharygina
:
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents] - 2018
- [e6]Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
:
Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 [contents] - 2016
- [e5]Roderick Bloem
, Eli Arbel:
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Lecture Notes in Computer Science 10028, 2016, ISBN 978-3-319-49051-9 [contents] - 2014
- [e4]Armin Biere, Roderick Bloem
:
Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science 8559, Springer 2014, ISBN 978-3-319-08866-2 [contents] - 2013
- [e3]Roderick Bloem
, Peter Lipp:
Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings. Lecture Notes in Computer Science 8292, Springer 2013, ISBN 978-3-319-03490-4 [contents] - 2010
- [e2]Roderick Bloem, Natasha Sharygina:
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. IEEE 2010, ISBN 978-1-4577-0734-6 [contents] - 2007
- [e1]Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents]
Informal and Other Publications
- 2024
- [i43]Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard:
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024: 247 (2024) - 2023
- [i42]Masoud Ebrahimi, Stefan Marksteiner
, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König:
A Systematic Approach to Automotive Security. CoRR abs/2303.02894 (2023) - [i41]Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer:
Safety Shielding under Delayed Observation. CoRR abs/2307.02164 (2023) - 2022
- [i40]Alberto Larrauri, Roderick Bloem:
Conformance Testing of Mealy Machines Under Input Restrictions. CoRR abs/2206.07441 (2022) - [i39]Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek:
Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR abs/2208.14426 (2022) - [i38]Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic:
Threat Repair with Optimization Modulo Theories. CoRR abs/2210.03207 (2022) - [i37]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning meets Shielding. CoRR abs/2212.01838 (2022) - [i36]Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online Shielding for Reinforcement Learning. CoRR abs/2212.01861 (2022) - [i35]Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas:
Power Contracts: Provably Complete Power Leakage Models for Processors. IACR Cryptol. ePrint Arch. 2022: 565 (2022) - 2021
- [i34]Lázaro Alberto Larrauri, Roderick Bloem:
Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines. CoRR abs/2105.10292 (2021) - [i33]Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem:
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. CoRR abs/2105.12588 (2021) - [i32]Vedad Hadzic, Robert Primas, Roderick Bloem:
Proving SIFA Protection of Masked Redundant Circuits. CoRR abs/2107.01917 (2021) - [i31]Benedikt Maderbacher, Roderick Bloem:
Reactive Synthesis Modulo Theories Using Abstraction Refinement. CoRR abs/2108.00090 (2021) - 2020
- [i30]Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano:
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR abs/2006.16688 (2020) - [i29]Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. CoRR abs/2010.03842 (2020) - [i28]Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic:
Adaptive Testing for Specification Coverage. CoRR abs/2010.06674 (2020) - [i27]Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener:
Safety Synthesis Sans Specification. CoRR abs/2011.07630 (2020) - [i26]Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem:
Online Shielding for Stochastic Systems. CoRR abs/2012.09539 (2020) - [i25]Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
:
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. IACR Cryptol. ePrint Arch. 2020: 1294 (2020) - 2019
- [i24]Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. CoRR abs/1904.07075 (2019) - [i23]Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr
, Salomon Sickert, Leander Tentrup, Adam Walker:
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs/1904.07736 (2019) - [i22]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR abs/1907.04708 (2019) - 2018
- [i21]Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR abs/1804.03237 (2018) - [i20]Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018) - [i19]Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl:
Expansion-Based QBF Solving Without Recursion. CoRR abs/1807.08964 (2018) - [i18]Roderick Bloem, Görschwin Fey, Fabian Greif
, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck:
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR abs/1809.01607 (2018) - [i17]Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem:
Bounded Synthesis of Register Transducers. CoRR abs/1809.05017 (2018) - [i16]Roderick Bloem
, Hannes Groß, Rinat Iusupov, Martin Krenn, Stefan Mangard:
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptol. ePrint Arch. 2018: 1031 (2018) - 2017
- [i15]Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. CoRR abs/1708.08611 (2017) - [i14]Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran:
OpenSEA: Semi-Formal Methods for Soft Error Analysis. CoRR abs/1712.04291 (2017) - [i13]Roderick Bloem
, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter:
Formal Verification of Masked Hardware Implementations in the Presence of Glitches. IACR Cryptol. ePrint Arch. 2017: 897 (2017) - [i12]Hannes Groß, Rinat Iusupov, Roderick Bloem
:
Generic Low-Latency Masking. IACR Cryptol. ePrint Arch. 2017: 1223 (2017) - 2016
- [i11]Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl:
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR abs/1604.06204 (2016) - 2015
- [i10]Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang:
Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR abs/1501.02573 (2015) - [i9]Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker:
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR abs/1506.08726 (2015) - [i8]Roderick Bloem, Rüdiger Ehlers, Robert Könighofer:
Cooperative Reactive Synthesis. CoRR abs/1507.02531 (2015) - 2014
- [i7]Roderick Bloem, Swen Jacobs, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. CoRR abs/1406.7608 (2014) - [i6]Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing:
SAT-Based Methods for Circuit Synthesis. CoRR abs/1408.2333 (2014) - [i5]Robert Könighofer, Ronald Toegl, Roderick Bloem:
Automatic Error Localization for Software using Deductive Verification. CoRR abs/1409.4637 (2014) - [i4]Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer:
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR abs/1411.4604 (2014) - 2013
- [i3]Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem:
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. CoRR abs/1308.4767 (2013) - [i2]Roderick Bloem, Robert Könighofer, Martina Seidl:
SAT-Based Synthesis Methods for Safety Specs. CoRR abs/1311.3530 (2013) - 2009
- [i1]Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives. CoRR abs/0904.2638 (2009)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint