default search action
Roderick Bloem
Roderick Paul Bloem
Person information
- affiliation: Graz University of Technology, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j28]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) - [j27]Johannes Haring, Vedad Hadzic, Roderick Bloem:
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(4): 110-132 (2024) - [j26]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 Trans. Cryptogr. Hardw. Embed. Syst. 2024(4): 179-204 (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
- [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) - [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 - [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
- [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) - [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 - [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] - [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
- [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) - [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 - [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
- [j19]Roderick Bloem, Paulo Tabuada:
Preface for the SYNT. Acta Informatica 57(1-2): 1 (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 - [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)
2010 – 2019
- 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) - [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 - [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
- [j17]Hannes Groß, Rinat Iusupov, Roderick Bloem:
Generic Low-Latency Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2018(2): 1-21 (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 - [p1]Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann:
Graph Games and Reactive Synthesis. Handbook of Model Checking 2018: 921-962 - [e6]Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem:
Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 [contents] - [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
- [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) - [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 - [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
- [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) - [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 - [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] - [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
- [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 - [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 - [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
- [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) - [c56]Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing:
SAT-based methods for circuit synthesis. FMCAD 2014: 31-34 - [c55]