Armin Biere

	2012
80		Alexander Nöhrer, Armin Biere, Alexander Egyed: Managing SAT inconsistencies with HUMUS. VaMoS 2012: 83-91
	2011
79		Armin Biere, Florian Lonsing, Martina Seidl: Blocked Clause Elimination for QBF. CADE 2011: 101-115
78		Marijn Heule, Matti Järvisalo, Armin Biere: Efficient CNF Simplification Based on Binary Implication Graphs. SAT 2011: 201-215
77		Florian Lonsing, Armin Biere: Failed Literal Detection for QBF. SAT 2011: 259-272
76		Armin Biere, Karen Yorav: Preface. Formal Methods in System Design 39(2): 115-116 (2011)
	2010
75		Marijn Heule, Matti Järvisalo, Armin Biere: Clause Elimination Procedures for CNF Formulas. LPAR (Yogyakarta) 2010: 357-371
74		Florian Lonsing, Armin Biere: Integrating Dependency Schemes in Search-Based QBF Solvers. SAT 2010: 158-171
73		Matti Järvisalo, Armin Biere: Reconstructing Solutions after Blocked Clause Elimination. SAT 2010: 340-345
72		Robert Brummayer, Florian Lonsing, Armin Biere: Automated Testing and Debugging of SAT and QBF Solvers. SAT 2010: 44-57
71		Matti Järvisalo, Armin Biere, Marijn Heule: Blocked Clause Elimination. TACAS 2010: 129-144
70		Marijn Heule, Matti Järvisalo, Armin Biere: Covered Clause Elimination CoRR abs/1011.5202: (2010)
69		Florian Lonsing, Armin Biere: DepQBF: A Dependency-Aware QBF Solver. JSAT 7(2-3): 71-76 (2010)
	2009
68		Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability IOS Press 2009
67		Robert Brummayer, Armin Biere: Effective Bit-Width and Under-Approximation. EUROCAST 2009: 304-311
66		Armin Biere: SAT, SMT and Applications. LPNMR 2009: 1
65		Niklas Sörensson, Armin Biere: Minimizing Learned Clauses. SAT 2009: 237-243
64		Florian Lonsing, Armin Biere: A Compact Representation for Syntactic Dependencies in QBFs. SAT 2009: 398-411
63		Robert Brummayer, Armin Biere: Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. TACAS 2009: 174-177
62		Armin Biere: Bounded Model Checking. Handbook of Satisfiability 2009: 457-481
61		Florian Lonsing, Armin Biere: Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. Electr. Notes Theor. Comput. Sci. 251: 83-95 (2009)
60		Robert Brummayer, Armin Biere: Lemmas on Demand for the Extensional Theory of Arrays. JSAT 6(1-3): 165-201 (2009)
	2008
59		Armin Biere: Tutorial on Model Checking: Modelling and Verification in Computer Science. AB 2008: 16-21
58		Armin Biere, Robert Brummayer: Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver. FMCAD 2008: 1-4
57		Florian Lonsing, Armin Biere: Nenofex: Expanding NNF for QBF Solving. SAT 2008: 196-210
56		Armin Biere: Adaptive Restart Strategies for Conflict Driven SAT Solvers. SAT 2008: 28-33
55		Armin Biere: PicoSAT Essentials. JSAT 4(2-4): 75-97 (2008)
	2007
54		Robert Brummayer, Armin Biere: C32SAT: Checking C Expressions. CAV 2007: 294-297
53		Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden: Efficient Model Checking of Applications with Input/Output. EUROCAST 2007: 515-522
52		Toni 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
51		Ofer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 174(3): 1-2 (2007)
50		Toni Jussila, Armin Biere: Compressing BMC Encodings with QBF. Electr. Notes Theor. Comput. Sci. 174(3): 45-56 (2007)
	2006
