Roderick Bloem

197 papers A* 18A 7B 35C 8Misc 2Journal 76Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Parameterized Infinite-State Reactive Synthesis. Proc. ACM Program. Lang. Benedikt Maderbacher, Roderick Bloem
2026	J	`jnl`	Sharing The Secret: Distributed Privacy-Preserving Monitoring. CoRR Mahyar Karimi, K. S. Thejaswini, Roderick Bloem, Thomas A. Henzinger
2025	J	`jnl`	Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters. IACR Trans. Cryptogr. Hardw. Embed. Syst. Vedad Hadzic, Roderick Bloem
2025	J	`jnl`	Parameterized Infinite-State Reactive Synthesis. CoRR Benedikt Maderbacher, Roderick Bloem
2025	J	`jnl`	Shields for Safe Reinforcement Learning. Commun. ACM Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2025	—	`conf`	Synthesis of Controllers for Continuous Blackbox Systems. VMCAI (2) Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem
2024	J	`jnl`	Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches. IACR Trans. Cryptogr. Hardw. Embed. Syst. Johannes Haring, Vedad Hadzic, Roderick Bloem
2024	J	`jnl`	Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024	J	`jnl`	Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Trans. Cryptogr. Hardw. Embed. Syst. Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024	—	`conf`	On Threat Model Repair. ISoLA (4) Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner
2024	J	`jnl`	Quantile: Quantifying Information Leakage. IACR Trans. Cryptogr. Hardw. Embed. Syst. Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem
2024	—	`conf`	Synthesis from Infinite-State Generalized Reactivity(1) Specifications. ISoLA (4) Benedikt Maderbacher, Felix Windisch, Roderick Bloem
2023	B	`conf`	A Systematic Approach to Automotive Security. FM Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023	J	`jnl`	A Systematic Approach to Automotive Security. CoRR Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023	B	`conf`	Attribute Repair for Threat Prevention. SAFECOMP Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
2023	J	`jnl`	Learning Mealy machines with one timer. Inf. Comput. Frits W. Vaandrager, Masoud Ebrahimi, Roderick Bloem
2023	J	`jnl`	Online shielding for reinforcement learning. Innov. Syst. Softw. Eng. Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2023	—	`conf`	Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2023	A*	`conf`	Safety Shielding under Delayed Observation. ICAPS Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2023	J	`jnl`	Safety Shielding under Delayed Observation. CoRR Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer
2022	—	`conf`	Automata Learning Meets Shielding. ISoLA (1) Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022	J	`jnl`	Automata Learning meets Shielding. CoRR Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
2022	J	`jnl`	Conformance Testing of Mealy Machines Under Input Restrictions. CoRR Alberto Larrauri, Roderick Bloem
2022	—	`conf`	Correct-by-Construction Runtime Enforcement in AI - A Survey. Principles of Systems Design Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022	J	`jnl`	Correct-by-Construction Runtime Enforcement in AI - A Survey. CoRR Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek
2022	Misc	`conf`	FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
2022	Misc	`conf`	Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
2022	J	`jnl`	Online Shielding for Reinforcement Learning. CoRR Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2022	A*	`conf`	Power Contracts: Provably Complete Power Leakage Models for Processors. CCS Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
2022	J	`jnl`	Power Contracts: Provably Complete Power Leakage Models for Processors. IACR Cryptol. ePrint Arch. Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
2022	J	`jnl`	Proving SIFA protection of masked redundant circuits. Innov. Syst. Softw. Eng. Vedad Hadzic, Robert Primas, Roderick Bloem
2022	B	`conf`	Reactive Synthesis Modulo Theories using Abstraction Refinement. FMCAD Benedikt Maderbacher, Roderick Bloem
2022	—	`ed.`	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 VSTTE Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
2022	J	`jnl`	Specifiable robustness in reactive synthesis. Formal Methods Syst. Des. Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2022	J	`jnl`	Threat Repair with Optimization Modulo Theories. CoRR Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
2021	C	`conf`	Adaptive Shielding under Uncertainty. ACC Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021	—	`conf`	Adaptive Testing for Specification Coverage in CPS Models. ADHS Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2021	B	`conf`	COCOALMA: A Versatile Masking Verifier. FMCAD Vedad Hadzic, Roderick Bloem
2021	A*	`conf`	Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. USENIX Security Symposium Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
2021	C	`conf`	Learning Mealy Machines with One Timer. LATA Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi
2021	J	`jnl`	Minimization and Synthesis of the Tail inSequential Compositions of Mealy Machines. CoRR Lázaro Alberto Larrauri, Roderick Bloem
2021	—	`conf`	Online Shielding for Stochastic Systems. NFM Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2021	B	`conf`	Proving SIFA Protection of Masked Redundant Circuits. ATVA Vedad Hadzic, Robert Primas, Roderick Bloem
2021	J	`jnl`	Proving SIFA Protection of Masked Redundant Circuits. CoRR Vedad Hadzic, Robert Primas, Roderick Bloem
2021	J	`jnl`	Reactive Synthesis Modulo Theories Using Abstraction Refinement. CoRR Benedikt Maderbacher, Roderick Bloem
2021	B	`conf`	TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. ATVA Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021	J	`jnl`	TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. CoRR Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
2021	J	`jnl`	Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2021	J	`jnl`	Vacuity in synthesis. Formal Methods Syst. Des. Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2020	J	`jnl`	Adaptive Shielding under Uncertainty. CoRR Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2020	J	`jnl`	Adaptive Testing for Specification Coverage. CoRR Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
2020	J	`jnl`	Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. IACR Cryptol. ePrint Arch. Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
2020	J	`jnl`	It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano
2020	J	`jnl`	Online Shielding for Stochastic Systems. CoRR Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem
2020	B	`conf`	Placement of Runtime Checks to Counteract Fault Injections. RV Benedikt Maderbacher, Anja F. Karl, Roderick Bloem
2020	J	`jnl`	Preface for the SYNT. Acta Informatica Roderick Bloem, Paulo Tabuada
2020	B	`conf`	Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
2020	J	`jnl`	Safety Synthesis Sans Specification. CoRR Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
2020	—	`conf`	Shield Synthesis for Reinforcement Learning. ISoLA (1) Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
2019	B	`conf`	Efficient Information-Flow Verification Under Speculative Execution. ATVA Roderick Bloem, Swen Jacobs, Yakir Vizel
2019	J	`jnl`	Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019	C	`conf`	Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019	J	`jnl`	Model-Based Testing IoT Communication via Active Automata Learning. CoRR Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2019	—	`conf`	Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
2019	B	`conf`	Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs. VMCAI Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard
2019	C	`conf`	Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
2019	B	`conf`	Synthesizing Reactive Systems Using Robustness and Recovery Specifications. FMCAD Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2019	J	`jnl`	Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods Syst. Des. Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2019	J	`jnl`	The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR 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
2018	—	`conf`	A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018	J	`jnl`	A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck
2018	B	`conf`	Automata Learning for Symbolic Execution. FMCAD Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
2018	B	`conf`	Bounded Synthesis of Register Transducers. ATVA Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018	J	`jnl`	Bounded Synthesis of Register Transducers. CoRR Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
2018	B	`conf`	Expansion-Based QBF Solving Without Recursion. FMCAD Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2018	J	`jnl`	Expansion-Based QBF Solving Without Recursion. CoRR Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2018	—	`conf`	Formal Verification of Masked Hardware Implementations in the Presence of Glitches. EUROCRYPT (2) Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
2018	J	`jnl`	Generic Low-Latency Masking in Hardware. IACR Trans. Cryptogr. Hardw. Embed. Syst. Hannes Groß, Rinat Iusupov, Roderick Bloem
2018	—	`ch.`	Graph Games and Reactive Synthesis. Handbook of Model Checking Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann
2018	—	`book`	Handbook of Model Checking. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
2018	A*	`conf`	Safe Reinforcement Learning via Shielding. AAAI Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2018	J	`jnl`	Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking. IACR Cryptol. ePrint Arch. Roderick Bloem, Hannes Groß, Rinat Iusupov, Martin Krenn, Stefan Mangard
2018	J	`jnl`	Shielded Decision-Making in MDPs. CoRR Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
2018	J	`jnl`	Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. CoRR Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
2017	—	`conf`	Bounded Synthesis for Streett, Rabin, and \text CTL^*. CAV (2) Ayrat Khalimov, Roderick Bloem
2017	—	`conf`	CTL* synthesis via LTL synthesis. SYNT@CAV Roderick Bloem, Sven Schewe, Ayrat Khalimov
2017	J	`jnl`	Formal Verification of Masked Hardware Implementations in the Presence of Glitches. IACR Cryptol. ePrint Arch. Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard, Johannes Winter
2017	J	`jnl`	Generic Low-Latency Masking. IACR Cryptol. ePrint Arch. Hannes Groß, Rinat Iusupov, Roderick Bloem
2017	A	`conf`	Model-Based Testing IoT Communication via Active Automata Learning. ICST Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2017	J	`jnl`	OpenSEA: Semi-Formal Methods for Soft Error Analysis. CoRR Patrick Klampfl, Robert Könighofer, Roderick Bloem, Ayrat Khalimov, Aiman Abu-Yonis, Shiri Moran
2017	J	`jnl`	Safe Reinforcement Learning via Shielding. CoRR Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2017	J	`jnl`	Shield synthesis. Formal Methods Syst. Des. Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2017	B	`conf`	Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
2017	B	`conf`	Synthesizing Non-Vacuous Systems. VMCAI Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
2017	—	`conf`	The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 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
2017	J	`jnl`	The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 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
2017	B	`conf`	Towards a Secure SCRUM Process for Agile Web Application Development. ARES Patrik Maier, Zhendong Ma, Roderick Bloem
2016	J	`jnl`	Decidability in Parameterized Verification. SIGACT News Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2016	J	`jnl`	Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Elektrotech. Informationstechnik Carlo Alberto Boano, Kay Römer, Roderick Bloem, Klaus Witrisal, Marcel Baunach, Martin Horn
2016	C	`conf`	Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL 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
2016	—	`ed.`	Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings Haifa Verification Conference Roderick Bloem, Eli Arbel
2016	—	`conf`	SMT-Based CPS Parameter Synthesis. ARCH@CPSWeek Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
2016	J	`jnl`	Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
2016	—	`conf`	Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems. CAV (1) Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
2016	B	`conf`	Synthesizing adaptive test strategies from temporal logic specifications. FMCAD Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck
2016	—	`conf`	The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV 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
2016	—	`conf`	The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond. SYNT@CAV Swen Jacobs, Roderick Bloem
2015	A	`conf`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. TACAS Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2015	—	`conf`	Case Study: Automatic Test Case Generation for a Secure Cache Implementation. TAP@STAF Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi
2015	B	`conf`	Cooperative Reactive Synthesis. ATVA Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	J	`jnl`	Cooperative Reactive Synthesis. CoRR Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
2015	—	`book`	Decidability of Parameterized Verification Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015	B	`conf`	Reactive Synthesis. FMCAD Roderick Bloem
2015	A	`conf`	Shield Synthesis: - Runtime Enforcement for Reactive Systems. TACAS Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015	J	`jnl`	Shield Synthesis: Runtime Enforcement for Reactive Systems. CoRR Roderick Bloem, Bettina Könighofer, Robert Könighofer, Chao Wang
2015	A	`conf`	Synthesizing cooperative reactive mission plans. IROS Rüdiger Ehlers, Robert Könighofer, Roderick Bloem
2015	J	`jnl`	The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR 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
2015	—	`conf`	The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT 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
2014	J	`jnl`	Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. CoRR Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer
2014	—	`conf`	Automatic Error Localization for Software Using Deductive Verification. Haifa Verification Conference Robert Könighofer, Ronald Toegl, Roderick Bloem
2014	J	`jnl`	Automatic Error Localization for Software using Deductive Verification. CoRR Robert Könighofer, Ronald Toegl, Roderick Bloem
2014	—	`conf`	Automating Test-Suite Augmentation. QSIC Roderick Bloem, Robert Könighofer, Franz Röck, Michael Tautschnig
2014	A*	`ed.`	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 CAV Armin Biere, Roderick Bloem
2014	—	`conf`	How to Handle Assumptions in Synthesis. SYNT Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, Robert Könighofer
2014	J	`jnl`	Parameterized Synthesis Case Study: AMBA AHB. CoRR Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2014	—	`conf`	Parameterized Synthesis Case Study: AMBA AHB. SYNT Roderick Bloem, Swen Jacobs, Ayrat Khalimov
2014	J	`jnl`	Parameterized Synthesis. Log. Methods Comput. Sci. Swen Jacobs, Roderick Bloem
2014	—	`conf`	Reduction of Resolution Refutations and Interpolants via Subsumption. Haifa Verification Conference Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher
2014	J	`jnl`	SAT-Based Methods for Circuit Synthesis. CoRR Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
2014	B	`conf`	SAT-Based Synthesis Methods for Safety Specs. VMCAI Roderick Bloem, Robert Könighofer, Martina Seidl
2014	B	`conf`	SAT-based methods for circuit synthesis. FMCAD Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing
2014	—	`conf`	Security concepts for a distributed architecture for activity logging and analysis. I-KNOW Viktoria Pammer, Hermann Stern, Stefan Edler, Daniel M. Hein, Martin Pirker, Roderick Bloem, Alfred Wertner
2014	B	`conf`	Synthesis of synchronization using uninterpreted functions. FMCAD Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork
2014	J	`jnl`	Synthesizing robust systems. Acta Informatica Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
2013	J	`jnl`	Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies. Int. J. Softw. Tools Technol. Transf. Robert Könighofer, Georg Hofferek, Roderick Bloem
2013	A*	`conf`	PARTY Parameterized Synthesis of Token Rings. CAV Ayrat Khalimov, Swen Jacobs, Roderick Bloem
2013	J	`jnl`	SAT-Based Synthesis Methods for Safety Specs. CoRR Roderick Bloem, Robert Könighofer, Martina Seidl
2013	J	`jnl`	Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof. CoRR Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2013	B	`conf`	Synthesizing multiple boolean functions using interpolation on a single proof. FMCAD Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2013	B	`conf`	Towards Efficient Parameterized Synthesis. VMCAI Ayrat Khalimov, Swen Jacobs, Roderick Bloem
2013	—	`ed.`	Trusted Systems - 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings INTRUST Roderick Bloem, Peter Lipp
2012	J	`jnl`	Finding and fixing faults. J. Comput. Syst. Sci. Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem
2012	—	`conf`	FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
2012	A	`conf`	Parameterized Synthesis. TACAS Swen Jacobs, Roderick Bloem
2012	—	`conf`	Repair with On-The-Fly Program Analysis. Haifa Verification Conference Robert Könighofer, Roderick Bloem
2012	B	`conf`	Secure Embedded Platform with Advanced Process Isolation and Anonymity Capabilities. TrustBus Marc-Michael Bergfeld, Holger Bock, Roderick Bloem, Jan Blonk, Gregory Conti, Kurt Dietrich, Matthias Junk, Florian Schreiner, Stephan Spitz, Johannes Winter
2012	J	`jnl`	Synthesis of Reactive(1) designs. J. Comput. Syst. Sci. Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar
2012	—	`conf`	Synthesizing Robust Systems with RATSY SYNT Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer, Robert Könighofer
2011	B	`conf`	Automated error localization and correction for imperative programs. FMCAD Robert Könighofer, Roderick Bloem
2011	C	`conf`	Controller synthesis for pipelined circuits using uninterpreted functions. MEMOCODE Georg Hofferek, Roderick Bloem
2011	—	`conf`	Generalized Reactivity(1) Synthesis without a Monolithic Strategy. Haifa Verification Conference Matthias Schlaipfer, Georg Hofferek, Roderick Bloem
2011	—	`conf`	Specification-centered robustness. SIES Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
2011	—	`conf`	Test Case Generation from Mutants Using Model Checking Techniques. ICST Workshops Heinz Riener, Roderick Bloem, Görschwin Fey
2010	—	`conf`	Debugging Unrealizable Specifications with Model-Based Diagnosis. Haifa Verification Conference Robert Könighofer, Georg Hofferek, Roderick Bloem
2010	J	`jnl`	Fault localization using a model checker. Softw. Test. Verification Reliab. Andreas Griesmayer, Stefan Staber, Roderick Bloem
2010	J	`jnl`	Guest Editorial. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Roderick Bloem, Patrick Schaumont
2010	B	`ed.`	Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23 FMCAD Roderick Bloem, Natasha Sharygina
2010	A*	`conf`	RATSY - A New Requirements Analysis Tool with Synthesis. CAV Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
2010	A*	`conf`	Robustness in the Presence of Liveness. CAV Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
2009	J	`jnl`	Better Quality in Synthesis through Quantitative Objectives CoRR Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2009	A*	`conf`	Better Quality in Synthesis through Quantitative Objectives. CAV Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
2009	B	`conf`	Debugging formal specifications using simple counterstrategies. FMCAD Robert Könighofer, Georg Hofferek, Roderick Bloem
2009	B	`conf`	Synthesizing robust systems. FMCAD Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann
2008	J	`jnl`	Automatic Fault Localization for Property Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler
2008	—	`conf`	Debugging Design Errors by Using Unsatisfiable Cores. MBMV André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler
2008	—	`conf`	Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem
2008	—	`conf`	Open Implication. ICALP (2) Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi
2008	—	`conf`	Using unsatisfiable cores to debug multiple design errors. ACM Great Lakes Symposium on VLSI André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler
2007	A*	`conf`	Anzu: A Tool for Property Synthesis. CAV Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem
2007	A	`conf`	Fault Localization and Correction with QBF. SAT Stefan Staber, Roderick Bloem
2007	A	`conf`	Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007	—	`ed.`	Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006 V&D@FLoC Roderick Bloem, Marco Roveri, Fabio Somenzi
2007	A*	`conf`	RAT: A Tool for the Formal Analysis of Requirements. CAV Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
2007	—	`conf`	Specify, Compile, Run: Hardware from PSL. COCV Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer
2007	J	`jnl`	Symbolic Implementation of Alternating Automata. Int. J. Found. Comput. Sci. Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri
2006	J	`jnl`	An Algorithm for Strongly Connected Component Analysis in Formal Methods Syst. Des. Roderick Bloem, Harold N. Gabow, Fabio Somenzi
2006	—	`conf`	Automated Fault Localization for C Programs. V&D@FLoC Andreas Griesmayer, Stefan Staber, Roderick Bloem
2006	—	`conf`	Automatic Fault Localization for Property Checking. Haifa Verification Conference Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler
2006	J	`jnl`	Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
2006	A*	`conf`	Formal analysis of hardware requirements. DAC Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
2006	B	`conf`	Optimizations for LTL Synthesis. FMCAD Barbara Jobstmann, Roderick Bloem
2006	—	`conf`	Preface. V&D@FLoC Roderick Bloem, Marco Roveri, Fabio Somenzi
2006	A*	`conf`	Repair of Boolean Programs with an Application to C. CAV Andreas Griesmayer, Roderick Bloem, Byron Cook
2006	C	`conf`	Symbolic Implementation of Alternating Automata. CIAA Roderick Bloem, Alessandro Cimatti, Ingo Pill, Marco Roveri, Simone Semprini
2005	—	`conf`	Finding and Fixing Faults. CHARME Stefan Staber, Barbara Jobstmann, Roderick Bloem
2005	C	`conf`	Formal Verification of Control Software: A Case Study. IEA/AIE Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
2005	A*	`conf`	Program Repair as a Game. CAV Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
2002	B	`conf`	Analysis of Symbolic SCC Hull Algorithms. FMCAD Fabio Somenzi, Kavita Ravi, Roderick Bloem
2002	A*	`conf`	Fair Simulation Minimization. CAV Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
2001	B	`conf`	Divide and Compose: SCC Refinement for Language Emptiness. CONCUR Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
2000	B	`conf`	A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD Kavita Ravi, Roderick Bloem, Fabio Somenzi
2000	J	`jnl`	A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars. J. Comput. Syst. Sci. Roderick Bloem, Joost Engelfriet
2000	B	`conf`	An Algorithm for Strongly Connected Component Analysis in FMCAD Roderick Bloem, Harold N. Gabow, Fabio Somenzi
2000	A*	`conf`	Efficient Büchi Automata from LTL Formulae. CAV Fabio Somenzi, Roderick Bloem
2000	A*	`conf`	Symbolic guided search for CTL model checking. DAC Roderick Bloem, Kavita Ravi, Fabio Somenzi
1999	A*	`conf`	Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV Roderick Bloem, Kavita Ravi, Fabio Somenzi
1997	—	`conf`	Monadic Second Order Logic and Node Relations on Graphs and Trees. Structures in Logic and Computer Science Roderick Bloem, Joost Engelfriet