Biere, Armin

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Biere, Armin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Treffer 21-32 von 32 (Suchzeit: 0.003 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
21Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings 2014
22Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings2014
23Heule, Marijn ; Seidl, Martina ; Biere, Armin A Unified Proof System for QBF PreprocessingKonferenzbeitrag Inproceedings 2014
24Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei Experimenting with SAT Solvers in VampireKonferenzbeitrag Inproceedings2014
25Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob SmacC: A Retargetable Symbolic Execution EngineKonferenzbeitrag Inproceedings 2013
26Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob The Auspicious Couple: Symbolic Execution and WCET AnalysisKonferenzbeitrag Inproceedings 2013
27Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2013
28Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin Bridging the gap between dual propagation and CNF-based QBF solvingKonferenzbeitrag Inproceedings 2013
29Artho, Cyrille ; Seidl, Martina ; Biere, Armin Model-Based Testing for Verification Back-EndsKonferenzbeitrag Inproceedings 2013
30Seidl, Martina ; Lonsing, Florian ; Biere, Armin qbf2epr: A Tool for Generating EPR Formulas from QBFKonferenzbeitrag Inproceedings2012
31Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Resolution-Based Certificate Extraction for QBFKonferenzbeitrag Inproceedings 2012
32Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans Guided Merging of Sequence DiagramsKonferenzbeitrag Inproceedings 2012