RB
Roderick Bloem
cs.LOcs.FLcs.AIcs.LGcs.SEcs.CRcs.GTSynthesisAdaptive testsAutomatic test case generation
On Valency
published · living versionsW_wdqhkpst·v1 · currentpublished
Formal Specifications with Data-Driven Signal Analysis
with Benedikt Maderbacher, Cristinel Mateis, Dejan Ničković, Sergii Tkachov +1
1 version
Preprints & journals
48 papers in the corpus · 2009–2026Sharing The Secret: Distributed Privacy-Preserving Monitoring2603.20107v1 · Mahyar Karimi, K. S. Thejaswini, Roderick Bloem et al.2026 · 0 citationsarXiv
Parameterized Infinite-State Reactive Synthesis2508.00613v1 · Benedikt Maderbacher, Roderick Bloem2025 · 1 citationarXiv
Safety Shielding under Delayed Observation2307.02164v1 · Filip Cano C'ordoba, Alexander Palmisano, Martin Franzle et al.2023 · 3 citationsarXiv
A Systematic Approach to Automotive Security2303.02894v2 · Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovi'c et al.2023 · 6 citationsIn: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Automata Learning meets Shielding2212.01838v1 · Martin Tappler, Stefan Pranger, Bettina Konighofer et al.2022 · 9 citationsarXiv
Online Shielding for Reinforcement Learning2212.01861v1 · Bettina Konighofer, Julian Rudolf, Alexander Palmisano et al.2022 · 35 citationsarXiv
Threat Repair with Optimization Modulo Theories2210.03207v1 · Thorsten Tarrach, Masoud Ebrahimi, Sandra Konig et al.2022 · 1 citationarXiv
Correct-by-Construction Runtime Enforcement in AI -- A Survey2208.14426v1 · Bettina Konighofer, Roderick Bloem, Rudiger Ehlers et al.2022 · 10 citationsarXiv
Conformance Testing of Mealy Machines Under Input Restrictions2206.07441v1 · Alberto Larrauri, Roderick Bloem2022 · 0 citationsarXiv
Reactive Synthesis Modulo Theories Using Abstraction Refinement2108.00090v1 · Benedikt Maderbacher, Roderick Bloem2021 · 13 citationsarXiv
Proving SIFA Protection of Masked Redundant Circuits2107.01917v1 · Vedad Hadzic, Robert Primas, Roderick Bloem2021 · 4 citationsarXiv
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments2105.12588v1 · Stefan Pranger, Bettina Konighofer, Lukas Posch et al.2021 · 18 citationsarXiv
Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines2105.10292v2 · Alberto Larrauri, Roderick Bloem2021 · 0 citationsarXiv
Online Shielding for Stochastic Systems2012.09539v1 · Bettina Konighofer, Julian Rudolf, Alexander Palmisano et al.2020 · 15 citationsarXiv
Safety Synthesis Sans Specification2011.07630v2 · Roderick Bloem, Hana Chockler, Masoud Ebrahimi et al.2020 · 0 citationsarXiv
Adaptive Testing for Specification Coverage2010.06674v2 · Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher et al.2020 · 0 citationsarXiv
Adaptive Shielding under Uncertainty2010.03842v1 · Stefan Pranger, Bettina Konighofer, Martin Tappler et al.2020 · 2 citationsarXiv
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)1907.04708v1 · Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi et al.2019 · 1 citationarXiv
Model-Based Testing IoT Communication via Active Automata Learning1904.07075v1 · Martin Tappler, Bernhard K. Aichernig, Roderick Bloem2019 · 120 citationsarXiv
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results1904.07736v1 · Swen Jacobs, Roderick Bloem, Maximilien Colange et al.2019 · 43 citationsarXiv
Synthesizing adaptive test strategies from temporal logic specifications.31866704 · Bloem, Roderick, Fey, Goerschwin, Greif, Fabian et al.2023 · 10 citationsFormal methods in system design. 2019;55(2):103-135
Synthesis of Minimum-Cost Shields for Multi-agent Systems.32020984 · Bharadwaj, Suda, Bloem, Roderik, Dimitrova, Rayna et al.2025 · 20 citationsProceedings of the ... American Control Conference. American Control Conference. 2019;2019
Bounded Synthesis of Register Transducers1809.05017v1 · Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem2018 · 23 citationsarXiv
Expansion-Based QBF Solving Without Recursion1807.08964v2 · Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic et al.2018 · 12 citationsarXiv
Safe Reinforcement Learning via Probabilistic Shields1807.06096v2 · Nils Jansen, Bettina Konighofer, Sebastian Junges et al.2018 · 16 citationsarXiv
A Counting Semantics for Monitoring LTL Specifications over Finite Traces1804.03237v1 · Ezio Bartocci, Roderick Bloem, Dejan Nickovic et al.2018 · 14 citationsarXiv
OpenSEA: Semi-Formal Methods for Soft Error Analysis1712.04291v1 · Patrick Klampfl, Robert Koenighofer, Roderick Bloem et al.2017 · 1 citationarXiv
CTL* synthesis via LTL synthesis1711.10636v1 · Roderick Bloem, Sven Schewe, Ayrat Khalimov2017 · 8 citationsEPTCS 260, 2017, pp. 4-22
Safe Reinforcement Learning via Shielding1708.08611v2 · Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers et al.2017 · 722 citationsarXiv
Shield synthesis.32009740 · Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick et al.2020 · 56 citationsFormal methods in system design. 2017;51(2):332-361
The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond1611.07626v1 · Swen Jacobs, Roderick Bloem2016 · 11 citationsEPTCS 229, 2016, pp. 133-148
QBF Solving by Counterexample-guided Expansion1611.01553v4 · Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic2016 · 4 citationsarXiv
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results1609.00507v2 · Swen Jacobs, Roderick Bloem, Romain Brenguier et al.2016 · 15 citationsEPTCS 229, 2016, pp. 149-177
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications1604.06204v1 · Roderick Bloem, Uwe Egly, Patrick Klampfl et al.2016 · 4 citationsarXiv
The Second Reactive Synthesis Competition (SYNTCOMP 2015)1602.01171v1 · Swen Jacobs, Roderick Bloem, Romain Brenguier et al.2016 · 15 citationsEPTCS 202, 2016, pp. 27-57
Cooperative Reactive Synthesis1507.02531v1 · Roderick Bloem, Ruediger Ehlers, Robert Koenighofer2015 · 0 citationsarXiv
The First Reactive Synthesis Competition (SYNTCOMP 2014)1506.08726v3 · Swen Jacobs, Roderick Bloem, Romain Brenguier et al.2015 · 33 citationsInternational Journal on Software Tools for Technology Transfer, Online First, 2016, pp 1-24
Shield Synthesis: Runtime Enforcement for Reactive Systems1501.02573v2 · Roderick Bloem, Bettina Koenighofer, Robert Koenighofer et al.2015 · 30 citationsarXiv
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information1411.4604v1 · Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs et al.2014 · 26 citationsarXiv
Automatic Error Localization for Software using Deductive Verification1409.4637v1 · Robert Koenighofer, Ronald Toegl, Roderick Bloem2014 · 11 citationsarXiv
SAT-Based Methods for Circuit Synthesis1408.2333v2 · Roderick Bloem, Uwe Egly, Patrick Klampfl et al.2014 · 22 citationsarXiv
How to Handle Assumptions in Synthesis1407.5395v1 · Roderick Bloem, Rudiger Ehlers, Swen Jacobs et al.2014 · 49 citationsEPTCS 157, 2014, pp. 34-50
Parameterized Synthesis Case Study: AMBA AHB (extended version)1406.7608v3 · Roderick Bloem, Swen Jacobs, Ayrat Khalimov2014 · 18 citationsSYNT 2014, EPTCS 157, pp. 68-83
Parameterized Synthesis1401.3588v2 · Swen Jacobs, Roderick Bloem2014 · 29 citationsLogical Methods in Computer Science, Volume 10, Issue 1 (February 13, 2014) lmcs:736
SAT-Based Synthesis Methods for Safety Specs1311.3530v1 · Roderick Bloem, Robert Koenighofer, Martina Seidl2013 · 85 citationsarXiv
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof1308.4767v1 · Georg Hofferek, Ashutosh Gupta, Bettina Konighofer et al.2013 · 16 citationsarXiv
Synthesizing Robust Systems with RATSY1207.1268v1 · Roderick Bloem (IAIK, TU-Graz), Hans-Jurgen Gamauf (IAIK et al.2012 · 12 citationsEPTCS 84, 2012, pp. 47-53
Better Quality in Synthesis through Quantitative Objectives0904.2638v3 · Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger et al.2009 · 223 citationsarXiv
Career total: 249 works. 48 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.