D. Kroening
发表
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
TACAS.
N. Sharygina,
D. Kroening,
B. Cook,
2004
.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
E. Clarke,
D. Kroening,
P. Chauhan,
2003
.
D. Kroening,
O. Strichman,
2008
.
Daniel Kroening,
Edmund M. Clarke,
Flavio Lerda,
2004,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
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,
Georg Weissenbacher,
Thomas Witkowski,
2007,
ASE.
T. Melham,
D. Kroening,
Isaac Dunn,
2020
.
D. Kroening,
A. Abate,
Mohammadhosein Hasanbeig,
2018,
AAMAS.
D. Kroening,
Hana Chockler,
Youcheng Sun,
2020,
ECCV.
D. Kroening,
C. Berg,
C. Jacobi,
2001
.
D. Kroening,
C. Jacobi,
S. Beyer,
2022
.
D. Kroening,
M. Purandare,
T. Wahl,
2009
.
E. Clarke,
J. Ouaknine,
D. Kroening,
2005
.
E. Clarke,
D. Kroening,
E. Clarke,
2003,
Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003..
Tom Melham,
Daniel Kroening,
Clark Barrett,
2014
.
Daniel Kroening,
Georg Weissenbacher,
Matt Lewis,
2015,
Formal Methods Syst. Des..
D. Kroening,
Ruben Martins,
M. Brain,
2014,
Formal Aspects of Computing.
D. Kroening,
Ruben Martins,
M. Brain,
2016
.
Daniel Kroening,
Mandayam K. Srivas,
Björn Wachter,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Daniel Kroening,
Yury Chebiryak,
D. Kroening,
2008,
Journal on Satisfiability, Boolean Modeling and Computation.
T. Melham,
D. Kroening,
P. Schrammel,
2018
.
Anna Maria Bigatti,
J. Davenport,
E. Ábrahám,
2017
.
E. Clarke,
D. Kroening,
P. Chauhan,
2003
.
Daniel Kroening,
Philipp Rümmer,
Georg Weissenbacher,
2009
.
Daniel Kroening,
Vijay D'Silva,
Leopold Haller,
2012,
SAS.
D. Kroening,
J. Daubert,
A. Budzikowski,
2007,
Cardiology journal.
D. Kroening,
D. Kroening,
Y. Chebiryak,
2008,
2008 International Symposium on Information Theory and Its Applications.
E. Clarke,
J. Ouaknine,
D. Kroening,
2008
.
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2008
.
Daniel Kroening,
Klaus Schneider,
Cindy Eisner,
2005,
Lecture Notes in Computer Science.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
J. Davenport,
B. Buchberger,
E. Ábrahám,
2016
.
Daniel Kroening,
D. Kroening,
2021,
Handbook of Satisfiability.
Daniel Kroening,
Mark R. Tuttle,
Byron Cook,
2018,
Formal methods in system design.
D. Kroening,
Burr Hall,
Ethan Levine,
2007,
Cardiology journal.
S. Chaki,
D. Kroening,
O. Strichman,
2005
.
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016,
International Conference on Intelligent Computer Mathematics.
D. Kroening,
Daniel Poetzl,
2016
.
Alex Groce,
Nicolas Blanc,
Daniel Kröning,
2007,
ASE '07.
D. Kroening,
M. Lewis,
C. David,
2019
.
H. Calkins,
D. Kroening,
I. Goldenberg,
2011,
Annals of noninvasive electrocardiology : the official journal of the International Society for Holter and Noninvasive Electrocardiology, Inc.
Alessandro Orso,
David Notkin,
Pietro Ferrara,
2011,
International Conference on Software Engineering.
D. Kroening,
A. Abate,
P. Schrammel,
2017
.
D. Kroening,
A. Abate,
Mohammadhosein Hasanbeig,
2022,
QEST.
D. Kroening,
E. Goldberg,
Rajdeep Mukherjee,
2017
.
D. Kroening,
A. Abate,
L. Cordeiro,
2019
.
D. Kroening,
A. Abate,
L. Cordeiro,
2018
.
Daniel Kroening,
D. Kroening,
2004
.
A. Griggio,
D. Kroening,
V. D'Silva,
2013,
Formal Methods in System Design.
D. Kroening,
Julian Parsert,
Mirco Giacobbe,
2021,
ESEC/SIGSOFT FSE.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2019,
Artif. Intell..
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
AAMAS.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2008,
IEEE Transactions on Information Theory.
Daniel Kroening,
Hana Chockler,
David Landsberg,
2015,
FASE.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011,
SAS.
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2021,
AAAI.
D. Kroening,
J. Daubert,
K. Schwarz,
2009,
Echocardiography.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Mirco Giacobbe,
2021,
AAMAS.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2016,
HSCC.
Daniel Kroening,
Elizabeth Polgreen,
Byron Cook,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Daniel Kroening,
Serdar Tasiran,
Mark R. Tuttle,
2018,
Formal Methods in System Design.
Daniel Kroening,
Xinping Yi,
Xiaowei Huang,
2018,
Comput. Sci. Rev..
Daniel Kroening,
Min Wu,
Xinping Yi,
2018,
ArXiv.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2010,
IEEE Transactions on Information Theory.
Daniel Kroening,
Yury Chebiryak,
Thomas Wahl,
2009,
SAT.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2008
.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
ArXiv.
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2010,
Formal Aspects of Computing.
Daniel Kroening,
Xiaowei Huang,
Min Wu,
2019,
IJCAI.
Daniel Kroening,
Peter Schrammel,
Martin Brain,
2015,
FMICS.
Daniel Kroening,
Cristina David,
Matt Lewis,
2018,
ACM Trans. Program. Lang. Syst..
D. Kroening,
C. David,
Pascal Kesseli,
2018
.
Daniel Kroening,
Cristina David,
Pascal Kesseli,
2017,
ArXiv.
Tom Melham,
Daniel Kroening,
Mohammadhosein Hasanbeig,
2019,
ArXiv.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
CAV.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
ACM Trans. Embed. Comput. Syst..
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2018,
ArXiv.
Daniel Kroening,
Georg Weissenbacher,
Vijay D'Silva,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Daniel Kroening,
Insup Lee,
George J. Pappas,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Daniel Kroening,
Armin Biere,
Armin Biere,
2018,
Handbook of Model Checking.
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
Haifa Verification Conference.
Daniel Kroening,
Gérard Basler,
Georg Weissenbacher,
2007,
SPIN.
Daniel Kroening,
Thomas F. Melham,
Sean Heelan,
2019,
CCS.
Daniel Kroening,
Thomas F. Melham,
Sean Heelan,
2018,
USENIX Security Symposium.
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2016,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2011,
CAV.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005
.
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
ICFEM.
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,
Wolfgang J. Paul,
W. Paul,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2017,
NSV@CAV.
Daniel Kroening,
Xiaowei Huang,
Youcheng Sun,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Daniel Kroening,
Ian G. Harris,
Sharon Barner,
2010,
Lecture Notes in Computer Science.
Daniel Kroening,
Vijay D'Silva,
Mitra Purandare,
2008,
VMCAI.
Daniel Kroening,
Karen Yorav,
Edmund Clarke,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Daniel Kroening,
Orna Grumberg,
Anna Trostanetski,
2017,
SAS.
Daniel Kroening,
Saurabh Joshi,
Saurabh Joshi,
2014,
FM.
Daniel Kroening,
Jade Alglave,
Daniel Poetzl,
2013,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2012,
ESOP.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2016,
ArXiv.
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Peter Schrammel,
Björn Wachter,
2016,
ArXiv.
Daniel Kroening,
Cristina David,
D. Kroening,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Daniel Kroening,
Philipp Rümmer,
Nannan He,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Daniel Kroening,
Philipp Rümmer,
Nannan He,
2009,
FMCO.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2005,
International Journal on Software Tools for Technology Transfer.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
VMCAI.
Eugene Goldberg,
Daniel Kroening,
Rajdeep Mukherjee,
2017,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
D. Kroening,
2002
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
James H. Davenport,
Alberto Griggio,
2016
.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
CICM.
Daniel Kroening,
Philipp Rümmer,
Alastair F. Donaldson,
2011,
Formal Methods Syst. Des..
Daniel Kroening,
Vojtech Forejt,
Subodh Sharma,
2014,
FM.
Daniel Kroening,
Ian G. Harris,
Sharon Barner,
2010
.
D. Kroening,
Hana Chockler,
Youcheng Sun,
2021,
2021 IEEE/CVF International Conference on Computer Vision (ICCV).
Daniel Kroening,
Ofer Strichman,
Hana Chockler,
2015,
ATVA.
Daniel Kroening,
Philipp Rümmer,
Byron Cook,
2010,
Formal Methods Syst. Des..
Tom Melham,
Daniel Kroening,
John O'Leary,
2020,
ArXiv.
D. Kroening,
P. Schrammel,
Michael Tautschnig,
2023,
ArXiv.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
MEMICS.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2013,
CAV.
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2008,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2005,
CAV.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2019,
TACAS.
Daniel Kroening,
Lucas C. Cordeiro,
Peter Schrammel,
2018,
SOEN.
T. Melham,
D. Kroening,
P. Schrammel,
2016,
International Journal on Software Tools for Technology Transfer.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Daniel Kroening,
Peter Schrammel,
Thomas F. Melham,
2013,
ICTSS.
Daniel Kroening,
Alex Horn,
D. Kroening,
2015,
FORTE.
Daniel Kroening,
Sean Heelan,
John Galea,
2018,
ArXiv.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2015,
2015 IEEE Computer Society Annual Symposium on VLSI.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
D. Kroening,
M. Lewis,
C. David,
2017
.
Daniel Kroening,
Matt Lewis,
D. Kroening,
2014,
arXiv.org.
Daniel Kroening,
Michael Tautschnig,
D. Kroening,
2014,
TACAS.
Daniel Kroening,
D. Kroening,
2005,
VSTTE.
Daniel Kroening,
Wolfgang J. Paul,
Christian Jacobi,
2003,
CHARME.
Daniel Kroening,
Vijay D'Silva,
D. Kroening,
2013,
VMCAI.
Daniel Kroening,
Thomas F. Melham,
Andreas Tiemeyer,
2019,
ArXiv.
Daniel Kroening,
Paul E. McKenney,
Thomas F. Melham,
2016,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Daniel Kroening,
Chris Bryan,
Martin Brain,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Daniel Kroening,
Min Wu,
Xiaowei Huang,
2018,
ArXiv.
Daniel Kroening,
Ofer Strichman,
D. Kroening,
2009,
Formal Aspects of Computing.
Daniel Kroening,
Hana Chockler,
Youcheng Sun,
2021,
ArXiv.
Alex Groce,
Daniel Kroening,
Flavio Lerda,
2004,
CAV.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2018,
CAV.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2020,
Journal of Automated Reasoning.
D. Kroening,
A. Abate,
L. Cordeiro,
2019,
Acta Informatica.
Daniel Kroening,
Lucas C. Cordeiro,
Cristina David,
2017,
CAV.
Daniel Kroening,
Dario Cattaruzza,
Alessandro Abate,
2015,
SAS.
D. Kroening,
R. Brugada,
G. Vorobiof,
2008,
Pacing and clinical electrophysiology : PACE.
D. Kroening,
A. Abate,
Li Yuan,
2019,
ArXiv.
Anna Maria Bigatti,
J. Davenport,
B. Buchberger,
2016,
CICM.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
CAV.
S. Seshia,
J. Ouaknine,
D. Kroening,
2004
.
Daniel Kroening,
D. Kroening,
2001,
Ausgezeichnete Informatikdissertationen.
Daniel Kroening,
Sean Heelan,
D. Kroening,
2009
.
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015,
TAROS.
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2021,
ISSTA.
E. Clarke,
D. Kroening,
H. Veith,
2018
.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2018,
1801.08099.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
FORMATS.
D. Kroening,
O. Strichman,
Daniel Kroening,
2020,
Texts in Theoretical Computer Science. An EATCS Series.
D. Kroening,
O. Strichman,
2016,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
César Rodríguez,
Subodh Sharma,
2015,
CONCUR.
Joël Ouaknine,
Daniel Kroening,
Björn Wachter,
2013,
2013 Formal Methods in Computer-Aided Design.
Daniel Kroening,
Cristina David,
Peter Schrammel,
2014,
ESOP.
Daniel Kroening,
Mohamed Nassim Seghir,
M. Seghir,
2013,
ESOP.
Daniel Kroening,
Jade Alglave,
Alastair F. Donaldson,
2011,
ATVA.
Daniel Kroening,
Cristina David,
Alessandro Abate,
2019,
Acta Informatica.
Daniel Kroening,
Mohammadhosein Hasanbeig,
Alessandro Abate,
2020,
AAMAS.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
D. Kroening,
L. Cordeiro,
Romain Brenguier,
2023,
ArXiv.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2010,
CAV.
Daniel Kroening,
Leonardo Mariani,
Hana Chockler,
2015,
Springer International Publishing.
D. Kroening,
B. Cook,
C. Wintersteiger,
2013,
Formal Methods in System Design.
Daniel Kroening,
Philipp Rümmer,
Jérôme Leroux,
2010,
LPAR.
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl,
2010,
Journal of Automated Reasoning.
T. Melham,
D. Kroening,
Isaac Dunn,
2020,
ArXiv.
D. Kroening,
O. Strichman,
2016,
Texts in Theoretical Computer Science. An EATCS Series.
Daniel Kroening,
Silvia M. Müller,
Peter Dell,
1999,
ARCS.
Daniel Kroening,
Alexander Kaiser,
Thomas Wahl,
2014,
Inf. Comput..
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2007,
Theor. Comput. Sci..
Daniel Kroening,
Sanjit A. Seshia,
S. Seshia,
2007,
2007 IEEE/ACM International Conference on Computer-Aided Design.
N. Sharygina,
D. Kroening,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2006,
CAV.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2006,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Alex Groce,
Daniel Kroening,
Edmund M. Clarke,
2004,
ICFEM.
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2004,
Formal Methods Syst. Des..
Daniel Kroening,
Edmund M. Clarke,
Himanshu Jain,
2004
.
D. Kroening,
M. Lewis,
C. David,
2016,
FM.
Daniel Kroening,
D. Kroening,
2016,
Dependable Software Systems Engineering.
Daniel Kroening,
Natasha Sharygina,
N. Sharygina,
2007,
Test and Analysis of Web Services.
Daniel Kroening,
Vijay D'Silva,
Michael Tautschnig,
2012,
TACAS.
Daniel Kroening,
Hana Chockler,
Xiaowei Huang,
2019,
ArXiv.
Daniel Kroening,
Cristina David,
Matt Lewis,
2014,
ESOP.
Daniel Kroening,
Jim Grundy,
Thomas F. Melham,
2013,
2013 Formal Methods in Computer-Aided Design.
T. Melham,
D. Kroening,
A. Abate,
2021,
AAAI.
Daniel Kroening,
Alberto Griggio,
Martin Brain,
2013,
Formal Methods in System Design.
Daniel Kroening,
Natasha Sharygina,
Byron Cook,
2006,
2006 Formal Methods in Computer Aided Design.
Alex Groce,
Daniel Kroening,
D. Kroening,
2005,
BMC@CAV.
Daniel Kroening,
Edmund M. Clarke,
Pankaj Chauhan,
2004,
Proceedings. 41st Design Automation Conference, 2004..
D. Kroening,
P. Schrammel,
Tom'avs Vojnar,
2023,
ArXiv.
Isaac Dunn,
Tom Melham,
Daniel Kroening,
2019,
ArXiv.
Daniel Kroening,
Jade Alglave,
Michael Tautschnig,
2011,
APLAS.
E. Clarke,
N. Sharygina,
D. Kroening,
2004,
Formal Methods Syst. Des..
Daniel Kroening,
Rajdeep Mukherjee,
Michael Tautschnig,
2016,
TACAS.
Daniel Kroening,
D. Kroening,
2013
.
Daniel Kroening,
Christian Attiogbe,
D. Kroening,
2007
.
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015
.
Daniel Kroening,
Ashutosh Natraj,
Ruben Martins,
2015
.
Daniel Kroening,
Igor Zinovik,
Yury Chebiryak,
2007,
AB.
Daniel Kroening,
D. Kroening,
2007
.
Daniel Kroening,
D. Kroening,
2014
.
Daniel Kroening,
Georg Weissenbacher,
D. Kroening,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Kroening,
Cristina David,
Peter Schrammel,
2015,
ArXiv.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2016,
FM.
Daniel Kroening,
Peter Schrammel,
D. Kroening,
2016,
TACAS.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2014,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2012,
CONCUR.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2012,
Formal Methods in System Design.
Daniel Kroening,
Alex Horn,
D. Kroening,
2015,
FORTE.
Daniel Kroening,
Martin Brain,
Daniel Neville,
2016,
CSTVA@ISSTA.
Daniel Kroening,
Bernd Becker,
Matthew England,
2016,
ACCA.