49		Armin 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
48		Cyrille Artho, Armin Biere: Advanced Unit Testing: How to Scale up a Unit Test Framework. AST 2006: 92-98
47		Carsten Sinz, Armin Biere: Extended Resolution Proofs for Conjoining BDDs. CSR 2006: 600-611
46		Cyrille Artho, Armin Biere, Shinichi Honiden: Enforcer - Efficient Failure Injection. FM 2006: 412-427
45		Cyrille Artho, Armin Biere, Shinichi Honiden: Exhaustive Testing of Exception Handlers with Enforcer. FMCO 2006: 26-46
44		Toni Jussila, Carsten Sinz, Armin Biere: Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60
43		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
42		Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 144(1): 1- (2006)
41		Viktor Schuppan, Armin Biere: Liveness Checking as Safety Checking for Infinite State Spaces. Electr. Notes Theor. Comput. Sci. 149(1): 79-96 (2006)
40		Armin Biere, Carsten Sinz: Decomposing SAT Problems into Connected Components. JSAT 2(1-4): 201-208 (2006)
39		Armin 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
38		Niklas Eén, Armin Biere: Effective Preprocessing in SAT Through Variable and Clause Elimination. SAT 2005: 61-75
37		Malek Haroud, Armin Biere: SDL Versus C Equivalence Checking. SDL Forum 2005: 323-338
36		Viktor Schuppan, Armin Biere: Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS 2005: 493-509
35		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI 2005: 380-395
34		Viktor Schuppan, Marcel Baur, Armin Biere: JVM Independent Replay in Java. Electr. Notes Theor. Comput. Sci. 113: 85-104 (2005)
33		Armin Biere, Ofer Strichman: Preface. Electr. Notes Theor. Comput. Sci. 119(2): 1- (2005)
32		Cyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 131: 3-14 (2005)
31		Cyrille Artho, Armin Biere: Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electr. Notes Theor. Comput. Sci. 141(1): 109-128 (2005)
30		Mukul R. Prasad, Armin Biere, Aarti Gupta: A survey of recent advances in SAT-based formal verification. STTT 7(2): 156-173 (2005)
29		Armin Biere, Ofer Strichman: Introductory paper. STTT 7(2): 87-88 (2005)
	2004
28		Cyrille Artho, Klaus Havelund, Armin Biere: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. ATVA 2004: 150-164
27		Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
26		Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Bounded LTL Model Checking. FMCAD 2004: 186-200
25		Armin Biere: Resolve and Expand. SAT 2004
24		Armin Biere: Resolve and Expand. SAT (Selected Papers 2004: 59-70
23		Viktor Schuppan, Armin Biere: Efficient reduction of finite state model checking to reachability analysis. STTT 5(2-3): 185-204 (2004)
	2003
22		Cyrille Artho, Klaus Havelund, Armin Biere: High-Level Data Races. NDDL/VVEIS 2003: 82-93
21		Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking. Advances in Computers 58: 117-148 (2003)
20		David A. Plaisted, Armin Biere, Yunshan Zhu: A satisfiability procedure for quantified Boolean formulae. Discrete Applied Mathematics 130(2): 291-328 (2003)
19		Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: 289-293 (2003)
18		Ofer Strichman, Armin Biere: Preface. Electr. Notes Theor. Comput. Sci. 89(4): 541-542 (2003)
17		Viktor Schuppan, Armin Biere: Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Asp. Comput. 14(3): 267-280 (2003)
16		Cyrille Artho, Klaus Havelund, Armin Biere: High-level data races. Softw. Test., Verif. Reliab. 13(4): 207-227 (2003)
	2002
15		Armin Biere, Wolfgang Kunz: SAT and ATPG: Boolean engines for formal hardware verification. ICCAD 2002: 782-785
14		Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): 160-177 (2002)
13		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 20(2): 159-186 (2002)
	2001
12		Cyrille Artho, Armin Biere: Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. Australian Software Engineering Conference 2001: 68-75
11		Edmund 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
10		Poul 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
9		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: 60-71
8		Armin 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
7		Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
6		Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu: Symbolic Model Checking without BDDs. TACAS 1999: 193-207
5		Armin Biere, Edmund M. Clarke, Yunshan Zhu: Combining Local and Global Model Checking. Electr. Notes Theor. Comput. Sci. 23(2): 34-45 (1999)
	1998
4		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: 255-289
3		Sergey 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
2		Armin Biere: µcke - Efficient µ-Calculus Model Checking. CAV 1997: 468-471
1		Armin Biere: Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen. Universität Karlsruhe 1997: I-VIII, 1-230

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page