Daniel Kroening
发表
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2021,
AAAI.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2007,
AB.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2015,
SAS.
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
Haifa Verification Conference.
Daniel Kroening,
Mohamed Nassim Seghir,
M. Seghir,
2013,
ESOP.
Daniel Kroening,
Wolfgang J. Paul,
Silvia M. Müller,
2000,
MBMV.
Daniel Kroening,
Elizabeth Polgreen,
Ralph Abboud,
2020,
ArXiv.
Daniel Kroening,
Martin Brain,
Liana Hadarean,
2016,
VMCAI.
Daniel Kroening,
Ian G. Harris,
Sharon Barner,
2010
.
Daniel Kroening,
Patrick Cousot,
Carsten Sinz,
2014,
Dagstuhl Reports.
Daniel Kroening,
Hana Chockler,
Hadrien Pouget,
2020,
ArXiv.
Alex Groce,
Daniel Kroening,
Flavio Lerda,
2004,
CAV.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2015,
2015 IEEE Computer Society Annual Symposium on VLSI.
Daniel Kroening,
Georg Weissenbacher,
2009,
Haifa Verification Conference.
Daniel Kroening,
Thomas F. Melham,
Andreas Tiemeyer,
2019,
ArXiv.
Daniel Kroening,
Georg Weissenbacher,
Thomas Witkowski,
2007,
ASE.
Daniel Kroening,
Thomas F. Melham,
Sean Heelan,
2018,
USENIX Security Symposium.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2019,
ArXiv.
Daniel Kroening,
Mandayam K. Srivas,
Rajdeep Mukherjee,
2015,
2015 IEEE Computer Society Annual Symposium on VLSI.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
ArXiv.
Daniel Kroening,
Vojtech Forejt,
Subodh Sharma,
2014,
FM.
Daniel Kroening,
2004
.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011,
Formal Methods Syst. Des..
Daniel Kroening,
Alex Horn,
D. Kroening,
2015,
FORTE.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Daniel Kroening,
Wolfgang J. Paul,
Silvia Melitta Mueller,
2000
.
Daniel Kroening,
Georg Weissenbacher,
Vijay D'Silva,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Nicolas Blanc,
2009,
SBMF.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005
.
Daniel Kroening,
Serdar Tasiran,
Mark R. Tuttle,
2018,
Formal Methods in System Design.
Daniel Kroening,
Sean Heelan,
John Galea,
2018,
ArXiv.
Daniel Kroening,
Natasha Sharygina,
2007
.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2008,
IEEE Transactions on Information Theory.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
ACM Trans. Embed. Comput. Syst..
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2019,
TACAS.
Daniel Kroening,
Alexander Kaiser,
Thomas Wahl,
2014,
Inf. Comput..
Daniel Kroening,
Tiziana Margaria,
Jim Woodcock,
2011,
Formal Aspects Comput..
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2020
.
Daniel Kroening,
Sharad Malik,
Georg Weissenbacher,
2012,
TACAS.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2007,
Theor. Comput. Sci..
Daniel Kroening,
Edmund M. Clarke,
Himanshu Jain,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2006,
2006 Formal Methods in Computer Aided Design.
Daniel Kroening,
Ofer Strichman,
2008
.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
MEMICS.
Daniel Kroening,
Christian Jacobi,
2000,
GI Jahrestagung.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2004,
ISoLA.
Daniel Kroening,
Andrey Rybalchenko,
2016,
Journal of Automated Reasoning.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2012,
Formal Methods in System Design.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2019,
ArXiv.
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Daniel Kroening,
Min Wu,
Xinping Yi,
2018,
ArXiv.
Daniel Kroening,
César Rodríguez,
Subodh Sharma,
2015,
CONCUR.
Daniel Kroening,
Georg Weissenbacher,
2007
.
Daniel Kroening,
Rajdeep Mukherjee,
Raphael Polig,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Daniel Kroening,
Klaus Schneider,
Cindy Eisner,
2005,
Lecture Notes in Computer Science.
Daniel Kroening,
Matt Lewis,
D. Kroening,
2014,
arXiv.org.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2005,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
ArXiv.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2014,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Corina S. Pasareanu,
2015,
Lecture Notes in Computer Science.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2010,
CAV.
Daniel Kroening,
Daniel Poetzl,
2016,
TACAS.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2013,
VMCAI.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2018,
ArXiv.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2010,
Formal Methods Syst. Des..
Daniel Kroening,
Hana Chockler,
Mitra Purandare,
2010,
Design Automation Conference.
Daniel Kroening,
Martin Brain,
Ryan McCleeary,
2016,
SC²@SYNASC.
Daniel Kroening,
Vijay D'Silva,
Leopold Haller,
2012,
SAS.
Tom Melham,
Daniel Kroening,
Peter Schrammel,
2018,
ACM Trans. Embed. Comput. Syst..
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2011,
APLAS.
Daniel Kroening,
Ganesh Narayanaswamy,
Saurabh Joshi,
2016,
ArXiv.
Daniel Kroening,
Mohamed Nassim Seghir,
2013,
2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI).
Daniel Kroening,
Tiziana Margaria,
2010,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Cristina David,
Matt Lewis,
2015,
LPAR.
Daniel Kroening,
Philipp Rümmer,
Nannan He,
2010,
FMCO.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl,
2010,
Journal of Automated Reasoning.
Daniel Kroening,
D. Kroening,
2001,
Ausgezeichnete Informatikdissertationen.
Daniel Kroening,
D. Kroening,
2004
.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2014,
ESOP.
Daniel Kroening,
Peter Schrammel,
Rajdeep Mukherjee,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
Shuvendu K. Lahiri,
Chao Wang,
2008,
ICCAD 2008.
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2015,
FMICS.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2011,
CAV.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2013,
Formal Methods in System Design.
Alex Groce,
Daniel Kroening,
Nicolas Blanc,
2007,
ASE '07.
Daniel Kroening,
Edmund M. Clarke,
Himanshu Jain,
2004
.
Daniel Kroening,
Saurabh Joshi,
Saurabh Joshi,
2014,
FM.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2012,
TACAS.
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2009,
Formal Aspects of Computing.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011,
SAS.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2013,
ArXiv.
Daniel Kroening,
Georg Weissenbacher,
Vijay D'Silva,
2010,
VMCAI.
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Edmund M. Clarke,
Karen Yorav,
2003,
Proceedings 21st International Conference on Computer Design.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2005,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
Daniel Kroening,
Natasha Sharygina,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
SPIN.
Daniel Kroening,
Jim Grundy,
Thomas F. Melham,
2013,
2013 Formal Methods in Computer-Aided Design.
Daniel Kroening,
Xinping Yi,
Xiaowei Huang,
2018,
Comput. Sci. Rev..
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015,
TAROS.
Daniel Kroening,
Vijay D'Silva,
Michael Tautschnig,
2012,
TACAS.
Daniel Kroening,
Ofer Strichman,
2008
.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2010,
TACAS.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2013,
CAV.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2016,
ArXiv.
Tom Melham,
Daniel Kroening,
John O'Leary,
2020,
ArXiv.
Daniel Kroening,
Martin Brain,
Daniel Neville,
2016,
CSTVA@ISSTA.
Daniel Kroening,
Wolfgang J. Paul,
W. Paul,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Daniel Kroening,
Armin Biere,
Carsten Sinz,
2007,
SAT.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Springer International Publishing.
Daniel Kroening,
D. Kroening,
2016,
Dependable Software Systems Engineering.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
AAMAS.
Daniel Kroening,
D. Kroening,
2013,
RP.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
Lecture Notes in Computer Science.
Daniel Kroening,
Youcheng Sun,
David Landsberg,
2018,
FASE.
Daniel Kroening,
Subodh Sharma,
Björn Wachter,
2014,
ArXiv.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2010,
WING@ETAPS/IJCAR.
Daniel Kroening,
Peter Schrammel,
D. Kroening,
2016,
TACAS.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Daniel Kroening,
Corina S. Păsăreanu,
2015,
Lecture Notes in Computer Science.
Daniel Kroening,
Thomas F. Melham,
Sean Heelan,
2019,
CCS.
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl,
2011,
VMCAI.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2007,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
Pankaj Chauhan,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
Daniel Kroening,
Bernhard Nebel,
Bernd Becker,
2004,
MBMV.
Daniel Kroening,
Edmund M. Clarke,
Flavio Lerda,
2004,
TACAS.
Daniel Kroening,
Philip Koopman,
Jennifer Morris,
2004,
International Conference on Dependable Systems and Networks, 2004.
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
ArXiv.
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
ICFEM.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Daniel Kroening,
Georg Weissenbacher,
Matt Lewis,
2013,
CAV.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.
Daniel Kroening,
Vijay D'Silva,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Daniel Kroening,
Thomas Wahl,
Angelo Brillout,
2009,
2009 Formal Methods in Computer-Aided Design.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Ajitha Rajan,
2015,
Validation of Evolving Software.
Daniel Kroening,
Ian G. Harris,
Sharon Barner,
2010,
Lecture Notes in Computer Science.
Alex Groce,
Daniel Kroening,
Sagar Chaki,
2005
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2010,
Formal Aspects of Computing.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2014,
CONCUR.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
FORMATS.
Daniel Kroening,
Sanjit A. Seshia,
Thomas W. Reps,
2014,
Dagstuhl Reports.
Daniel Kroening,
Chao Wang,
Shuvendu K. Lahiri,
2008,
ICCAD.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005
.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
CAV.
Daniel Kroening,
Cristina David,
Matt Lewis,
2015,
ArXiv.
Daniel Kroening,
E. M. Wendy Clarke,
2003
.
Daniel Kroening,
Thomas Wahl,
Mitra Purandare,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Daniel Kroening,
Cristina David,
Pascal Kesseli,
2017,
ArXiv.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2006,
TACAS.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011,
PPoPP '11.
Daniel Kroening,
Silvia M. Müller,
Peter Dell,
1999,
ARCS.
Daniel Kroening,
Vijay D'Silva,
D. Kroening,
2013,
VMCAI.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
CAV.
Daniel Kroening,
Silvia M. Mueller,
2000
.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014
.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2014,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
Sanjit A. Seshia,
2007,
ICCAD 2007.
Daniel Kroening,
Chris Bryan,
Martin Brain,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Daniel Kroening,
2010
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Daniel Kroening,
Armin Biere,
Georg Weissenbacher,
2008
.
Daniel Kroening,
Ofer Strichman,
2008
.
Daniel Kroening,
Philipp Rümmer,
Byron Cook,
2010,
TACAS.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2017,
NSV@CAV.
Joël Ouaknine,
Daniel Kroening,
Björn Wachter,
2013,
2013 Formal Methods in Computer-Aided Design.
Alex Groce,
Daniel Kroening,
D. Kroening,
2005,
BMC@CAV.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2015,
ATVA.
Daniel Kroening,
Vijay D'Silva,
Mitra Purandare,
2008,
VMCAI.
Daniel Kroening,
Jade Alglave,
Daniel Poetzl,
2013,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
D. Kroening,
2013
.
Daniel Kroening,
Nicolas Blanc,
2008,
ICCAD.
Daniel Kroening,
Jade Alglave,
Alastair F. Donaldson,
2011,
ATVA.
Daniel Kroening,
Cindy Eisner,
Sharon Barner,
2006,
Haifa Verification Conference.
Daniel Kroening,
Wolfgang J. Paul,
Silvia M. Mueller,
1999
.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Daniel Kroening,
Vojtech Forejt,
Subodh Sharma,
2014,
FM.
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl,
2010,
VERIFY@IJCAR.
Daniel Kroening,
Edmund M. Clarke,
Pankaj Chauhan,
2004
.
Daniel Kroening,
Nicolas Blanc,
2008,
ICCAD 2008.
Daniel Kroening,
Hana Chockler,
Xiaowei Huang,
2020,
ECCV.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Wolfgang J. Paul,
Christian Jacobi,
2003,
CHARME.
Daniel Kroening,
D. Kroening,
2007
.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2013,
SAS.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Daniel Kroening,
D. Kroening,
2005,
VSTTE.
Daniel Kroening,
Elizabeth Polgreen,
Byron Cook,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening,
Sean Heelan,
D. Kroening,
2009
.
Daniel Kroening,
Natasha Sharygina,
Nicolas Blanc,
2008,
TACAS.
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015
.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2012,
ESOP.
Daniel Kroening,
Corina S. Păsăreanu,
2015
.
Daniel Kroening,
Sanjit A. Seshia,
S. Seshia,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
Daniel Kroening,
Yury Chebiryak,
Thomas Wahl,
2009,
SAT.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Mirco Giacobbe,
2021,
AAMAS.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Validation of Evolving Software.
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2006,
CAV.
Daniel Kroening,
Ganesh Narayanaswamy,
Saurabh Joshi,
2016,
PPOPP.
Daniel Kroening,
Hana Chockler,
Xiaowei Huang,
2019,
ArXiv.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
TACAS.
Alex Groce,
Daniel Kroening,
Sagar Chaki,
2005
.
Daniel Kroening,
Vijay D'Silva,
César Rodríguez,
2017,
CAV.
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2019
.
Daniel Kroening,
Marta Z. Kwiatkowska,
Chang Hwan Peter Kim,
2016,
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS).
Eugene Goldberg,
Daniel Kroening,
Rajdeep Mukherjee,
2017,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Daniel Kroening,
D. Kroening,
2014
.
Daniel Kroening,
Xiaowei Huang,
Min Wu,
2019,
IJCAI.
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2014,
ArXiv.
Daniel Kroening,
Alastair F. Donaldson,
Leopold Haller,
2011,
VMCAI.
Daniel Kroening,
Vijay D'Silva,
Marcelo Sousa,
2017,
VMCAI.
Daniel Kroening,
Thomas Wahl,
Angelo Brillout,
2008,
ArXiv.
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2019,
ArXiv.
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
SPIN.
Daniel Kroening,
Ofer Strichman,
2016
.
Alex Groce,
Daniel Kroening,
Edmund M. Clarke,
2004,
ICFEM.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
Daniel Kroening,
Helmut Veith,
Andreas Holzer,
2012,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
2003,
ASP-DAC '03.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2008
.
Daniel Kroening,
Ofer Strichman,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Jade Alglave,
Daniel Poetzl,
2014,
CAV.
Daniel Kroening,
Hana Chockler,
David Landsberg,
2016,
Haifa Verification Conference.
Daniel Kroening,
Georg Weissenbacher,
Matt Lewis,
2015,
FM.
Daniel Kroening,
Christian Attiogbe,
D. Kroening,
2007
.
Daniel Kroening,
Ashutosh Natraj,
Sonia Waharte,
2014,
2014 International Conference on Multisensor Fusion and Information Integration for Intelligent Systems (MFI).
Daniel Kroening,
Hana Chockler,
David Landsberg,
2015,
FASE.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2009,
CAV.
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl,
2010,
IJCAR.
Daniel Kroening,
Ajitha Rajan,
Peter Schrammel,
2014,
ASE.
Daniel Kroening,
Rajdeep Mukherjee,
Michael Tautschnig,
2016,
TACAS.
Daniel Kroening,
Insup Lee,
George J. Pappas,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Daniel Kroening,
C.-H. Luke Ong,
Gérard Basler,
2010,
TACAS.
Daniel Kroening,
Alex Horn,
D. Kroening,
2015,
FORTE.
Daniel Kroening,
Philipp Rümmer,
Jérôme Leroux,
2010,
LPAR.
Daniel Kroening,
Edmund M. Clarke,
2004,
ICCAD 2004.
Daniel Kroening,
Philipp Rümmer,
Byron Cook,
2010,
Formal Methods Syst. Des..
Daniel Kroening,
Peter Schrammel,
Rajdeep Mukherjee,
2017,
ATVA.
Daniel Kroening,
Natasha Yogananda Jeppu,
John O'Leary,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
AAMAS.
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2020,
J. Artif. Intell. Res..
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2008
.
Daniel Kroening,
John Galea,
2020,
AsiaCCS.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2004,
Formal Methods Syst. Des..
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2012,
CONCUR.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2007,
Test and Analysis of Web Services.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
Hana Chockler,
Mitra Purandare,
2012,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Karen Yorav,
Edmund Clarke,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2017,
TOPL.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
Daniel Kroening,
Georg Weissenbacher,
2011,
CAV.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2019,
OVERLAY@AI*IA.
Daniel Kroening,
2006,
Electron. Notes Theor. Comput. Sci..
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
TACAS.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
CAV.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
SOEN.
Daniel Kroening,
Philipp Rümmer,
Nannan He,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2019,
Artif. Intell..
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2020
.
Daniel Kroening,
Georg Weissenbacher,
Matt Lewis,
2015,
Formal Methods Syst. Des..
Daniel Kroening,
Orna Grumberg,
Anna Trostanetski,
2017,
SAS.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
Daniel Kroening,
Philipp Rümmer,
Kung-Kiu Lau,
2012
.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2016,
FM.
Daniel Kroening,
Cristina David,
Matt Lewis,
2018,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2016,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Validation of Evolving Software.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
VMCAI.
Tom Melham,
Daniel Kroening,
Peter Schrammel,
2013
.
Daniel Kroening,
Hana Chockler,
Natasha Sharygina,
2015,
Validation of Evolving Software.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
1801.08099.
Daniel Kroening,
Nicolas Blanc,
2008,
2008 IEEE/ACM International Conference on Computer-Aided Design.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2020,
Journal of Automated Reasoning.
Daniel Kroening,
Mark R. Tuttle,
Byron Cook,
2018,
Formal methods in system design.
Daniel Kroening,
Armin Biere,
Armin Biere,
2018,
Handbook of Model Checking.
Daniel Kroening,
Lucas C. Cordeiro,
Eddie Batista de Lima Filho,
2017,
ISSTA.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Paul E. McKenney,
Thomas F. Melham,
2016,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2015,
SAS.
Daniel Kroening,
Georg Weissenbacher,
Vijay D'Silva,
2008
.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2010,
IEEE Transactions on Information Theory.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2013,
ICTSS.
Daniel Kroening,
Ofer Strichman,
2003,
VMCAI.
Daniel Kroening,
Mandayam K. Srivas,
Ravindra Metta,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
D. Kroening,
2021,
Handbook of Satisfiability.
Daniel Kroening,
Vijay D'Silva,
Leopold Haller,
2013,
POPL.
Joël Ouaknine,
James Worrell,
Daniel Kroening,
2011,
CAV.
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2008,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
Philipp Rümmer,
Nannan He,
2009,
FMCO.
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2017,
Formal Aspects of Computing.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Daniel Kroening,
Hana Chockler,
Youcheng Sun,
2021,
ArXiv.
Tom Melham,
Daniel Kroening,
Natasha Yogananda Jeppu,
2021,
ArXiv.
Daniel Kroening,
Mirco Giacobbe,
Julian Parsert,
2021,
ArXiv.
Daniel Kroening,
Hana Chockler,
Youcheng Sun,
2021
.
Daniel Kroening,
2021
.
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2021,
ISSTA.
Daniel Kroening,
D. Kroening,
2002
.
Daniel Kroening,
Philipp Rümmer,
Georg Weissenbacher,
2009
.
Daniel Kroening,
Yury Chebiryak,
D. Kroening,
2008,
Journal on Satisfiability, Boolean Modeling and Computation.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015
.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011
.
Daniel Kroening,
Cristina David,
D. Kroening,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Tom Melham,
Daniel Kroening,
Clark Barrett,
2014
.
Daniel Kroening,
Mandayam K. Srivas,
Björn Wachter,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).