Full name Familienname, Vorname
Bloem, Roderick
 

Results 1-9 of 9 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick Synthesis of Distributed Algorithms with Parameterized Threshold GuardsKonferenzbeitrag Inproceedings 2017
2Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina ; McMillan, Kenneth ; Rival, Xavier SAT-Based Synthesis Methods for Safety SpecsKonferenzbeitrag Inproceedings 2014
3Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
4Bloem 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
5Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Expansion-Based QBF Solving Without RecursionKonferenzbeitrag Inproceedings 2018
6Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
7Hadzic-2021-CocoAlma A Versatile Masking Verifier-vor.pdf.jpgHadžić, Vedad ; Bloem, Roderick CocoAlma: A Versatile Masking VerifierKonferenzbeitrag Inproceedings Oct-2021
8Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan Adaptive Testing for Specification Coverage in CPS ModelsKonferenzbeitrag Inproceedings2021
9Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Roeck, Franz A Counting Semantics for Monitoring LTL Specifications over Finite TracesKonferenzbeitrag Inproceedings 2018