Daniel Kroening

Daniel Kröning

2008
57	EE	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
56	EE	Nicolas Blanc, Daniel Kroening: Race analysis for SystemC using model checking. ICCAD 2008: 356-363
55	EE	Chao Wang, Malay K. Ganai, Chao Wang, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
54	EE	Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
53	EE	Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
52	EE	Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR abs/0811.3521: (2008)
51	EE	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	EE	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	EE	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	EE	Yury Chebiryak, Daniel Kroening: Towards a Classification of Hamiltonian Cycles in the 6-Cube. JSAT 4(1): 57-74 (2008)
2007
47	EE	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	EE	Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504
45	EE	Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
44	EE	Daniel Kroening, Natasha Sharygina: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330
43	EE	Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89
42	EE	Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217
41	EE	Daniel Kroening, Sanjit A. Seshia: Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
40	EE	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	EE	Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148
38	EE	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	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
36	EE	Natasha Sharygina, Daniel Kröning: Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145
35	EE	Edmund M. Clarke, Himanshu Jain, Daniel Kroening: Verification of SpecC using predicate abstraction. Formal Methods in System Design 30(1): 5-28 (2007)
34	EE	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	EE	Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165
32	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59
31	EE	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	EE	Daniel Kroening, Natasha Sharygina: Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256
29	EE	Daniel Kroening: Computing Over-Approximations with Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 144(1): 79-92 (2006)
28	EE	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
27	EE	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	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300
25	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
24	EE	Daniel Kroening, Natasha Sharygina: Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110
23	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90
22	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
21	EE	Daniel Kroening: Decision Procedures for the Grand Challenge. VSTTE 2005: 428-437
20	EE	Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
19	EE	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
2004
18	EE	Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
17	EE	Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
16	EE	Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening: A SAT-based algorithm for reparameterization in symbolic simulation. DAC 2004: 524-529
15	EE	Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
14	EE	Daniel Kroening, Edmund M. Clarke: Checking consistency of C and Verilog using predicate abstraction and induction. ICCAD 2004: 66-72
13	EE	Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
12	EE	Edmund M. Clarke, Daniel Kroening: Tutorial: Software Model Checking. ICFEM 2004: 9-10
11	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114
10	EE	Himanshu Jain, Daniel Kroening, Edmund M. Clarke: Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16
9	EE	Edmund M. Clarke, Daniel Kroening, Flavio Lerda: A Tool for Checking ANSI-C Programs. TACAS 2004: 168-176
8	EE	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
7	EE	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	EE	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	EE	Edmund M. Clarke, Daniel Kroening, Karen Yorav: Behavioral consistency of C and verilog programs using bounded model checking. DAC 2003: 368-371
4	EE	Edmund M. Clarke, Daniel Kroening, Karen Yorav: Specifying and Verifying Systems with Multiple Clocks. ICCD 2003: 48-
3	EE	Daniel Kroening, Ofer Strichman: Efficient Computation of Recurrence Diameters. VMCAI 2003: 298-309
2001
2	EE	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]
3	Sven Beyer	[6] [27]
4	Armin Biere	[40]
5	Nicolas Blanc	[45] [46] [54] [56]
6	Bryan A. Brady	[38]
7	Angelo Brillout	[52]
8	Randal E. Bryant	[38]
9	Sagar Chaki	[28]
10	Pankaj Chauhan	[16]
11	Yury Chebiryak	[47] [48] [49]
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]
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	Christian Jacobi	[6] [27]
22	Himanshu Jain	[10] [25] [35] [37] [51]
23	Toni Jussila	[40]
24	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[15]
25	Shuvendu K. Lahiri	[55]
26	Dirk Leinenbach	[6] [27]
27	Holger W. Leister	[1]
28	Flavio Lerda	[9] [17]
29	Jennifer Morris	[15]
30	Silvia M. Müller	[1]
31	Joël Ouaknine	[8] [18] [19] [38]
32	Wolfgang J. Paul	[2] [6] [27]
33	Mitra Purandare	[53]
34	Ishai Rabinovitz	[31]
35	Sanjit A. Seshia	[18] [38] [41]
36	Natasha Sharygina	[7] [11] [22] [23] [24] [25] [26] [30] [32] [34] [36] [37] [44] [51] [54] [57]
37	Carsten Sinz	[40]
38	Ofer Strichman	[3] [8] [18] [19] [28] [38]
39	Stefano Tonetta	[57]
40	Aliaksei Tsitovich	[57]
41	Thomas Wahl	[52]
42	Chao Wang	[55]
43	Georg Weissenbacher	[33] [39] [42] [43] [46] [50]
44	Christoph M. Wintersteiger	[40] [57]
45	Thomas Witkowski	[46]
46	Karen Yorav (Karen Laster)	[4] [5] [7] [22]
47	Igor Zinovik	[47] [49]

Colors in the list of coauthors