Daniel Kroening

Daniel Kröning

	2012
108		Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig: Numeric Bounds Analysis with Conflict-Driven Learning. TACAS 2012: 48-63
107		Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith: Proving Reachability Using FShell - (Competition Contribution). TACAS 2012: 538-541
106		Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555
105		Georg Weissenbacher, Daniel Kroening, Sharad Malik: Wolverine: Battling Bugs with Interpolants - (Competition Contribution). TACAS 2012: 556-558
104		Hana Chockler, Daniel Kroening, Mitra Purandare: Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 31(5): 765-778 (2012)
	2011
103		Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Springer 2011
102		Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig: Soundness of Data Flow Analyses for Weak Memory Models. APLAS 2011: 272-288
101		Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig: Making Software Verification Tools Really Work. ATVA 2011: 28-42
100		Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
99		Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell: Linear Completeness Thresholds for Bounded Model Checking. CAV 2011: 557-572
98		Daniel Kroening, Georg Weissenbacher: Interpolation-Based Software Verification with Wolverine. CAV 2011: 573-578
97		Nannan He, Philipp Rümmer, Daniel Kroening: Test-case generation for embedded simulink via formal concept analysis. DAC 2011: 224-229
96		Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: SCRATCH: a tool for automatic analysis of dma races. PPOPP 2011: 311-312
95		Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer: Software Verification Using k-Induction. SAS 2011: 351-368
94		Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening: Loop Summarization and Termination Analysis. TACAS 2011: 81-95
93		Alastair F. Donaldson, Leopold Haller, Daniel Kroening: Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183
92		Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI 2011: 88-102
91		Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR abs/1102.2330: (2011)
90		Daniel Kroening, Tiziana Margaria, Jim Woodcock: Editorial. Formal Asp. Comput. 23(5): 585-588 (2011)
89		Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: Automatic analysis of DMA races using model checking and k-induction. Formal Methods in System Design 39(1): 83-113 (2011)
88		Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reasoning 47(4): 341-367 (2011)
	2010
87		Alexander Kaiser, Daniel Kroening, Thomas Wahl: Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV 2010: 645-659
86		Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger: Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103
85		Hana Chockler, Daniel Kroening, Mitra Purandare: Coverage in interpolation-based model checking. DAC 2010: 182-187
84		Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer: Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO 2010: 297-315
83		Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR 2010: 384-399
82		Daniel Kroening, Jérôme Leroux, Philipp Rümmer: Interpolating Quantifier-Free Presburger Arithmetic. LPAR (Yogyakarta) 2010: 489-503
81		Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao: Boom: Taking Boolean Program Model Checking One Step Further. TACAS 2010: 145-149
80		Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger: Ranking Function Synthesis for Bit-Vector Relations. TACAS 2010: 236-250
79		Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer: Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. TACAS 2010: 280-295
78		Vijay D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher: Interpolant Strength. VMCAI 2010: 129-145
77		Nicolas Blanc, Daniel Kroening: Race analysis for systemc using model checking. ACM Trans. Design Autom. Electr. Syst. 15(3): (2010)
76		Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) CoRR abs/1011.1036: (2010)
75		Daniel Kroening, Georg Weissenbacher: Verification and falsification of programs with loops using predicate abstraction. Formal Asp. Comput. 22(2): 105-128 (2010)
74		Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Context-aware counter abstraction. Formal Methods in System Design 36(3): 223-245 (2010)
73		Igor Zinovik, Yury Chebiryak, Daniel Kroening: Periodic orbits and equilibria in glass models for gene regulatory networks. IEEE Transactions on Information Theory 56(2): 805-820 (2010)
72		Daniel Kroening, Tiziana Margaria: Verified software: theories, tools and experiments. STTT 12(6): 405-408 (2010)
	2009
