Name Card

Full name Familienname, Vorname
Bloem, Roderick
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierInproceedings Oct-2021
2Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan Adaptive Testing for Specification Coverage in CPS ModelsKonferenzbeitrag Inproceedings2021
3Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
4Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz A Counting Semantics for Monitoring LTL Specifications over Finite TracesKonferenzbeitrag Inproceedings 2018
5Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Expansion-Based QBF Solving Without RecursionKonferenzbeitrag Inproceedings 2018
6Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick Synthesis of Distributed Algorithms with Parameterized Threshold GuardsKonferenzbeitrag Inproceedings 2017
7Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationArtikel Article2016
8Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
9Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
10Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina SAT-Based Synthesis Methods for Safety SpecsKonferenzbeitrag Inproceedings 2014
11Bloem Roderick - 2014 - Reduction of Resolution Refutations and Interpolants via...pdf.jpgBloem, Roderick ; Malik, Sharad ; Schlaipfer, Matthias ; Weissenbacher, GeorgReduction of Resolution Refutations and Interpolants via SubsumptionInproceedings Konferenzbeitrag 2014