Daniel Kroening

Daniel Kröning

2008
49	EE	Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
48	EE	Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
47	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)
2007
46	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
45	EE	Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504
44	EE	Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
43	EE	Daniel Kroening, Natasha Sharygina: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330
42	EE	Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89
41	EE	Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217
40	EE	Daniel Kroening, Sanjit A. Seshia: Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
39	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
38	EE	Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148
37	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
36	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
35	EE	Natasha Sharygina, Daniel Kröning: Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145
34	EE	Edmund M. Clarke, Himanshu Jain, Daniel Kroening: Verification of SpecC using predicate abstraction. Formal Methods in System Design 30(1): 5-28 (2007)
33	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
32	EE	Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165
31	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59
30	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
29	EE	Daniel Kroening, Natasha Sharygina: Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256
28	EE	Daniel Kroening: Computing Over-Approximations with Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 144(1): 79-92 (2006)
27	EE	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
26	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
25	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300
24	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
23	EE	Daniel Kroening, Natasha Sharygina: Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110
22	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90
21	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
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	[30]
2	Gérard Basler	[38] [41]
3	Sven Beyer	[6] [26]
4	Armin Biere	[39]
5	Nicolas Blanc	[44] [45] [49]
6	Bryan A. Brady	[37]
7	Randal E. Bryant	[37]
8	Sagar Chaki	[27]
9	Pankaj Chauhan	[16]
10	Yury Chebiryak	[46]
11	Edmund M. Clarke	[4] [5] [7] [8] [9] [10] [12] [13] [14] [16] [19] [21] [24] [34] [36] [47]
12	Byron Cook	[11] [22] [25] [31] [33]
13	Vijay D'Silva	[48]
14	Peter Dell	[1]
15	Cindy Eisner	[30]
16	Nikolaus Gerteis	[1]
17	Ziv Glazberg	[30]
18	Alex Groce	[13] [17] [20] [27] [44]
19	Christian Jacobi	[6] [26]
20	Himanshu Jain	[10] [24] [34] [36] [47]
21	Toni Jussila	[39]
22	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[15]
23	Dirk Leinenbach	[6] [26]
24	Holger W. Leister	[1]
25	Flavio Lerda	[9] [17]
26	Jennifer Morris	[15]
27	Silvia M. Müller	[1]
28	Joël Ouaknine	[8] [18] [19] [37]
29	Wolfgang J. Paul	[2] [6] [26]
30	Mitra Purandare	[48]
31	Ishai Rabinovitz	[30]
32	Sanjit A. Seshia	[18] [37] [40]
33	Natasha Sharygina	[7] [11] [21] [22] [23] [24] [25] [29] [31] [33] [35] [36] [43] [47] [49]
34	Carsten Sinz	[39]
35	Ofer Strichman	[3] [8] [18] [19] [27] [37]
36	Georg Weissenbacher	[32] [38] [41] [42] [45]
37	Christoph M. Wintersteiger	[39]
38	Thomas Witkowski	[45]
39	Karen Yorav (Karen Laster)	[4] [5] [7] [21]
40	Igor Zinovik	[46]

Colors in the list of coauthors