Handbook of Model Checking von Clarke, Edmund M, Henzinger, Thomas A, Veith, Helmut, Bloem, Roderick

Volltext

Specifiable robustness in reactive synthesis von Bloem, Roderick, Chockler, Hana, Ebrahimi, Masoud, Strichman, Ofer

Volltext

Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches von Haring, Johannes, Hadži´c, Vedad, Bloem, Roderick

Volltext

Vacuity in synthesis von Bloem, Roderick, Chockler, Hana, Ebrahimi, Masoud, Strichman, Ofer

Volltext

Online shielding for reinforcement learning von Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

Volltext

Preface for the SYNT von Bloem, Roderick, Tabuada, Paulo

Volltext

Proving SIFA protection of masked redundant circuits von Hadžić, Vedad, Primas, Robert, Bloem, Roderick

Volltext

Better Quality in Synthesis through Quantitative Objectives von Bloem, Roderick, Chatterjee, Krishnendu, Henzinger, Thomas A., Jobstmann, Barbara

Volltext

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-... von Bloem, Roderick, Dimitrova, Rayna, Fan, Chuchu, Sharygina, Natasha

Volltext

Generic Low-Latency Masking in Hardware von Hannes Gross, Rinat Iusupov, Roderick Bloem

Volltext

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations von Bloem, Roderick, Braud-Santoni, Nicolas, Hadzic, Vedad, Egly, Uwe, Lonsing, Florian, Seidl, Martina

Volltext

Quantile: Quantifying Information Leakage von Hadžic, Vedad, Cassiers, Gaëtan, Primas, Robert, Mangar, Stefan, Bloem, Roderick

Volltext

Parameterized Synthesis von Jacobs, Swen, Bloem, Roderick

Volltext

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond von Jacobs, Swen, Bloem, Roderick

Volltext

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Volltext

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults von Tollec, Simon, Hadži´c, Vedad, Nasahl, Pascal, Asavoae, Mihail, Bloem, Roderick, Couroussé, Damien, Heydemann, Karine, Jan, Mathieu, Mangard, Stefan

Volltext

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings von Bloem, Roderick, Arbel, Eli

Volltext

How to Handle Assumptions in Synthesis von Bloem, Roderick, Ehlers, Rüdiger, Jacobs, Swen, Könighofer, Robert

Volltext

CTL synthesis via LTL synthesis von Bloem, Roderick, Schewe, Sven, Khalimov, Ayrat

Volltext

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification: Shield Synthesis for Safe Reinforcement Learning von Bloem, Roderick

Volltext