TDG
Scholar
Committed to research!
Version 1.7
Home
|
Bibliography
|
Writers
|
Journals
|
Conferences
|
Publishers
Help
|
News
Bibliography
Refine on click
|
Report
|
Share
More than 125 records were found in 0.547 seconds
Fetch
|
Report
|
Google
Solution Validation and Extraction for QBF Preprocessing
Marijn J. H. Heule
,
Martina Seidl
,
Armin Biere
J. Autom. Reasoning
,
58(1):97-125
,
2017
Fetch
|
Report
|
Google
Blocked Clauses in First-Order Logic
Benjamin Kiesl
,
Martin Suda 0001
,
Martina Seidl
,
Hans Tompits
,
Armin Biere
LPAR
,
31-48
,
2017
Fetch
|
Report
|
Google
Short Proofs Without New Variables
Marijn J. H. Heule
,
Benjamin Kiesl
,
Armin Biere
CADE
,
130-147
,
2017
Fetch
|
Report
|
Google
Column-wise verification of multipliers using computer algebra
Daniela Ritirc
,
Armin Biere
,
Manuel Kauers
FMCAD
,
23-30
,
2017
Fetch
|
Report
|
Google
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl
,
Martina Seidl
,
Hans Tompits
,
Armin Biere
IJCAI
,
4884-4888
,
2017
Fetch
|
Report
|
Google
SAT Race 2015
Tomas Balyo
,
Armin Biere
,
Markus Iser
,
Carsten Sinz
Artif. Intell.
,
24145-65
,
2016
Fetch
|
Report
|
Google
A Duality-Aware Calculus for Quantified Boolean Formulas
Katalin Fazekas
,
Martina Seidl
,
Armin Biere
SYNASC
,
181-186
,
2016
Fetch
|
Report
|
Google
Super-Blocked Clauses
Benjamin Kiesl
,
Martina Seidl
,
Hans Tompits
,
Armin Biere
IJCAR
,
45-61
,
2016
Fetch
|
Report
|
Google
Complexity of Fixed-Size Bit-Vector Logics
Gergely Kovásznai
,
Andreas Fröhlich
,
Armin Biere
Theory Comput. Syst.
,
59(2):323-376
,
2016
Fetch
|
Report
|
Google
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories
Aina Niemetz
,
Mathias Preiner
,
Armin Biere
CAV (1)
,
199-217
,
2016
Fetch
|
Report
|
Google
Home Page
Armin Biere
2016
Fetch
|
Report
|
Google
Blocked Literals Are Universal
Marijn Heule
,
Martina Seidl
,
Armin Biere
NFM
,
436-442
,
2015
Fetch
|
Report
|
Google
Stochastic Local Search for Satisfiability Modulo Theories
Andreas Fröhlich
,
Armin Biere
,
Christoph M. Wintersteiger
,
Youssef Hamadi
AAAI
,
1136-1143
,
2015
Fetch
|
Report
|
Google
Optimization of Combinatorial Testing by Incremental SAT Solving
Akihisa Yamada 0002
,
Takashi Kitamura
,
Cyrille Artho
,
Eun-Hye Choi
,
Yutaka Oiwa
,
Armin Biere
ICST
,
1-10
,
2015
Fetch
|
Report
|
Google
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)
Armin Biere
,
Vijay Ganesh
,
Martin Grohe
,
Jakob Nordström
,
Ryan Williams 0001
Dagstuhl Reports
,
5(4):98-122
,
2015
Fetch
|
Report
|
Google
Clause Elimination for SAT and QSAT
Marijn Heule
,
Matti Järvisalo
,
Florian Lonsing
,
Martina Seidl
,
Armin Biere
J. Artif. Intell. Res. (JAIR)
,
53127-168
,
2015
Report
|
Google
Better Lemmas with Lambda Extraction
Mathias Preiner
,
Aina Niemetz
,
Armin Biere
FMCAD
,
128-135
,
2015
Fetch
|
Report
|
Google
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
Florian Lonsing
,
Fahiem Bacchus
,
Armin Biere
,
Uwe Egly
,
Martina Seidl
LPAR
,
418-433
,
2015
Fetch
|
Report
|
Google
Compositional Propositional Proofs
Marijn J. H. Heule
,
Armin Biere
LPAR
,
444-459
,
2015
Fetch
|
Report
|
Google
Evaluating CDCL Variable Scoring Schemes
Armin Biere
,
Andreas Fröhlich
SAT
,
405-422
,
2015
Fetch
|
Report
|
Google
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
Gergely Kovásznai
,
Helmut Veith
,
Andreas Fröhlich
,
Armin Biere
MFCS (2)
,
481-492
,
2014
Fetch
|
Report
|
Google
Experimenting with SAT Solvers in Vampire
Armin Biere
,
Ioan Dragan
,
Laura Kovács
,
Andrei Voronkov
MICAI (1)
,
431-442
,
2014
Fetch
|
Report
|
Google
Efficient extraction of Skolem functions from QRAT proofs
Marijn Heule
,
Martina Seidl
,
Armin Biere
FMCAD
,
107-114
,
2014
Fetch
|
Report
|
Google
Challenges in bit-precise reasoning
Armin Biere
FMCAD
,
3
,
2014
Fetch
|
Report
|
Google
Turbo-charging Lemmas on demand with don't care reasoning
Aina Niemetz
,
Mathias Preiner
,
Armin Biere
FMCAD
,
179-186
,
2014
Fetch
|
Report
|
Google
SAT solving experiments in Vampire
Armin Biere
,
Ioan Dragan
,
Laura Kovács
,
Andrei Voronkov
Vampire Workshop
,
29-32
,
2014
Fetch
|
Report
|
Google
Améliorer SAT dans le cadre incrémental
Gilles Audemard
,
Armin Biere
,
Jean-Marie Lagniez
,
Laurent Simon
Revue d'Intelligence Artificielle
,
28(5):593-614
,
2014
Fetch
|
Report
|
Google
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses
Adrian Balint
,
Armin Biere
,
Andreas Fröhlich
,
Uwe Schöning
SAT
,
302-316
,
2014
Fetch
|
Report
|
Google
Detecting Cardinality Constraints in CNF
Armin Biere
,
Daniel Le Berre
,
Emmanuel Lonca
,
Norbert Manthey
SAT
,
285-301
,
2014
Fetch
|
Report
|
Google
iDQ: Instantiation-Based DQBF Solving
Andreas Fröhlich
,
Gergely Kovásznai
,
Armin Biere
,
Helmut Veith
POS@SAT
,
103-116
,
2014
Fetch
|
Report
|
Google
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
Tomas Balyo
,
Andreas Fröhlich
,
Marijn Heule
,
Armin Biere
SAT
,
317-332
,
2014
Fetch
|
Report
|
Google
Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling
Armin Biere
POS@SAT
,
88
,
2014
Fetch
|
Report
|
Google
A Unified Proof System for QBF Preprocessing
Marijn Heule
,
Martina Seidl
,
Armin Biere
IJCAR
,
91-106
,
2014
Fetch
|
Report
|
Google
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
Armin Biere
,
Roderick Bloem
ISBN: 978-3-319-08866-28559
,
2014
Fetch
|
Report
|
Google
Concurrent Cube-and-Conquer
Peter van der Tak
,
Marijn Heule
,
Armin Biere
CoRR
,
abs/1402.4465
,
2014
Fetch
|
Report
|
Google
Lemmas on Demand for Lambdas
Mathias Preiner
,
Aina Niemetz
,
Armin Biere
DIFTS@FMCAD
,
2013
Fetch
|
Report
|
Google
The Auspicious Couple: Symbolic Execution and WCET Analysis
Armin Biere
,
Jens Knoop
,
Laura Kovács
,
Jakob Zwirchmayr
WCET
,
53-63
,
2013
Fetch
|
Report
|
Google
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere
,
Amir Nahir
,
Tanja E. J. Vos
ISBN: 978-3-642-39610-67857
,
2013
Fetch
|
Report
|
Google
SmacC: A Retargetable Symbolic Execution Engine
Armin Biere
,
Jens Knoop
,
Laura Kovács
,
Jakob Zwirchmayr
ATVA
,
482-486
,
2013
Fetch
|
Report
|
Google
Modbat: A Model-Based API Tester for Event-Driven Systems
Cyrille Valentin Artho
,
Armin Biere
,
Masami Hagiya
,
Eric Platon
,
Martina Seidl
,
Yoshinori Tanabe
,
Mitsuharu Yamamoto
Haifa Verification Conference
,
112-128
,
2013
Fetch
|
Report
|
Google
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding
Andreas Fröhlich
,
Gergely Kovásznai
,
Armin Biere
CSR
,
378-390
,
2013
Fetch
|
Report
|
Google
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into
Gergely Kovásznai
,
Andreas Fröhlich
,
Armin Biere
CADE
,
443-449
,
2013
Fetch
|
Report
|
Google
Factoring Out Assumptions to Speed Up MUS Extraction
Jean-Marie Lagniez
,
Armin Biere
SAT
,
276-292
,
2013
Fetch
|
Report
|
Google
Model-Based Testing for Verification Back-Ends
Cyrille Artho
,
Armin Biere
,
Martina Seidl
TAP
,
39-55
,
2013
Fetch
|
Report
|
Google
Bridging the gap between dual propagation and CNF-based QBF solving
Alexandra Goultiaeva
,
Martina Seidl
,
Armin Biere
DATE
,
811-814
,
2013
Fetch
|
Report
|
Google
Revisiting Hyper Binary Resolution
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
CPAIOR
,
77-93
,
2013
Fetch
|
Report
|
Google
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures
Martin Aigner 0003
,
Armin Biere
,
Christoph M. Kirsch
,
Aina Niemetz
,
Mathias Preiner
POS@SAT
,
28-40
,
2013
Fetch
|
Report
|
Google
Blocked Clause Decomposition
Marijn Heule
,
Armin Biere
LPAR
,
423-438
,
2013
Fetch
|
Report
|
Google
A comparison of strategies for tolerating inconsistencies during decision-making
Alexander Nöhrer
,
Armin Biere
,
Alexander Egyed
SPLC (1)
,
11-20
,
2012
Fetch
|
Report
|
Google
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
Vladimir Klebanov
,
Bernhard Beckert
,
Armin Biere
,
Geoff Sutcliffe
873
,
2012
Fetch
|
Report
|
Google
Simulating Circuit-Level Simplifications on CNF
Matti Järvisalo
,
Armin Biere
,
Marijn Heule
J. Autom. Reasoning
,
49(4):583-619
,
2012
Fetch
|
Report
|
Google
Guided Merging of Sequence Diagrams
Magdalena Widl
,
Armin Biere
,
Petra Brosch
,
Uwe Egly
,
Marijn Heule
,
Gerti Kappel
,
Martina Seidl
,
Hans Tompits
SLE
,
164-183
,
2012
Fetch
|
Report
|
Google
Automated Reencoding of Boolean Formulas
Norbert Manthey
,
Marijn Heule
,
Armin Biere
Haifa Verification Conference
,
102-117
,
2012
Fetch
|
Report
|
Google
qbf2epr: A Tool for Generating EPR Formulas from QBF
Martina Seidl
,
Florian Lonsing
,
Armin Biere
PAAR@IJCAR
,
139-148
,
2012
Fetch
|
Report
|
Google
Practical Aspects of SAT Solving
Armin Biere
SMT@IJCAR
,
1
,
2012
Fetch
|
Report
|
Google
Practical Aspects of SAT Solving
Armin Biere
PAAR@IJCAR
,
1
,
2012
Fetch
|
Report
|
Google
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
Gergely Kovásznai
,
Andreas Fröhlich
,
Armin Biere
SMT@IJCAR
,
44-56
,
2012
Fetch
|
Report
|
Google
Managing SAT inconsistencies with HUMUS
Alexander Nöhrer
,
Armin Biere
,
Alexander Egyed
VaMoS
,
83-91
,
2012
Fetch
|
Report
|
Google
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011
Malay K. Ganai
,
Armin Biere
832
,
2012
Fetch
|
Report
|
Google
Inprocessing Rules
Matti Järvisalo
,
Marijn Heule
,
Armin Biere
IJCAR
,
355-370
,
2012
Fetch
|
Report
|
Google
Concurrent Cube-and-Conquer - (Poster Presentation)
Peter van der Tak
,
Marijn Heule
,
Armin Biere
SAT
,
475-476
,
2012
Fetch
|
Report
|
Google
Resolution-Based Certificate Extraction for QBF - (Tool Presentation)
Aina Niemetz
,
Mathias Preiner
,
Florian Lonsing
,
Martina Seidl
,
Armin Biere
SAT
,
430-435
,
2012
Fetch
|
Report
|
Google
Failed Literal Detection for QBF
Florian Lonsing
,
Armin Biere
SAT
,
259-272
,
2011
Fetch
|
Report
|
Google
Preface
Armin Biere
,
Karen Yorav
Formal Methods in System Design
,
39(2):115-116
,
2011
Fetch
|
Report
|
Google
Blocked Clause Elimination for QBF
Armin Biere
,
Florian Lonsing
,
Martina Seidl
CADE
,
101-115
,
2011
Fetch
|
Report
|
Google
Efficient CNF Simplification Based on Binary Implication Graphs
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
SAT
,
201-215
,
2011
Fetch
|
Report
|
Google
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Marijn Heule
,
Oliver Kullmann
,
Siert Wieringa
,
Armin Biere
Haifa Verification Conference
,
50-65
,
2011
Fetch
|
Report
|
Google
Preprocessing and Inprocessing Techniques in SAT
Armin Biere
Haifa Verification Conference
,
1
,
2011
Fetch
|
Report
|
Google
Covered Clause Elimination
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
LPAR short papers(Yogyakarta)
,
41-46
,
2010
Fetch
|
Report
|
Google
DepQBF: A Dependency-Aware QBF Solver
Florian Lonsing
,
Armin Biere
JSAT
,
7(2-3):71-76
,
2010
Fetch
|
Report
|
Google
Blocked Clause Elimination
Matti Järvisalo
,
Armin Biere
,
Marijn Heule
TACAS
,
129-144
,
2010
Fetch
|
Report
|
Google
Automated Testing and Debugging of SAT and QBF Solvers
Robert Brummayer
,
Florian Lonsing
,
Armin Biere
SAT
,
44-57
,
2010
Fetch
|
Report
|
Google
Clause Elimination Procedures for CNF Formulas
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
LPAR (Yogyakarta)
,
357-371
,
2010
Fetch
|
Report
|
Google
Reconstructing Solutions after Blocked Clause Elimination
Matti Järvisalo
,
Armin Biere
SAT
,
340-345
,
2010
Fetch
|
Report
|
Google
Integrating Dependency Schemes in Search-Based QBF Solvers
Florian Lonsing
,
Armin Biere
SAT
,
158-171
,
2010
Fetch
|
Report
|
Google
Covered Clause Elimination
Marijn Heule
,
Matti Järvisalo
,
Armin Biere
CoRR
,
abs/1011.5202
,
2010
Fetch
|
Report
|
Google
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
Florian Lonsing
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
25183-95
,
2009
Fetch
|
Report
|
Google
Lemmas on Demand for the Extensional Theory of Arrays
Robert Brummayer
,
Armin Biere
JSAT
,
6(1-3):165-201
,
2009
Fetch
|
Report
|
Google
Effective Bit-Width and Under-Approximation
Robert Brummayer
,
Armin Biere
EUROCAST
,
304-311
,
2009
Fetch
|
Report
|
Google
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Robert Brummayer
,
Armin Biere
TACAS
,
174-177
,
2009
Fetch
|
Report
|
Google
Minimizing Learned Clauses
Niklas Sörensson
,
Armin Biere
SAT
,
237-243
,
2009
Fetch
|
Report
|
Google
A Compact Representation for Syntactic Dependencies in QBFs
Florian Lonsing
,
Armin Biere
SAT
,
398-411
,
2009
Fetch
|
Report
|
Google
Bounded Model Checking
Armin Biere
Handbook of Satisfiability
,
457-481
,
2009
Fetch
|
Report
|
Google
SAT, SMT and Applications
Armin Biere
LPNMR
,
1
,
2009
Report
|
Google
Handbook of Satisfiability
Armin Biere
,
Marijn Heule
,
Hans van Maaren
,
Toby Walsh
ISBN: 978-1-58603-929-5185
,
2009
Fetch
|
Report
|
Google
Adaptive Restart Strategies for Conflict Driven SAT Solvers
Armin Biere
SAT
,
28-33
,
2008
Fetch
|
Report
|
Google
Nenofex: Expanding NNF for QBF Solving
Florian Lonsing
,
Armin Biere
SAT
,
196-210
,
2008
Fetch
|
Report
|
Google
PicoSAT Essentials
Armin Biere
JSAT
,
4(2-4):75-97
,
2008
Fetch
|
Report
|
Google
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver
Armin Biere
,
Robert Brummayer
FMCAD
,
1-4
,
2008
Fetch
|
Report
|
Google
Tutorial on Model Checking: Modelling and Verification in Computer Science
Armin Biere
AB
,
16-21
,
2008
Fetch
|
Report
|
Google
A First Step Towards a Unified Proof Checker for QBF
Toni Jussila
,
Armin Biere
,
Carsten Sinz
,
Daniel Kröning
,
Christoph M. Wintersteiger
SAT
,
201-214
,
2007
Fetch
|
Report
|
Google
C32SAT: Checking C Expressions
Robert Brummayer
,
Armin Biere
CAV
,
294-297
,
2007
Fetch
|
Report
|
Google
Efficient Model Checking of Applications with Input/Output
Cyrille Artho
,
Boris Zweimüller
,
Armin Biere
,
Etsuya Shibayama
,
Shinichi Honiden
EUROCAST
,
515-522
,
2007
Fetch
|
Report
|
Google
Preface
Ofer Strichman
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
174(3):1-2
,
2007
Fetch
|
Report
|
Google
Compressing BMC Encodings with QBF
Toni Jussila
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
174(3):45-56
,
2007
Fetch
|
Report
|
Google
Liveness Checking as Safety Checking for Infinite State Spaces
Viktor Schuppan
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
149(1):79-96
,
2006
Fetch
|
Report
|
Google
Preface
Armin Biere
,
Ofer Strichman
Electr. Notes Theor. Comput. Sci.
,
144(1):1-
,
2006
Fetch
|
Report
|
Google
Extended Resolution Proofs for Conjoining BDDs
Carsten Sinz
,
Armin Biere
CSR
,
600-611
,
2006
Fetch
|
Report
|
Google
Linear Encodings of Bounded LTL Model Checking
Armin Biere
,
Keijo Heljanko
,
Tommi A. Junttila
,
Timo Latvala
,
Viktor Schuppan
CoRR
,
abs/cs/0611029
,
2006
Fetch
|
Report
|
Google
Decomposing SAT Problems into Connected Components
Armin Biere
,
Carsten Sinz
JSAT
,
2(1-4):201-208
,
2006
Fetch
|
Report
|
Google
Linear Encodings of Bounded LTL Model Checking
Armin Biere
,
Keijo Heljanko
,
Tommi A. Junttila
,
Timo Latvala
,
Viktor Schuppan
Logical Methods in Computer Science
,
2(5)
,
2006
Fetch
|
Report
|
Google
Advanced Unit Testing: How to Scale up a Unit Test Framework
Cyrille Artho
,
Armin Biere
AST
,
92-98
,
2006
Fetch
|
Report
|
Google
Exhaustive Testing of Exception Handlers with Enforcer
Cyrille Artho
,
Armin Biere
,
Shinichi Honiden
FMCO
,
26-46
,
2006
Fetch
|
Report
|
Google
Enforcer - Efficient Failure Injection
Cyrille Artho
,
Armin Biere
,
Shinichi Honiden
FM
,
412-427
,
2006
Fetch
|
Report
|
Google
Extended Resolution Proofs for Symbolic SAT Solving with Quantification
Toni Jussila
,
Carsten Sinz
,
Armin Biere
SAT
,
54-60
,
2006
Fetch
|
Report
|
Google
Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Armin Biere
,
Carla P. Gomes
ISBN: 3-540-37206-74121
,
2006
Fetch
|
Report
|
Google
Effective Preprocessing in SAT Through Variable and Clause Elimination
Niklas Eén
,
Armin Biere
SAT
,
61-75
,
2005
Fetch
|
Report
|
Google
SDL Versus C Equivalence Checking
Malek Haroud
,
Armin Biere
SDL Forum
,
323-338
,
2005
Fetch
|
Report
|
Google
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Viktor Schuppan
,
Armin Biere
TACAS
,
493-509
,
2005
Fetch
|
Report
|
Google
Simple Is Better: Efficient Bounded Model Checking for Past LTL
Timo Latvala
,
Armin Biere
,
Keijo Heljanko
,
Tommi A. Junttila
VMCAI
,
380-395
,
2005
Fetch
|
Report
|
Google
Introductory paper
Armin Biere
,
Ofer Strichman
STTT
,
7(2):87-88
,
2005
Fetch
|
Report
|
Google
A survey of recent advances in SAT-based formal verification
Mukul R. Prasad
,
Armin Biere
,
Aarti Gupta
STTT
,
7(2):156-173
,
2005
Fetch
|
Report
|
Google
Preface
Armin Biere
,
Ofer Strichman
Electr. Notes Theor. Comput. Sci.
,
119(2):1-
,
2005
Fetch
|
Report
|
Google
Combined Static and Dynamic Analysis
Cyrille Artho
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
1313-14
,
2005
Fetch
|
Report
|
Google
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
Cyrille Artho
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
141(1):109-128
,
2005
Fetch
|
Report
|
Google
JVM Independent Replay in Java
Viktor Schuppan
,
Marcel Baur
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
11385-104
,
2005
Fetch
|
Report
|
Google
JNuke: Efficient Dynamic Analysis for Java
Cyrille Artho
,
Viktor Schuppan
,
Armin Biere
,
Pascal Eugster
,
Marcel Baur
,
Boris Zweimüller
CAV
,
462-465
,
2004
Fetch
|
Report
|
Google
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Cyrille Artho
,
Klaus Havelund
,
Armin Biere
ATVA
,
150-164
,
2004
Fetch
|
Report
|
Google
Efficient reduction of finite state model checking to reachability analysis
Viktor Schuppan
,
Armin Biere
STTT
,
5(2-3):185-204
,
2004
Fetch
|
Report
|
Google
Simple Bounded LTL Model Checking
Timo Latvala
,
Armin Biere
,
Keijo Heljanko
,
Tommi A. Junttila
FMCAD
,
186-200
,
2004
Fetch
|
Report
|
Google
Resolve and Expand
Armin Biere
SAT
,
2004
Fetch
|
Report
|
Google
Resolve and Expand
Armin Biere
SAT (Selected Papers
,
59-70
,
2004
Fetch
|
Report
|
Google
Preface
Ofer Strichman
,
Armin Biere
Electr. Notes Theor. Comput. Sci.
,
89(4):541-542
,
2003
Fetch
|
Report
|
Google
High-level data races
Cyrille Artho
,
Klaus Havelund
,
Armin Biere
Softw. Test., Verif. Reliab.
,
13(4):207-227
,
2003
Report
|
Google
High-Level Data Races
Cyrille Artho
,
Klaus Havelund
,
Armin Biere
NDDL/VVEIS
,
82-93
,
2003
Fetch
|
Report
|
Google
Bounded model checking
Armin Biere
,
Alessandro Cimatti
,
Edmund M. Clarke
,
Ofer Strichman
,
Yunshan Zhu
Advances in Computers
,
58117-148
,
2003