| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Nöhrer, Armin Biere, Alexander Egyed |
Managing SAT inconsistencies with HUMUS.  |
VaMoS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Karen Yorav |
Preface. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Florian Lonsing, Martina Seidl |
Blocked Clause Elimination for QBF. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
Failed Literal Detection for QBF. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule, Matti Järvisalo, Armin Biere |
Efficient CNF Simplification Based on Binary Implication Graphs. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
DepQBF: A Dependency-Aware QBF Solver. |
JSAT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marijn Heule, Matti Järvisalo, Armin Biere |
Covered Clause Elimination |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matti Järvisalo, Armin Biere, Marijn Heule |
Blocked Clause Elimination. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule, Matti Järvisalo, Armin Biere |
Clause Elimination Procedures for CNF Formulas. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Armin Biere |
Reconstructing Solutions after Blocked Clause Elimination. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
Integrating Dependency Schemes in Search-Based QBF Solvers. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brummayer, Florian Lonsing, Armin Biere |
Automated Testing and Debugging of SAT and QBF Solvers. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brummayer, Armin Biere |
Lemmas on Demand for the Extensional Theory of Arrays. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (eds.) |
Handbook of Satisfiability |
Handbook of Satisfiability |
2009 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere |
Bounded Model Checking. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brummayer, Armin Biere |
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Sörensson, Armin Biere |
Minimizing Learned Clauses. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
A Compact Representation for Syntactic Dependencies in QBFs. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
SAT, SMT and Applications. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brummayer, Armin Biere |
Effective Bit-Width and Under-Approximation. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
PicoSAT Essentials. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere, Robert Brummayer |
Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
Adaptive Restart Strategies for Conflict Driven SAT Solvers. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Armin Biere |
Nenofex: Expanding NNF for QBF Solving. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
Tutorial on Model Checking: Modelling and Verification in Computer Science. |
AB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Jussila, Armin Biere |
Compressing BMC Encodings with QBF. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Strichman, Armin Biere |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger |
A First Step Towards a Unified Proof Checker for QBF. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brummayer, Armin Biere |
C32SAT: Checking C Expressions. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden |
Efficient Model Checking of Applications with Input/Output. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
software testing, Software model checking, network communication |
| 1 | Armin Biere, Carsten Sinz |
Decomposing SAT Problems into Connected Components. |
JSAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Ofer Strichman |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Liveness Checking as Safety Checking for Infinite State Spaces. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Sinz, Armin Biere |
Extended Resolution Proofs for Conjoining BDDs. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Carla P. Gomes (eds.) |
Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings |
SAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Toni Jussila, Carsten Sinz, Armin Biere |
Extended Resolution Proofs for Symbolic SAT Solving with Quantification. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere, Shinichi Honiden |
Exhaustive Testing of Exception Handlers with Enforcer. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere, Shinichi Honiden |
Enforcer - Efficient Failure Injection. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere |
Advanced Unit Testing: How to Scale up a Unit Test Framework. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Marcel Baur, Armin Biere |
JVM Independent Replay in Java. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere |
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere |
Combined Static and Dynamic Analysis. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Ofer Strichman |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mukul R. Prasad, Armin Biere, Aarti Gupta |
A survey of recent advances in SAT-based formal verification. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Verification, ATPG, SAT, QBF |
| 1 | Armin Biere, Ofer Strichman |
Introductory paper. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Eén, Armin Biere |
Effective Preprocessing in SAT Through Variable and Clause Elimination. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Is Better: Efficient Bounded Model Checking for Past LTL. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
Past LTL, Bounded Model Checking, NuSMV |
| 1 | Malek Haroud, Armin Biere |
SDL Versus C Equivalence Checking. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Efficient reduction of finite state model checking to reachability analysis. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Safety, Liveness, Linear temporal logic |
| 1 | Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila |
Simple Bounded LTL Model Checking. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
linear translation, bounded model checking, LTL, NuSMV |
| 1 | Armin Biere |
Resolve and Expand. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
Resolve and Expand. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cyrille Artho, Klaus Havelund, Armin Biere |
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller |
JNuke: Efficient Dynamic Analysis for Java. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
IEEE 1394 FireWire, Model checking, Formal methods, Protocol verification |
| 1 | Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan |
Formal Methods Group ETH Zürich. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Strichman, Armin Biere |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Klaus Havelund, Armin Biere |
High-level data races. |
Softw. Test., Verif. Reliab. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Plaisted, Armin Biere, Yunshan Zhu |
A satisfiability procedure for quantified Boolean formulae. |
Discrete Applied Mathematics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu |
Bounded model checking. |
Advances in Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Klaus Havelund, Armin Biere |
High-Level Data Races. |
NDDL/VVEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Armin Biere, Cyrille Artho, Viktor Schuppan |
Liveness Checking as Safety Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu |
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Wolfgang Kunz |
SAT and ATPG: Boolean engines for formal hardware verification. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu |
Bounded Model Checking Using Satisfiability Solving. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Armin Biere |
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta |
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Combining Local and Global Model Checking. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu |
Symbolic Model Checking without BDDs. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu |
Symbolic Model Checking Using SAT Procedures instead of BDDs. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu |
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi |
A Performance Study of BDD-Based Model Checking. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen. |
|
1997 |
RDF |
|
| 1 | Armin Biere |
µcke - Efficient µ-Calculus Model Checking. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")