by David, Cristina, Kroening, Daniel
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (13.10.2017)

by Alglave, Jade, Kroening, Daniel, Tautschnig, Michael
Published in Computer Aided Verification

by Alglave, Jade, Kroening, Daniel, Nimal, Vincent, Tautschnig, Michael
Published in Programming Languages and Systems

by Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino, Bienmüller, Tom
Published in Formal aspects of computing (01.09.2017)

by Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Published in Computer Aided Verification

by David, Cristina, Kroening, Daniel, Lewis, Matt
Published in Programming Languages and Systems

by Kroening, Daniel, Strichman, Ofer
Year of Publication 2016

by Giannakopoulou, Dimitra, Kroening, Daniel
Year of Publication 2014

by Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen
Published in Formal methods in system design (01.09.2004)

by Donaldson, Alastair F., Kroening, Daniel, Rümmer, Philipp
Published in Formal methods in system design (01.08.2011)

by Clarke, Edmund, Kroening, Daniel, Yorav, Karen
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)

by Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha
Year of Publication 2015

by Donaldson, Alastair F., Kroening, Daniel, Rümmer, Philipp
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Barner, Sharon, Harris, Ian, Kroening, Daniel, Raz, Orna
Year of Publication 2011

by Hasanbeig, Hosein, Kroening, Daniel, Abate, Alessandro
Published in Artificial intelligence (01.09.2023)

by Huang, Xiaowei, Kroening, Daniel, Ruan, Wenjie, Sharp, James, Sun, Youcheng, Thamo, Emese, Wu, Min, Yi, Xinping
Published in Computer science review (01.08.2020)

by CLARKE, Edmund, KROENING, Daniel, OUAKNINE, Joël, STRICHMAN, Ofer
Published in International journal on software tools for technology transfer (01.04.2005)

by David, Cristina, Kroening, Daniel
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (13.10.2017)

by Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei, Kwiatkowska, Marta, Kroening, Daniel
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)

by Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella
Year of Publication 2013