Armin Biere Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Armin Biere, Marijn Heule: Blocked Clause Elimination. TACAS 2010: 129-144
2009
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Brummayer, Armin Biere: Effective Bit-Width and Under-Approximation. EUROCAST 2009: 304-311
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: SAT, SMT and Applications. LPNMR 2009: 1
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiklas Sörensson, Armin Biere: Minimizing Learned Clauses. SAT 2009: 237-243
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Lonsing, Armin Biere: A Compact Representation for Syntactic Dependencies in QBFs. SAT 2009: 398-411
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Brummayer, Armin Biere: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: Bounded Model Checking. Handbook of Satisfiability 2009: 457-481
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Lonsing, Armin Biere: Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. Electr. Notes Theor. Comput. Sci. 251: 83-95 (2009)
2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: Tutorial on Model Checking: Modelling and Verification in Computer Science. AB 2008: 16-21
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Robert Brummayer: Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. FMCAD 2008: 1-4
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Lonsing, Armin Biere: Nenofex: Expanding NNF for QBF Solving. SAT 2008: 196-210
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: Adaptive Restart Strategies for Conflict Driven SAT Solvers. SAT 2008: 28-33
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: PicoSAT Essentials. JSAT 4(2-4): 75-97 (2008)
2007
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Brummayer, Armin Biere: C32SAT: Checking C Expressions. CAV 2007: 294-297
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger: A First Step Towards a Unified Proof Checker for QBF. SAT 2007: 201-214
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOfer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 174(3): 1-2 (2007)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Jussila, Armin Biere: Compressing BMC Encodings with QBF. Electr. Notes Theor. Comput. Sci. 174(3): 45-56 (2007)
2006
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Carla P. Gomes: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings Springer 2006
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Sinz, Armin Biere: Extended Resolution Proofs for Conjoining BDDs. CSR 2006: 600-611
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Armin Biere, Shinichi Honiden: Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Jussila, Carsten Sinz, Armin Biere: Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 144(1): 1- (2006)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Schuppan, Armin Biere: Liveness Checking as Safety Checking for Infinite State Spaces. Electr. Notes Theor. Comput. Sci. 149(1): 79-96 (2006)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Carsten Sinz: Decomposing SAT Problems into Connected Components. JSAT 2(1-4): 201-208 (2006)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking. Logical Methods in Computer Science 2(5): (2006)
2005
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiklas Eén, Armin Biere: Effective Preprocessing in SAT Through Variable and Clause Elimination. SAT 2005: 61-75
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalek Haroud, Armin Biere: SDL Versus C Equivalence Checking. SDL Forum 2005: 323-338
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Schuppan, Armin Biere: Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS 2005: 493-509
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI 2005: 380-395
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Schuppan, Marcel Baur, Armin Biere: JVM Independent Replay in Java. Electr. Notes Theor. Comput. Sci. 113: 85-104 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 119(2): 1- (2005)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 131: 3-14 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Armin Biere: Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 141(1): 109-128 (2005)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMukul R. Prasad, Armin Biere, Aarti Gupta: A survey of recent advances in SAT-based formal verification. STTT 7(2): 156-173 (2005)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Ofer Strichman: Introductory paper. STTT 7(2): 87-88 (2005)
2004
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Bounded LTL Model Checking. FMCAD 2004: 186-200
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: Resolve and Expand. SAT 2004
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: Resolve and Expand. SAT (Selected Papers 2004: 59-70
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Schuppan, Armin Biere: Efficient reduction of finite state model checking to reachability analysis. STTT 5(2-3): 185-204 (2004)
2003
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. NDDL/VVEIS 2003: 82-93
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 118-149 (2003)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Plaisted, Armin Biere, Yunshan Zhu: A satisfiability procedure for quantified Boolean formulae. Discrete Applied Mathematics 130(2): 291-328 (2003)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: (2003)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Schuppan, Armin Biere: Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Asp. Comput. 14(3): 267-280 (2003)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Wolfgang Kunz: SAT and ATPG: Boolean engines for formal hardware verification. ICCAD 2002: 782-785
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey 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 20(2): 159-186 (2002)
2001
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille Artho, Armin Biere: Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Australian Software Engineering Conference 2001: 68-75
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu: Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design 19(1): 7-34 (2001)
2000
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPoul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta: Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. CAV 2000: 124-138
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu: Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs. CAV 1999: 60-71
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Edmund M. Clarke, Yunshan Zhu: Multiple State and Single State Tableaux for Combining Local and Global Model Checking. Correct System Design 1999: 163-179
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Local and Global Model Checking. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBwolen 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: 255-289
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification. FMCAD 1998: 369-386
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Biere: µcke - Efficient µ-Calculus Model Checking. CAV 1997: 468-471

Coauthor Index

1Cyrille Artho [11] [13] [15] [17] [20] [25] [26] [29] [30] [43] [44] [50]
2Marcel Baur [25] [32]
3Sergey Berezin [2] [12]
4Robert Brummayer [51] [55] [59] [63]
5Randal E. Bryant [3]
6Alessandro Cimatti [5] [6] [19]
7Edmund M. Clarke [2] [4] [5] [6] [7] [8] [9] [10] [12] [19]
8Olivier Coudert [3]
9Niklas Eén [36]
10Pascal Eugster [25]
11Masahiro Fujita [6]
12Carla P. Gomes [46]
13Aarti Gupta [28]
14Anubhav Gupta [9]
15Malek Haroud [17] [35]
16Klaus Havelund [15] [20] [26]
17Keijo Heljanko [24] [33] [37] [41]
18Marijn Heule (M. J. H. Heule) [64] [65]
19Shinichi Honiden [43] [44] [50]
20Geert Janssen [3]
21Matti Järvisalo [65]
22Tommi A. Junttila [24] [33] [37] [41]
23Toni Jussila [42] [47] [49]
24Daniel Kroening (Daniel Kröning) [49]
25Wolfgang Kunz [14]
26Timo Latvala [24] [33] [37] [41]
27Florian Lonsing [54] [57] [60]
28Hans van Maaren [64]
29David R. O'Hallaron [3]
30David A. Plaisted [18]
31Mukul R. Prasad [28]
32Richard Raimi [8] [10]
33Rajeev K. Ranjan [3]
34Viktor Schuppan [13] [16] [17] [21] [25] [32] [34] [37] [39] [41]
35Etsuya Shibayama [50]
36Carsten Sinz [38] [42] [45] [49]
37Fabio Somenzi [3]
38Niklas Sörensson [61]
39Ofer Strichman [19] [27] [31] [40] [48]
40Toby Walsh [64]
41Poul Frederick Williams [9]
42Christoph M. Wintersteiger [49]
43Bwolen Yang [3]
44Yunshan Zhu [2] [4] [5] [6] [7] [8] [10] [12] [18] [19]
45Boris Zweimüller [25] [50]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)