Daniel Kroening

Daniel Kröning

	2009
64		Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78
63		Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697
62		Vijay D'Silva, Daniel Kroening: Fixed points for multi-cycle path detection. DATE 2009: 1710-1715
61		Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31
60		Nicolas Blanc, Daniel Kroening: Speeding Up Simulation of SystemC Using Model Checking. SBMF 2009: 1-16
59		Daniel Kroening: Software Verification. Handbook of Satisfiability 2009: 505-532
58		Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: An abstraction-based decision procedure for bit-vector arithmetic. STTT 11(2): 95-104 (2009)
	2008
57		Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
56		Nicolas Blanc, Daniel Kroening: Race analysis for SystemC using model checking. ICCAD 2008: 356-363
55		Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
54		Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
53		Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
52		Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR abs/0811.3521: (2008)
51		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 366-379 (2008)
50		Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008)
49		Igor Zinovik, Daniel Kroening, Yury Chebiryak: Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers. IEEE Transactions on Information Theory 54(4): 1819-1823 (2008)
48		Yury Chebiryak, Daniel Kroening: Towards a Classification of Hamiltonian Cycles in the 6-Cube. JSAT 4(1): 57-74 (2008)
	2007
47		Igor Zinovik, Daniel Kroening, Yury Chebiryak: An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors. AB 2007: 140-154
46		Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504
45		Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
44		Daniel Kroening, Natasha Sharygina: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330
43		Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89
42		Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217
41		Daniel Kroening, Sanjit A. Seshia: Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
40		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
39		Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148
38		Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372
37		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
36		Natasha Sharygina, Daniel Kröning: Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145
35		Edmund M. Clarke, Himanshu Jain, Daniel Kroening: Verification of SpecC using predicate abstraction. Formal Methods in System Design 30(1): 5-28 (2007)
34		Byron Cook, Daniel Kroening, Natasha Sharygina: Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007)
	2006
33		Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165
32		Byron Cook, Daniel Kroening, Natasha Sharygina: Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59
31		Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz: ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference 2006: 138-154
30		Daniel Kroening, Natasha Sharygina: Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256
29		Daniel Kroening: Computing Over-Approximations with Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 144(1): 79-92 (2006)
28		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
27		Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006)
	2005
26		Byron Cook, Daniel Kroening, Natasha Sharygina: Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300
25		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
24		Daniel Kroening, Natasha Sharygina: Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110
23		Byron Cook, Daniel Kroening, Natasha Sharygina: Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90
22		Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
21		Daniel Kroening: Decision Procedures for the Grand Challenge. VSTTE 2005: 428-437
20		Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
19		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
	2004
18		Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
17		Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
16		Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening: A SAT-based algorithm for reparameterization in symbolic simulation. DAC 2004: 524-529
15		Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
14		Daniel Kroening, Edmund M. Clarke: Checking consistency of C and Verilog using predicate abstraction and induction. ICCAD 2004: 66-72
13		Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
12		Edmund M. Clarke, Daniel Kroening: Tutorial: Software Model Checking. ICFEM 2004: 9-10
11		Byron Cook, Daniel Kroening, Natasha Sharygina: Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114
10		Himanshu Jain, Daniel Kroening, Edmund M. Clarke: Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16
9		Edmund M. Clarke, Daniel Kroening, Flavio Lerda: A Tool for Checking ANSI-C Programs. TACAS 2004: 168-176
8		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
7		Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods in System Design 25(2-3): 105-127 (2004)
	2003
6		Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65
5		Edmund M. Clarke, Daniel Kroening, Karen Yorav: Behavioral consistency of C and verilog programs using bounded model checking. DAC 2003: 368-371
4		Edmund M. Clarke, Daniel Kroening, Karen Yorav: Specifying and Verifying Systems with Multiple Clocks. ICCD 2003: 48-
3		Daniel Kroening, Ofer Strichman: Efficient Computation of Recurrence Diameters. VMCAI 2003: 298-309
	2001
2		Daniel Kroening, Wolfgang J. Paul: Automated Pipeline Design. DAC 2001: 810-815
	1999
1		Silvia M. Müller, Holger W. Leister, Peter Dell, Nikolaus Gerteis, Daniel Kroening: The Impact of Hardware Scheduling Mechanismus on the Performance and Cost of Processor Designs. ARCS 1999: 65-73

Coauthor Index

1	Sharon Barner	[31]
2	Gérard Basler	[39] [42] [64]
3	Sven Beyer	[6] [27]
4	Armin Biere	[40]
5	Nicolas Blanc	[45] [46] [54] [56] [60]
6	Bryan A. Brady	[38] [58]
7	Angelo Brillout	[52]
8	Randal E. Bryant	[38] [58]
9	Sagar Chaki	[28]
10	Pankaj Chauhan	[16]
11	Yury Chebiryak	[47] [48] [49] [61]
12	Edmund M. Clarke	[4] [5] [7] [8] [9] [10] [12] [13] [14] [16] [19] [22] [25] [35] [37] [51]
13	Byron Cook	[11] [23] [26] [32] [34]
14	Vijay D'Silva	[50] [53] [62]
15	Peter Dell	[1]
16	Cindy Eisner	[31]
17	Malay K. Ganai	[55]
18	Nikolaus Gerteis	[1]
19	Ziv Glazberg	[31]
20	Alex Groce	[13] [17] [20] [28] [45]
21	Leopold Haller	[61]
22	Christian Jacobi	[6] [27]
23	Himanshu Jain	[10] [25] [35] [37] [51]
24	Toni Jussila	[40]
25	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[15]
26	Shuvendu K. Lahiri	[55]
27	Dirk Leinenbach	[6] [27]
28	Holger W. Leister	[1]
29	Flavio Lerda	[9] [17]
30	Michele Mazzucchi	[64]
31	Jennifer Morris	[15]
32	Silvia M. Müller	[1]
33	Joël Ouaknine	[8] [18] [19] [38] [58]
34	Wolfgang J. Paul	[2] [6] [27]
35	Mitra Purandare	[53] [63]
36	Ishai Rabinovitz	[31]
37	Sanjit A. Seshia	[18] [38] [41] [58]
38	Natasha Sharygina	[7] [11] [22] [23] [24] [25] [26] [30] [32] [34] [36] [37] [44] [51] [54] [57]
39	Carsten Sinz	[40]
40	Ofer Strichman	[3] [8] [18] [19] [28] [38] [58]
41	Stefano Tonetta	[57]
42	Aliaksei Tsitovich	[57]
43	Thomas Wahl	[52] [61] [63] [64]
44	Chao Wang	[55]
45	Georg Weissenbacher	[33] [39] [42] [43] [46] [50]
46	Christoph M. Wintersteiger	[40] [57]
47	Thomas Witkowski	[46]
48	Karen Yorav (Karen Laster)	[4] [5] [7] [22]
49	Igor Zinovik	[47] [49]

Colors in the list of coauthors