71		Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670
70		Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78
69		Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697
68		Vijay D'Silva, Daniel Kroening: Fixed points for multi-cycle path detection. DATE 2009: 1710-1715
67		Angelo Brillout, Daniel Kroening, Thomas Wahl: Mixed abstractions for floating-point arithmetic. FMCAD 2009: 69-76
66		Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher: Mutation-Based Test Case Generation for Simulink Models. FMCO 2009: 208-227
65		Daniel Kroening, Georg Weissenbacher: An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. Haifa Verification Conference 2009: 150-168
64		Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31
63		Nicolas Blanc, Daniel Kroening: Speeding Up Simulation of SystemC Using Model Checking. SBMF 2009: 1-16
62		Daniel Kroening: Software Verification. Handbook of Satisfiability 2009: 505-532
61		Daniel Kroening, Ofer Strichman: A framework for Satisfiability Modulo Theories. Formal Asp. Comput. 21(5): 485-494 (2009)
60		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
59		Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
58		Nicolas Blanc, Daniel Kroening: Race analysis for SystemC using model checking. ICCAD 2008: 356-363
57		Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
56		Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
55		Vijay D'Silva, Mitra Purandare, Daniel Kroening: Approximation Refinement for Interpolation-Based Model Checking. VMCAI 2008: 68-82
54		Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR abs/0811.3521: (2008)
53		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)
52		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)
51		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)
50		Yury Chebiryak, Daniel Kroening: Towards a Classification of Hamiltonian Cycles in the 6-Cube. JSAT 4(1): 57-74 (2008)
	2007
49		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
48		Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504
47		Nicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
46		Daniel Kroening, Natasha Sharygina: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330
45		Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89
44		Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217
43		Daniel Kroening, Sanjit A. Seshia: Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
42		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
41		Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148
40		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
39		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
38		Natasha Sharygina, Daniel Kröning: Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145
37		Edmund M. Clarke, Himanshu Jain, Daniel Kroening: Verification of SpecC using predicate abstraction. Formal Methods in System Design 30(1): 5-28 (2007)
36		Byron Cook, Daniel Kroening, Natasha Sharygina: Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007)
	2006
35		Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165
34		Byron Cook, Daniel Kroening, Natasha Sharygina: Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59
33		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
32		Daniel Kroening, Natasha Sharygina: Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256
31		Daniel Kroening: Computing Over-Approximations with Bounded Model Checking. Electr. Notes Theor. Comput. Sci. 144(1): 79-92 (2006)
30		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
29		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
28		Byron Cook, Daniel Kroening, Natasha Sharygina: Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300
27		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
26		Daniel Kroening, Natasha Sharygina: Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110
25		Byron Cook, Daniel Kroening, Natasha Sharygina: Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90
24		Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
23		Daniel Kroening: Decision Procedures for the Grand Challenge. VSTTE 2005: 428-437
22		Alex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
21		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Computational challenges in bounded model checking. STTT 7(2): 174-183 (2005)
	2004
20		Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
19		Alex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
18		Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening: A SAT-based algorithm for reparameterization in symbolic simulation. DAC 2004: 524-529
17		Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
16		Daniel Kroening, Edmund M. Clarke: Checking consistency of C and Verilog using predicate abstraction and induction. ICCAD 2004: 66-72
15		Daniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
14		Edmund M. Clarke, Daniel Kroening: Tutorial: Software Model Checking. ICFEM 2004: 9-10
13		Byron Cook, Daniel Kroening, Natasha Sharygina: Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114
12		Himanshu Jain, Daniel Kroening, Edmund M. Clarke: Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16
11		Edmund M. Clarke, Daniel Kroening, Flavio Lerda: A Tool for Checking ANSI-C Programs. TACAS 2004: 168-176
10		Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman: Completeness and Complexity of Bounded Model Checking. VMCAI 2004: 85-96
9		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)
8		Daniel Kröning: Formal verification of pipelined microprocessors. Saarland University 2004
	2003
7		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
6		Edmund M. Clarke, Daniel Kroening, Karen Yorav: Behavioral consistency of C and verilog programs using bounded model checking. DAC 2003: 368-371
5		Edmund M. Clarke, Daniel Kroening, Karen Yorav: Specifying and Verifying Systems with Multiple Clocks. ICCD 2003: 48-
4		Daniel Kroening, Ofer Strichman: Efficient Computation of Recurrence Diameters. VMCAI 2003: 298-309
	2001
3		Daniel Kroening, Wolfgang J. Paul: Automated Pipeline Design. DAC 2001: 810-815
2		Daniel Kröning: Formal verification of pipelined microprocessors. Universität Saarbrücken 2001: I-XIV, 1-348
	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	Jade Alglave	[101] [102]
