S. Chaki
发表
Sagar Chaki,
Arie Gurfinkel,
Anvesh Komuravelli,
2014,
Formal Methods in System Design.
Helmut Veith,
Somesh Jha,
Sagar Chaki,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
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..
Sagar Chaki,
Arie Gurfinkel,
Edmund M. Clarke,
2013,
CAV.
Sagar Chaki,
Arvind Seshadri,
Anupam Datta,
2010,
2010 IEEE Symposium on Security and Privacy.
A. Gurfinkel,
S. Chaki,
C. Weinstock,
2009
.
S. Chaki,
J. Ivers,
James Ivers,
2010,
Innovations in Systems and Software Engineering.
William R. Harris,
S. Chaki,
S. Jha,
2009
.
Sagar Chaki,
John M. Dolan,
S. Chaki,
2013
.
S. Chaki,
N. Sharygina,
N. Sinha,
2004
.
A. Gurfinkel,
S. Chaki,
O. Strichman,
2011
.
S. Chaki,
Anupam Datta,
2008
.
A. Gurfinkel,
S. Chaki,
2010
.
S. Chaki,
D. Kroening,
O. Strichman,
1995,
Lecture Notes in Computer Science.
E. Clarke,
S. Chaki,
Alex Groce,
2018
.
A. Gurfinkel,
S. Chaki,
O. Strichman,
2010
.
Jörgen Hansson,
Alan R. Hevner,
Stacy J. Prowell,
2005
.
A. Gurfinkel,
Anvesh Komuravelli,
S. Chaki,
2016,
Formal Methods in System Design.
Alex Groce,
Helmut Veith,
Somesh Jha,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Tianlong Yu,
Vyas Sekar,
Sagar Chaki,
2016,
NSDI.
Sagar Chaki,
Scott A. Hissam,
S. Chaki,
2005
.
Sagar Chaki,
Arie Gurfinkel,
Samir Sapra,
2011,
NASA Formal Methods.
Sagar Chaki,
Ofer Strichman,
Gabriel A. Moreno,
2017,
2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Björn Andersson,
Sagar Chaki,
Dionisio de Niz,
2017,
RV.
Sagar Chaki,
Edmund M. Clarke,
Tayssir Touili,
2006,
TACAS.
Sagar Chaki,
Arie Gurfinkel,
A. Gurfinkel,
2010,
SAS.
Pallab Dasgupta,
P. P. Chakrabarti,
Jatindra Kumar Deka,
2001,
ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).
James Newsome,
Sagar Chaki,
Limin Jia,
2013,
2013 IEEE Symposium on Security and Privacy.
Helmut Veith,
Sagar Chaki,
Christian Schallhart,
2007,
TSEM.
Sagar Chaki,
Stanley Bak,
S. Chaki,
2016,
2016 International Conference on Embedded Software (EMSOFT).
Edmund M. Clarke,
Corina S. Pasareanu,
S. Chaki,
2013
.
Sagar Chaki,
Arie Gurfinkel,
A. Gurfinkel,
2010,
Innovations in Systems and Software Engineering.
Sagar Chaki,
Ofer Strichman,
S. Chaki,
2008,
Formal Methods Syst. Des..
David Garlan,
Sagar Chaki,
Dionisio de Niz,
2015,
CPS-SPC@CCS.
Sagar Chaki,
Anupam Datta,
S. Chaki,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
S. Chaki,
Anupam Datta,
2008
.
Robert L. Nord,
William R. Nichols,
Sagar Chaki,
2012
.
Alex Groce,
Helmut Veith,
Somesh Jha,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Sagar Chaki,
Edmund M. Clarke,
Nishant Sinha,
2005,
CAV.
Alex Groce,
Sagar Chaki,
Ofer Strichman,
2004,
SIGSOFT '04/FSE-12.
Sagar Chaki,
Dionisio de Niz,
Jeffery P. Hansen,
2015,
TACAS.
Sagar Chaki,
S. Chaki,
2002
.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2005,
Formal Aspects of Computing.
Joël Ouaknine,
Helmut Veith,
Sagar Chaki,
2005,
IFM.
Sagar Chaki,
James Ivers,
S. Chaki,
2010,
Innovations in Systems and Software Engineering.
Sagar Chaki,
Noam Zeilberger,
Peter Lee,
2007
.
Sagar Chaki,
S. Chaki,
2006,
TACAS.
Helmut Veith,
Somesh Jha,
Sagar Chaki,
2005,
J. Log. Comput..
Alex Groce,
Joël Ouaknine,
Sagar Chaki,
2004,
Formal Methods Syst. Des..
Alex Groce,
Sagar Chaki,
Ofer Strichman,
2003,
CHARME.
Vyas Sekar,
Sagar Chaki,
Seyed Kaveh Fayaz,
2015,
ArXiv.
Priya Narasimhan,
Sagar Chaki,
Arie Gurfinkel,
2012,
2012 11th International Conference on Machine Learning and Applications.
Vyas Sekar,
Sagar Chaki,
Yoshiaki Tobioka,
2014
.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2004,
IFM.
Sagar Chaki,
David Kyle,
S. Chaki,
2016
.
Sagar Chaki,
James R. Edmondson,
S. Chaki,
2014,
MoDELS.
Sagar Chaki,
Nishant Sinha,
S. Chaki,
2006,
2006 Formal Methods in Computer Aided Design.
Sagar Chaki,
S. Chaki,
2004
.
Joël Ouaknine,
Sagar Chaki,
Edmund M. Clarke,
2003,
SoftMC@CAV.
Sagar Chaki,
Anupam Datta,
S. Chaki,
2008
.
Sagar Chaki,
Sriram K. Rajamani,
Thomas Ball,
2001,
TACAS.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
Sagar Chaki,
Edmund M. Clarke,
Natasha Sharygina,
2008,
Formal Methods Syst. Des..
Sagar Chaki,
Edmund M. Clarke,
S. Chaki,
2005
.
S. Rajamani,
S. Chaki,
Newell Simon Hall,
2005
.
Sagar Chaki,
Ofer Strichman,
S. Chaki,
2007,
TACAS.
Marsha Chechik,
Sagar Chaki,
Aws Albarghouthi,
2013,
TACAS.
Alex Groce,
Daniel Kroening,
Sagar Chaki,
2005
.
Sagar Chaki,
Derrick Karimi,
S. Chaki,
2016,
VMCAI.
Sagar Chaki,
Arie Gurfinkel,
Nishant Sinha,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Priya Narasimhan,
Sagar Chaki,
Arie Gurfinkel,
2014,
PPREW'14.
Sagar Chaki,
Arie Gurfinkel,
Edmund M. Clarke,
2013,
ICTSS.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2013,
2013 Formal Methods in Computer-Aided Design.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2013,
VMCAI.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2012,
Formal Methods in System Design.
Sagar Chaki,
Arie Gurfinkel,
Cory F. Cohen,
2011,
KDD.
Sagar Chaki,
Ipek Ozkaya,
Arie Gurfinkel,
2010,
2010 14th European Conference on Software Maintenance and Reengineering.
Sagar Chaki,
Ofer Strichman,
Arie Gurfinkel,
2009,
2009 Formal Methods in Computer-Aided Design.
David Garlan,
Sagar Chaki,
Ipek Ozkaya,
2009,
2009 ICSE Workshop on Modeling in Software Engineering.
Sagar Chaki,
Arie Gurfinkel,
A. Gurfinkel,
2008,
2008 Formal Methods in Computer-Aided Design.