Edmund M. Clarke
发表
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2000
.
Edmund M. Clarke,
Robert P. Kurshan,
E. Clarke,
1990
.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1983,
JACM.
Somesh Jha,
Edmund M. Clarke,
Thomas Filkorn,
1993,
CAV.
Edmund M. Clarke,
David E. Long,
Kenneth L. McMillan,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
pdf
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Thomas A. Henzinger,
Helmut Veith,
Edmund M. Clarke,
2018,
Handbook of Model Checking.
Alex Groce,
Helmut Veith,
Somesh Jha,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
A. Prasad Sistla,
Edmund M. Clarke,
E. Allen Emerson,
1983,
POPL '83.
Somesh Jha,
Edmund M. Clarke,
Wilfredo R. Marrero,
2003,
International Journal on Software Tools for Technology Transfer.
Somesh Jha,
Edmund M. Clarke,
Yuan Lu,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Edmund M. Clarke,
E. Clarke,
E. Clarke,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Sriram Sankaranarayanan,
Edmund M. Clarke,
Sicun Gao,
2010,
Formal Methods in Computer Aided Design.
Edmund M. Clarke,
Bruce H. Krogh,
André Platzer,
2008
.
Edmund M. Clarke,
Bud Mishra,
Thomas S. Anantharaman,
1985,
POPL '85.
Edmund M. Clarke,
Xudong Zhao,
E. Clarke,
1992,
CADE.
Dong Wang,
Edmund M. Clarke,
Orna Grumberg,
2003,
CAV.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005
.
Edmund M. Clarke,
1994,
Application and Theory of Petri Nets.
Edmund M. Clarke,
Shinji Kimura,
E. Clarke,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Peter Csaba Ölveczky,
Edmund M. Clarke,
Sicun Gao,
2016,
HSCC.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
CMSB.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
2001,
SMC@FLoC.
Ofer Strichman,
Edmund M. Clarke,
Anubhav Gupta,
2004,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1997,
Sci. Comput. Program..
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Hiromi Hiraishi,
1994,
1994 Proceedings Real-Time Systems Symposium.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Edmund M. Clarke,
1990,
CAV.
Armin Biere,
Edmund M. Clarke,
Anubhav Gupta,
2000,
CAV.
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..
Edmund M. Clarke,
Xudong Zhao,
1996,
MFCS.
Masahiro Fujita,
Edmund M. Clarke,
Patrick C. McGeer,
1994,
Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Workshop on Languages, Compilers, & Tools for Real-Time Systems.
Edmund M. Clarke,
Bhubaneswaru Mishra,
E. Clarke,
1985,
Theor. Comput. Sci..
Edmund M. Clarke,
1980,
Acta Informatica.
Edmund M. Clarke,
Corina S. Pasareanu,
S. Chaki,
2013
.
Edmund M. Clarke,
David E. Long,
Kenneth L. McMillan,
1991
.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2008,
Formal Methods Syst. Des..
Edmund M. Clarke,
Haifeng Zhu,
Jeannette M. Wing,
2006,
RAID.
Masahiro Fujita,
Edmund M. Clarke,
Pascal Urard,
2009,
IEEE Design & Test of Computers.
Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul
Thomas Reps,
Masahiro Fujita,
Edmund M. Clarke,
1998
.
Helmut Veith,
Edmund M. Clarke,
Tayssir Touili,
2004,
CONCUR.
Ofer Strichman,
Armin Biere,
Edmund M. Clarke,
2003,
Adv. Comput..
Edmund M. Clarke,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Kenneth L. McMillan,
1993,
CAV.
Edmund M. Clarke,
2002,
SPIN.
Edmund M. Clarke,
A. P. Sistla,
M. C. Browne,
1984,
Logics and Models of Concurrent Systems.
Soumitra Bose,
Edmund M. Clarke,
David E. Long,
2004,
Journal of Automated Reasoning.
Edmund M. Clarke,
Haijun Gong,
Tong Tong Wu,
2014,
BMC Systems Biology.
Edmund M. Clarke,
Jerry R. Burch,
David E. Long,
1991,
28th ACM/IEEE Design Automation Conference.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2012,
SAT.
Edmund M. Clarke,
Steven M. German,
Xudong Zhao,
1996,
Formal Methods Syst. Des..
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1993,
Formal Methods Syst. Des..
Edmund M. Clarke,
Paolo Zuliani,
E. Clarke,
2011,
ATVA.
Edmund M. Clarke,
Robert P. Kurshan,
Anca Browne,
1993,
Inf. Process. Lett..
Edmund M. Clarke,
Betty H. C. Cheng,
Mike Barnett,
2004
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao,
1996,
Journal of Automated Reasoning.
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2003,
SAT.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
ArXiv.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Edmund M. Clarke,
2010,
CAV.
Edmund M. Clarke,
Jeremy Avigad,
Sicun Gao,
2012,
IJCAR.
Armin Biere,
Edmund M. Clarke,
Alessandro Cimatti,
1999,
TACAS.
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins
Edmund M. Clarke,
Qinsi Wang,
Natasa Miskov-Zivanov,
2015,
ACM Great Lakes Symposium on VLSI.
Edmund M. Clarke,
E. Clarke,
1981
.
Andrej Bauer,
Edmund M. Clarke,
Xudong Zhao,
1996,
AISMC.
Somesh Jha,
Edmund M. Clarke,
Thomas Filkorn,
1993,
Formal Methods Syst. Des..
Sagar Chaki,
Edmund M. Clarke,
Tayssir Touili,
2006,
TACAS.
Edmund M. Clarke,
David Henriques,
André Platzer,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Edmund M. Clarke,
Samir Sapra,
Michael Theobald,
2003,
Proceedings 21st International Conference on Computer Design.
Edmund M. Clarke,
Yulin Feng,
1988,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Edmund M. Clarke,
Michael C. Browne,
David L. Dill,
1986,
IEEE Transactions on Computers.
Helmut Veith,
Edmund M. Clarke,
Robert P. Kurshan,
2010,
Essays in Memory of Amir Pnueli.
Edmund M. Clarke,
Michael C. Browne,
Orna Grumberg,
1987,
TAPSOFT, Vol.1.
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1993,
Formal Methods Syst. Des..
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Edmund M. Clarke,
Michael C. Browne,
E. Clarke,
1985
.
Helmut Veith,
Sumit Kumar Jha,
Edmund M. Clarke,
2005,
Handbook of Networked and Embedded Control Systems.
Edmund M. Clarke,
Orna Grumberg,
Xudong Zhao,
1995,
DAC '95.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2009,
Haifa Verification Conference.
Edmund M. Clarke,
Marius Minea,
E. Clarke,
1999
.
Edmund M. Clarke,
David E. Long,
D. E. Long,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Alex Groce,
Joël Ouaknine,
Sagar Chaki,
2004,
Formal Methods Syst. Des..
A. Prasad Sistla,
Somesh Jha,
Edmund M. Clarke,
1998,
CAV.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009,
CMSB.
Edmund M. Clarke,
Bud Mishra,
E. Clarke,
1983,
Logic of Programs.
Helmut Veith,
Edmund M. Clarke,
Anubhav Gupta,
2005,
VSTTE.
Edward A. Lee,
Gabor Karsai,
Stephen P. Boyd,
2009
.
Edmund M. Clarke,
Pankaj Chauhan,
E. Clarke,
2007
.
Edmund M. Clarke,
Byron Cook,
Stephen Magill,
2007,
SAS.
Edmund M. Clarke,
Jerry R. Burch,
Orna Grumberg,
1992
.
A. Prasad Sistla,
Edmund M. Clarke,
A. P. Sistla,
1982,
STOC '82.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Vasiliki Hartonas-Garmhausen,
1999,
ARTS.
Edmund M. Clarke,
Muralidhar Talupur,
Flavio Lerda,
2007
.
Edmund M. Clarke,
Doron A. Peled,
Orna Grumberg,
1999,
International Journal on Software Tools for Technology Transfer.
Christos Nikolaou,
Edmund M. Clarke,
1982,
IEEE Transactions on Computers.
Edmund M. Clarke,
Sicun Gao,
2014,
ISoLA.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Helmut Veith,
Somesh Jha,
Edmund M. Clarke,
2000
.
Edmund M. Clarke,
Natasha Sharygina,
Nishant Sinha,
2005,
FMCO.
Daniel Kroening,
Edmund M. Clarke,
Karen Yorav,
2003,
Proceedings 21st International Conference on Computer Design.
Edmund M. Clarke,
Steven M. German,
Xudong Zhao,
1996,
CAV.
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
1999,
CAV.
Lei Zhu,
Yih-Kuen Tsay,
Ming-Hsien Tsai,
2010,
ISoLA.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2005,
International Journal on Software Tools for Technology Transfer.
Fausto Giunchiglia,
Edmund M. Clarke,
Marco Roveri,
1999,
CAV.
Masahiro Fujita,
Edmund M. Clarke,
Yuan Lu,
2000,
DAC.
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2000,
FMCAD.
Edmund M. Clarke,
Corina S. Pasareanu,
Anvesh Komuravelli,
2012,
CAV.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
CADE.
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2010,
ANB.
Edmund M. Clarke,
E. Allen Emerson,
E. Clarke,
1981,
Logic of Programs.
Edmund M. Clarke,
E. Clarke,
1997,
Foundations of Software Technology and Theoretical Computer Science.
Edmund M. Clarke,
Paolo Zuliani,
Natasa Miskov-Zivanov,
2013,
BCB.
Edmund M. Clarke,
Orna Grumberg,
Robert P. Kurshan,
1989,
J. Log. Comput..
Edmund M. Clarke,
Xudong Zhao,
E. Clarke,
1994,
CADE.
Edmund M. Clarke,
1984
.
Edmund M. Clarke,
James Kapinski,
Alexandre Donzé,
2008
.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
CAV.
Sagar Chaki,
Arie Gurfinkel,
Edmund M. Clarke,
2013,
CAV.
Joël Ouaknine,
Helmut Veith,
Sagar Chaki,
2005,
IFM.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
CAV.
Edmund M. Clarke,
2013,
SAT.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2010,
Formal Methods Syst. Des..
Alex Groce,
Sagar Chaki,
Ofer Strichman,
2003,
CHARME.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2007,
TACAS.
Daniel Kroening,
Edmund M. Clarke,
Pankaj Chauhan,
2004,
Proceedings. 41st Design Automation Conference, 2004..
Edmund M. Clarke,
E. Clarke,
1979,
JACM.
Edmund M. Clarke,
Jeannette M. Wing,
E. Clarke,
1996
.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1997,
CAV.
Daniel Kroening,
Edmund M. Clarke,
Flavio Lerda,
2004,
TACAS.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
E. Clarke,
1997,
Theor. Comput. Sci..
Edmund M. Clarke,
Anubhav Gupta,
E. Clarke,
2005,
2005 International Conference on Computer Design.
Edmund M. Clarke,
Flavio Lerda,
E. Clarke,
2007,
J. Univers. Comput. Sci..
Helmut Veith,
Somesh Jha,
Edmund M. Clarke,
2003,
JACM.
Edmund M. Clarke,
Yulin Feng,
1986,
23rd ACM/IEEE Design Automation Conference.
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
ICFEM.
Edmund M. Clarke,
Bruce H. Krogh,
James Kapinski,
2008,
HSCC.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1989,
Inf. Comput..
Somesh Jha,
Edmund M. Clarke,
David E. Long,
1997,
Theor. Comput. Sci..
Edmund M. Clarke,
Orna Grumberg,
Himanshu Jain,
2008,
Formal Methods Syst. Des..
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009
.
Edmund M. Clarke,
Ferucio Laurentiu Tiplea,
Marius Minea,
2006,
VISSAS.
Edmund M. Clarke,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Edmund M. Clarke,
Himanshu Jain,
Constantinos Bartzis,
2006,
SAT.
Edmund M. Clarke,
Arthur Evans,
Eric S. Roberts,
1981,
Softw. Pract. Exp..
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2013,
CP.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Joël Ouaknine,
Edmund M. Clarke,
Klaus Sutner,
2003
.
Helmut Veith,
Somesh Jha,
Sagar Chaki,
2005,
J. Log. Comput..
Edmund M. Clarke,
1997,
Formal Methods Syst. Des..
Fausto Giunchiglia,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
2000,
Sci. Comput. Program..
Dong Wang,
Edmund M. Clarke,
Orna Grumberg,
2003,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Edmund M. Clarke,
E. Allen Emerson,
E. Clarke,
2009
.
Edmund M. Clarke,
Andrei Voronkov,
2010
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
Inf. Comput..
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2003,
SoftMC@CAV.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Edmund M. Clarke,
Arthur Evans,
Eric Roberts,
1979
.
Edmund M. Clarke,
2000,
SOEN.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
2002
.
Robert P. Goldman,
David J. Musliner,
Edmund M. Clarke,
2016
.
Masahiro Fujita,
Edmund M. Clarke,
Xudong Zhao,
1997,
Formal Methods Syst. Des..
Edmund M. Clarke,
E. Clarke,
S. Jha,
2000,
CAV.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2008,
CMSB.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2015,
TACAS.
Edmund M. Clarke,
Timothy Kam,
Xudong Zhao,
1996,
FMCAD.
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1997,
TOPL.
Edmund M. Clarke,
Orna Grumberg,
David E. Long,
1994,
TOPL.
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2011,
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).
Edmund M. Clarke,
Orna Grumberg,
Kiyoharu Hamaguchi,
1994,
CAV.
Edmund M. Clarke,
Qinsi Wang,
Bing Liu,
2016,
CMSB.
Edmund M. Clarke,
Nishant Sinha,
E. Clarke,
2007
.
Wei Chen,
Edmund M. Clarke,
Sicun Gao,
2014,
ArXiv.
Edmund M. Clarke,
E. Clarke,
1979,
Computing.
Edmund M. Clarke,
1979,
POPL '79.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Edmund M. Clarke,
Orna Grumberg,
Kiyoharu Hamaguchi,
1994,
Formal Methods Syst. Des..
Edmund M. Clarke,
Sicun Gao,
André Platzer,
2011,
CAI.
Somesh Jha,
Edmund M. Clarke,
Wilfredo R. Marrero,
1997
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
HSCC.
Somesh Jha,
Edmund M. Clarke,
Sergey Berezin,
2000,
Proof, Language, and Interaction.
Edmund M. Clarke,
David L. Dill,
E. Clarke,
1986
.
Sumit Kumar Jha,
Edmund M. Clarke,
Bruce H. Krogh,
2005,
HSCC.
Edmund M. Clarke,
Michael C. Browne,
Orna Grumberg,
1989,
Inf. Comput..
Edmund M. Clarke,
2003,
CADE.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
1999,
Correct System Design.
Helmut Veith,
Somesh Jha,
Dong Wang,
2001,
CHARME.
Edmund M. Clarke,
Anca Browne,
E. Clarke,
1988,
REX Workshop.
Edmund M. Clarke,
Lishing Liu,
1979,
20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Edmund M. Clarke,
Paolo Zuliani,
Anvesh Komuravelli,
2010,
BMC Bioinformatics.
Daniel Kroening,
Edmund M. Clarke,
Pankaj Chauhan,
2004
.
R. P. Kurshan,
Edmund M. Clarke,
1998,
Lecture Notes in Computer Science.
Edmund M. Clarke,
Michael C. Browne,
Orna Grumberg,
1986,
PODC '86.
Edmund M. Clarke,
Jeremy Avigad,
Sicun Gao,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Christel Baier,
Edmund M. Clarke,
Vasiliki Hartonas-Garmhausen,
1998,
PROBMIV.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2009,
TACAS.
Edmund M. Clarke,
Sérgio Campos,
E. Clarke,
1996
.
Edmund M. Clarke,
David Déharbe,
Subash Shankar,
1998,
FMCAD.
Masahiro Fujita,
Edmund M. Clarke,
Xudong Zhao,
1993,
30th ACM/IEEE Design Automation Conference.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2007,
HSCC.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Edmund M. Clarke,
David E. Long,
D. E. Long,
1993
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Christel Baier,
Mark Ryan,
Edmund M. Clarke,
1997,
ICALP.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1991,
DAC '90.
Edmund M. Clarke,
Himanshu Jain,
Nishant Sinha,
2005,
VISSAS.
Helmut Veith,
Edmund M. Clarke,
Muralidhar Talupur,
2006,
VMCAI.
Edmund M. Clarke,
Orna Grumberg,
Himanshu Jain,
2008,
CAV.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2012,
SAT.
A. Prasad Sistla,
Nissim Francez,
Edmund M. Clarke,
1982,
PODC '82.
Edmund M. Clarke,
Qinsi Wang,
E. Clarke,
2014,
Ershov Memorial Conference.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
2001,
SMC@FLoC.
Edmund M. Clarke,
Holger Schlingloff,
E. Clarke,
1999,
Handbook of Automated Reasoning.
Helmut Veith,
Somesh Jha,
Edmund M. Clarke,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Daniel Kroening,
Edmund M. Clarke,
E. Clarke,
2004,
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Edmund M. Clarke,
Nishant Sinha,
2007,
CAV.
Edmund M. Clarke,
E. Allen Emerson,
E. Clarke,
2008,
25 Years of Model Checking.
Edmund M. Clarke,
Dexter Kozen,
E. Clarke,
1983
.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016,
CMSB.
Edmund M. Clarke,
Sergey Berezin,
E. Clarke,
1998,
TABLEAUX.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2005,
FM.
Edmund M. Clarke,
André Platzer,
2008,
CAV.
Edmund M. Clarke,
E. Clarke,
2008,
25 Years of Model Checking.
Alex Groce,
Daniel Kroening,
Edmund M. Clarke,
2004,
ICFEM.
Edmund M. Clarke,
Sebastian Scherer,
Flavio Lerda,
2005
.
Edmund M. Clarke,
Philip A. Bernstein,
Barbara T. Blaustein,
1980,
VLDB.
Edmund M. Clarke,
Sicun Gao,
Samir Sapra,
2010,
SAT.
Håkan L. S. Younes,
Edmund M. Clarke,
Paolo Zuliani,
2010,
SBMF.
Edmund M. Clarke,
Paolo Zuliani,
William Klieber,
2011,
LASER Summer School.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Orna Grumberg,
1996,
Formal Methods Syst. Des..
Daniel Kroening,
Edmund M. Clarke,
2003,
ASP-DAC '03.
A. Prasad Sistla,
Nissim Francez,
Edmund M. Clarke,
1984,
Inf. Control..
Edmund M. Clarke,
Qinsi Wang,
E. Clarke,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Edmund M. Clarke,
Jerry R. Burch,
Gary J. Powers,
1992
.
Edmund M. Clarke,
Marius Minea,
F. L. Tiplea,
2006
.
Edmund M. Clarke,
1977,
POPL '77.
Sagar Chaki,
Edmund M. Clarke,
Nishant Sinha,
2005,
CAV.
Edmund M. Clarke,
E. Allen Emerson,
E. Clarke,
1980,
ICALP.
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Masahiro Fujita,
Edmund M. Clarke,
David P. Gluch,
2003,
DSN.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Sergey Berezin,
1997,
COMPOS.
Edmund M. Clarke,
Randal E. Bryant,
Amit Goel,
2000,
FMCAD.
Edmund M. Clarke,
2007
.
Soumitra Bose,
Edmund M. Clarke,
Spiro Michaylov,
1988,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2010,
Formal Methods in System Design.
Somesh Jha,
Edmund M. Clarke,
E. Clarke,
1995,
Computer Science Today.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Hiromi Hiraishi,
1995,
IEICE Trans. Inf. Syst..
Edmund M. Clarke,
Orna Grumberg,
E. Clarke,
1987,
PODC '87.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
1999,
CHARME.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2009,
FM.
Edmund M. Clarke,
2012,
ACM-TURING '12.
Edmund M. Clarke,
E. Clarke,
1977,
FOCS 1977.
Edmund M. Clarke,
André Platzer,
Paolo Zuliani,
2013,
Formal Methods Syst. Des..
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
1998,
FMCAD.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2008,
TACAS.
Somesh Jha,
Edmund M. Clarke,
Wilfredo R. Marrero,
2000,
TSEM.
Edmund M. Clarke,
Himanshu Jain,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Edmund M. Clarke,
Marius Minea,
Sérgio Campos,
1995
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2004,
Formal Methods Syst. Des..
Ofer Strichman,
Edmund M. Clarke,
James H. Kukula,
2002,
CAV.
Helmut Veith,
Somesh Jha,
Edmund M. Clarke,
2001,
Informatics.
Marco Pistore,
Fausto Giunchiglia,
Armando Tacchella,
2002,
CAV.
Somesh Jha,
Edmund M. Clarke,
David E. Long,
1994,
Theor. Comput. Sci..
Edmund M. Clarke,
Jerry R. Burch,
David E. Long,
1991,
VLSI.
Helmut Veith,
Edmund M. Clarke,
Steven M. German,
2000
.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2014,
ISoLA.
Edmund M. Clarke,
1978,
ACM-SE 16.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1983,
Logic of Programs.
Edmund M. Clarke,
Vasiliki Hartonas-Garmhausen,
S. Campos,
1996,
Proceedings of IEEE International Conference on Robotics and Automation.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Marius Minea,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Edmund M. Clarke,
Robert P. Kurshan,
Anca Browne,
1990,
CAAP.
R. P. Kurshan,
Edmund M. Clarke,
Neil Kurshan,
1991
.
Edmund M. Clarke,
Bud Mishra,
Thomas S. Anantharaman,
1985,
Distributed Computing.
Edmund M. Clarke,
2005,
Distributed Computing.
Edmund M. Clarke,
Corina S. Pasareanu,
Anvesh Komuravelli,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1982,
POPL '82.
Alex Groce,
Edmund M. Clarke,
E. Clarke,
2005
.
Joël Ouaknine,
Olaf Stursberg,
Edmund M. Clarke,
2003,
Int. J. Found. Comput. Sci..
Helmut Veith,
Somesh Jha,
Sagar Chaki,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Edmund M. Clarke,
Jeannette M. Wing,
1996,
CSUR.
Edmund M. Clarke,
Paolo Zuliani,
Natasa Miskov-Zivanov,
2012
.
Edmund M. Clarke,
David L. Dill,
Jerry R. Burch,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Somesh Jha,
Edmund M. Clarke,
Wilfredo R. Marrero,
1998,
PROCOMET.
Edmund M. Clarke,
Yulin Feng,
1986,
DAC 1986.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013
.
Edmund M. Clarke,
1977,
18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
Edmund M. Clarke,
Orna Grumberg,
Robert P. Kurshan,
1989,
J. Log. Comput..
Somesh Jha,
Dong Wang,
Edmund M. Clarke,
1999,
CHARME.
Dong Wang,
Edmund M. Clarke,
James H. Kukula,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.
Sumit Kumar Jha,
Edmund M. Clarke,
Christopher J. Langmead,
2006
.
Edmund M. Clarke,
Orna Grumberg,
1987,
Temporal Logic in Specification.
Edmund M. Clarke,
David Henriques,
Paolo Zuliani,
2012
.
Daniel Kroening,
Edmund M. Clarke,
Natasha Sharygina,
2005,
TACAS.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Helmut Veith,
Dong Wang,
Edmund M. Clarke,
2002,
FMCAD.
Edmund M. Clarke,
Wilfredo R. Marrero,
E. Clarke,
2001
.
Masahiro Fujita,
Armin Biere,
Edmund M. Clarke,
1999,
DAC '99.
Edmund M. Clarke,
P. A. Subrahmanyam,
E. Clarke,
2003
.
Marco Pistore,
Fausto Giunchiglia,
Armando Tacchella,
2002,
CAV 2002.
Edmund M. Clarke,
David E. Long,
Spiro Michaylov,
1990
.
Fausto Giunchiglia,
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
1998,
Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
Armin Biere,
Edmund M. Clarke,
Richard Raimi,
2001,
Formal Methods Syst. Des..
Radu Grosu,
Edmund M. Clarke,
Scott A. Smolka,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Edmund M. Clarke,
E. Clarke,
1990,
CAV.
Edmund M. Clarke,
1993,
CHDL.
Masahiro Fujita,
Edmund M. Clarke,
Xudong Zhao,
1995,
ICCAD.
Sumit Kumar Jha,
Edmund M. Clarke,
Bruce H. Krogh,
2007,
HSCC.
Edmund M. Clarke,
Anvesh Komuravelli,
Mingshu Li,
2012,
FACS.
Edmund M. Clarke,
André Platzer,
E. Clarke,
2008,
Formal Methods Syst. Des..
Joseph Y. Halpern,
Edmund M. Clarke,
Steven M. German,
1986,
LICS.
Armin Biere,
Edmund M. Clarke,
Yunshan Zhu,
2002,
Formal Methods Syst. Des..
Edmund M. Clarke,
E. Clarke,
1997,
ILPS.
Edmund M. Clarke,
Sergey Berezin,
1998
.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2004,
VMCAI.
Christel Baier,
Edmund M. Clarke,
Paolo Zuliani,
2012,
HSCC '12.
Fausto Giunchiglia,
Edmund M. Clarke,
Marco Roveri,
2000,
International Journal on Software Tools for Technology Transfer.
Helmut Veith,
Somesh Jha,
Dong Wang,
2001,
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Somesh Jha,
Edmund M. Clarke,
Orna Grumberg,
1995,
CONCUR.
Helmut Veith,
Edmund M. Clarke,
Muralidhar Talupur,
2008,
TACAS.
Edmund M. Clarke,
Michael C. Browne,
Orna Grumberg,
1988,
Theor. Comput. Sci..
Sagar Chaki,
Edmund M. Clarke,
S. Chaki,
2005
.
Joseph Sifakis,
Edmund M. Clarke,
E. Allen Emerson,
1996,
Handbook of Automated Reasoning.
Edmund M. Clarke,
E. Clarke,
2008,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Edmund M. Clarke,
1980,
TOPL.
Somesh Jha,
Edmund M. Clarke,
Wilfredo R. Marrero,
2000,
TACAS.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
E. Clarke,
1999,
International Journal on Software Tools for Technology Transfer.
Edmund M. Clarke,
Wolfgang Heinle,
E. Clarke,
2000
.
Edmund M. Clarke,
Frank D. Anger,
E. Clarke,
1993,
Applied Intelligence.
Somesh Jha,
Edmund M. Clarke,
W. Marrero,
1997
.
Soumitra Bose,
Edmund M. Clarke,
David E. Long,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Christos Nikolaou,
Nissim Francez,
Edmund M. Clarke,
1983,
SIGCOMM 1983.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Ofer Strichman,
Edmund M. Clarke,
E. Clarke,
2003
.
Helmut Veith,
Edmund M. Clarke,
E. Clarke,
2003,
Verification: Theory and Practice.
Alex Groce,
Edmund M. Clarke,
Edjard Mota,
2004,
WMF.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2013,
2013 Formal Methods in Computer-Aided Design.
Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
1997,
ARTS.
Olaf Stursberg,
Edmund M. Clarke,
Bruce H. Krogh,
2003,
TACAS.
Sagar Chaki,
Arie Gurfinkel,
Edmund M. Clarke,
2013,
ICTSS.
Edmund M. Clarke,
Xudong Zhao,
Manpreet Khaira,
1996,
DAC '96.
Alex Groce,
Helmut Veith,
Somesh Jha,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Edmund M. Clarke,
Orna Grumberg,
David E. Long,
1993,
REX School/Symposium.
Edmund M. Clarke,
E. Allen Emerson,
E. Clarke,
1982,
Sci. Comput. Program..
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Tomohiro Yoneda,
Edmund M. Clarke,
Atsufumi Shibayama,
1993,
CAV.
Wojciech Penczek,
Edmund M. Clarke,
Ursula Goltz,
2021
.
Edmund M. Clarke,
Paolo Zuliani,
Haijun Gong,
2011
.
Rance Cleaveland,
Radu Grosu,
Edmund M. Clarke,
2016
.
Edmund M. Clarke,
Paolo Zuliani,
Haijun Gong,
2013
.
Edmund M. Clarke,
Michael C. Browne,
Orna Grumberg,
1987
.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014
.
Edmund M. Clarke,
Sergey Berezin,
E. Clarke,
2002
.
Masahiro Fujita,
Edmund M. Clarke,
E. Clarke,
1995
.
Edmund M. Clarke,
E. Clarke,
Yuan Lu,
2000
.
Edmund M. Clarke,
Himanshu Jain,
E. Clarke,
2008
.
Edmund M. Clarke,
Atsufumi Shibayama,
E. Clarke,
1993
.