2	Sharon Barner	[33] [103]
3	Gérard Basler	[41] [44] [70] [74] [81] [106]
4	Sven Beyer	[7] [29]
5	Armin Biere	[42]
6	Nicolas Blanc	[47] [48] [56] [58] [63] [77]
7	Bryan A. Brady	[40] [60]
8	Angelo Brillout	[54] [66] [67] [76] [83] [88] [92]
9	Randal E. Bryant	[40] [60]
10	Sagar Chaki	[30]
11	Pankaj Chauhan	[18]
12	Yury Chebiryak	[49] [50] [51] [64] [73]
13	Hana Chockler	[85] [104]
14	Edmund M. Clarke	[5] [6] [9] [10] [11] [12] [14] [15] [16] [18] [21] [24] [27] [37] [39] [53]
15	Byron Cook	[13] [25] [28] [34] [36] [80]
16	Vijay D'Silva	[52] [55] [68] [78] [108]
17	Peter Dell	[1]
18	Alastair F. Donaldson	[79] [84] [89] [91] [93] [95] [96] [100] [101] [106]
19	Cindy Eisner	[33]
20	Malay K. Ganai	[57]
21	Nikolaus Gerteis	[1]
22	Ziv Glazberg	[33]
23	Alex Groce	[15] [19] [22] [30] [47]
24	Matthew Hague	[81]
25	Leopold Haller	[64] [93] [95] [108]
26	Ian G. Harris	[103]
27	Nannan He	[66] [84] [97]
28	Andreas Holzer	[107]
29	Christian Jacobi	[7] [29]
30	Himanshu Jain	[12] [27] [37] [39] [53]
31	Toni Jussila	[42]
32	Alexander Kaiser	[87] [91] [100] [106]
33	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[17]
34	Shuvendu K. Lahiri	[57]
35	Dirk Leinenbach	[7] [29]
36	Holger W. Leister	[1]
37	Flavio Lerda	[11] [19]
38	Jérôme Leroux	[82]
39	John Lugton	[102]
40	Sharad Malik	[105]
41	Tiziana Margaria (Tiziana Margaria-Steffen)	[72] [90]
42	Michele Mazzucchi	[66] [70] [74]
43	Jennifer Morris	[17]
44	Silvia M. Müller (Silvia Melitta Müller)	[1]
45	Vincent Nimal	[102]
46	C.-H. Luke Ong	[81]
47	Joël Ouaknine	[10] [20] [21] [40] [60] [99]
48	Wolfgang J. Paul	[3] [7] [29]
49	Mitra Purandare	[55] [66] [69] [78] [85] [104]
50	Ishai Rabinovitz	[33]
51	Orna Raz	[103]
52	Philipp Rümmer	[66] [76] [79] [80] [82] [83] [84] [88] [89] [92] [95] [96] [97]
53	Christian Schallhart	[107]
54	Sanjit A. Seshia	[20] [40] [43] [60]
55	Natasha Sharygina	[9] [13] [24] [25] [26] [27] [28] [32] [34] [36] [38] [39] [46] [53] [56] [59] [71] [86] [94]
56	Carsten Sinz	[42]
57	Ofer Strichman	[4] [10] [20] [21] [30] [40] [60] [61] [99]
58	Michael Tautschnig	[101] [102] [106] [107] [108]
59	Stefano Tonetta	[59] [71]
60	Aliaksei Tsitovich	[59] [71] [86] [94]
61	Helmut Veith	[107]
62	Thomas Wahl	[54] [64] [67] [69] [70] [74] [76] [81] [83] [87] [88] [91] [92] [99] [100] [106]
63	Chao Wang	[57]
64	Georg Weissenbacher	[35] [41] [44] [45] [48] [52] [65] [66] [75] [78] [98] [105]
65	Christoph M. Wintersteiger	[42] [59] [71] [80] [86] [94]
66	Thomas Witkowski	[48]
67	Jim Woodcock (J. C. P. Woodcock)	[90]
68	James Worrell	[99]
69	Karen Yorav (Karen Laster)	[5] [6] [9] [24]
70	Haoxian Zhao	[81]
71	Igor Zinovik	[49] [51] [73]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page