by Cook, Byron, Kroening, Daniel, Sharygina, Natasha
Published in Theoretical computer science (05.12.2007)

by Kroening, Daniel, Margaria, Tiziana, Woodcock, Jim
Published in Formal aspects of computing (01.09.2011)

by Kroening, Daniel, Margaria, Tiziana, Woodcock, Jim
Published in Formal aspects of computing (01.09.2011)

by Zinovik, I., Chebiryak, Y., Kroening, D.
Published in IEEE transactions on information theory (01.02.2010)

by Galea, John, Kroening, Daniel
Published in arXiv.org (12.07.2020)

by Brillout, Angelo, Kroening, Daniel, Rümmer, Philipp, Wahl, Thomas
Published in Verification, Model Checking, and Abstract Interpretation (2011)

by Basler, Gérard, Mazzucchi, Michele, Wahl, Thomas, Kroening, Daniel
Published in Formal methods in system design (01.09.2010)

by D’Silva, Vijay, Kroening, Daniel
Published in Verification, Model Checking, and Abstract Interpretation

by Landsberg, David, Chockler, Hana, Kroening, Daniel
Published in Hardware and Software: Verification and Testing (2016)

by Hasanbeig, Hosein, Kroening, Daniel, Abate, Alessandro
Published in arXiv.org (06.06.2023)

by Landsberg, David, Chockler, Hana, Kroening, Daniel, Lewis, Matt
Published in Fundamental Approaches to Software Engineering

by Kroening, Daniel, Margaria, Tiziana, Woodcock, Jim
Published in Formal aspects of computing (2011)

by Kroening, Daniel, Schrammel, Peter, Tautschnig, Michael
Year of Publication 05.02.2023

by Zinovik, I., Kroening, D., Chebiryak, Y.
Published in IEEE transactions on information theory (01.04.2008)

by Sun, Youcheng, Huang, Xiaowei, Kroening, Daniel, Sharp, James, Hill, Matthew, Ashmore, Rob
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2019)

by Brain, Martin, Hadarean, Liana, Kroening, Daniel, Martins, Ruben
Published in Verification, Model Checking, and Abstract Interpretation

by Kroening, Daniel, Sharygina, Natasha
Published in Lecture notes in computer science (2006)

by Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel
Published in Static Analysis (2015)

by VOROBIOF, GABRIEL, KROENING, DANIEL, HALL, BURR, BRUGADA, RAMON, HUANG, DAVID
Published in Pacing and clinical electrophysiology (01.05.2008)

by Hasanbeig, Hosein, Kroening, Daniel, Abate, Alessandro
Published in arXiv.org (21.09.2022)