Sagar Chaki

发表

Sagar Chaki, Ofer Strichman, S. Chaki, 2008, Formal Methods Syst. Des..
Alex Groce, Helmut Veith, Somesh Jha, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Björn Andersson, Sagar Chaki, Dionisio de Niz, 2017, RV.
Sagar Chaki, Dionisio de Niz, 2017, ACM Trans. Embed. Comput. Syst..
Sagar Chaki, Amit Vasudevan, 2018, 2018 IEEE European Symposium on Security and Privacy (EuroS&P).
Sagar Chaki, Arie Gurfinkel, Samir Sapra, 2011, NASA Formal Methods.
Sagar Chaki, Sriram K. Rajamani, Thomas Ball, 2001, TACAS.
David Garlan, Sagar Chaki, Dionisio de Niz, 2014, 2014 International Conference on Embedded Software (EMSOFT).
Sagar Chaki, Jonathan M. McCune, Anupam Datta, 2012 .
Helmut Veith, Harald C. Gall, Somesh Jha, 2003, SEKE.
Sagar Chaki, Nishant Sinha, 2006 .
David Garlan, Sagar Chaki, Dionisio de Niz, 2014 .
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, 2008, Formal Methods Syst. Des..
Sagar Chaki, James R. Edmondson, S. Chaki, 2014, MoDELS.
Sagar Chaki, Natasha Sharygina, Nishant Sinha, 2004 .
David Garlan, Sagar Chaki, Dionisio de Niz, 2014 .
Sagar Chaki, Arie Gurfinkel, Cory F. Cohen, 2011, KDD.
Sagar Chaki, Scott A. Hissam, S. Chaki, 2005 .
Sagar Chaki, Edmund M. Clarke, Tayssir Touili, 2006, TACAS.
Jörgen Hansson, Alan R. Hevner, Stacy J. Prowell, 2005 .
Sagar Chaki, James Ivers, S. Chaki, 2010, Innovations in Systems and Software Engineering.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2009, 2009 Formal Methods in Computer-Aided Design.
Sagar Chaki, Arie Gurfinkel, 2018, Handbook of Model Checking.
Alex Groce, Joël Ouaknine, Sagar Chaki, 2004, Formal Methods Syst. Des..
Alex Groce, Sagar Chaki, Ofer Strichman, 2004, SIGSOFT '04/FSE-12.
Sagar Chaki, Limin Jia, Petros Maniatis, 2015 .
Sagar Chaki, Jonathan M. McCune, Anupam Datta, 2012, POST.
Sagar Chaki, Joseph A. Giampapa, 2013 .
Sagar Chaki, John P. Lehoczky, David Kyle, 2014, SIMPAR.
Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke, 2013, CAV.
Joël Ouaknine, Helmut Veith, Sagar Chaki, 2005, IFM.
Sagar Chaki, Gabriel A. Moreno, Scott A. Hissam, 2015, ECSA Workshops.
Sagar Chaki, Peter Lee, Noam Zeilberger, 2007, MODELS'07.
Sagar Chaki, Ofer Strichman, S. Chaki, 2007, TACAS.
Alex Groce, Sagar Chaki, Ofer Strichman, 2003, CHARME.
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2004, IFM.
Lui Sha, Sagar Chaki, Min-Young Nam, 2014, 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC).
Joël Ouaknine, Sagar Chaki, Murray Stokely, 2006, Electron. Notes Theor. Comput. Sci..
David Garlan, Sagar Chaki, Dionisio de Niz, 2014 .
Sagar Chaki, Jakob Rehof, Sriram K. Rajamani, 2002, POPL '02.
Robert L. Nord, William R. Nichols, Sagar Chaki, 2012 .
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..
Helmut Veith, Somesh Jha, Sagar Chaki, 2005, J. Log. Comput..
Sagar Chaki, Nishant Sinha, S. Chaki, 2006, 2006 Formal Methods in Computer Aided Design.
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2003, SoftMC@CAV.
Joël Ouaknine, Sagar Chaki, Edmund M. Clarke, 2005, Formal Aspects of Computing.
Sagar Chaki, Natasha Sharygina, James Ivers, 2005, CAV.
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2010, Innovations in Systems and Software Engineering.
Helmut Veith, Sagar Chaki, Christian Schallhart, 2007, TSEM.
Sagar Chaki, Pritam Roy, Pankaj Chauhan, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sagar Chaki, Ipek Ozkaya, Arie Gurfinkel, 2010, 2010 14th European Conference on Software Maintenance and Reengineering.
Helmut Veith, Sagar Chaki, Christian Schallhart, 2007, CAV.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2012, Formal Methods in System Design.
William Snavely, Sagar Chaki, Joseph Betser, 2017 .
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2008, 2008 Formal Methods in Computer-Aided Design.
Sagar Chaki, Stanley Bak, S. Chaki, 2016, 2016 International Conference on Embedded Software (EMSOFT).
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2013, VMCAI.
Mark Klein, Sagar Chaki, Gabriel A. Moreno, 2015 .
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, 2005, FM.
Sagar Chaki, Gabriel A. Moreno, Scott A. Hissam, 2016, RV.
Sagar Chaki, Arie Gurfinkel, Anvesh Komuravelli, 2014, Formal Methods in System Design.
Sagar Chaki, Arie Gurfinkel, Nishant Sinha, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Sagar Chaki, Arie Gurfinkel, Derrick Karimi, 2015 .
Sagar Chaki, Joseph Andrew Giampapa, 2013, SPIN.
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, 2005, CAV.
William R. Harris, Somesh Jha, Sagar Chaki, 2009, FM.
Priya Narasimhan, Sagar Chaki, Arie Gurfinkel, 2014, PPREW'14.
Sagar Chaki, Noam Zeilberger, Peter Lee, 2007 .
Sagar Chaki, Scott A. Hissam, 2006 .
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2010, SAS.
Sagar Chaki, Anupam Datta, S. Chaki, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Sagar Chaki, Dionisio de Niz, Jeffery P. Hansen, 2015, TACAS.
Helmut Veith, Somesh Jha, Sagar Chaki, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2013, 2013 Formal Methods in Computer-Aided Design.
Priya Narasimhan, Sagar Chaki, Arie Gurfinkel, 2012, 2012 11th International Conference on Machine Learning and Applications.
Tianlong Yu, Vyas Sekar, Sagar Chaki, 2016, NSDI.
Björn Andersson, Sagar Chaki, Jules White, 2012, 2012 24th Euromicro Conference on Real-Time Systems.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2015, Formal Methods Syst. Des..
Sagar Chaki, S. Chaki, 2006, TACAS.
James Newsome, Sagar Chaki, Limin Jia, 2013, 2013 IEEE Symposium on Security and Privacy.
Sagar Chaki, Arie Gurfinkel, Anvesh Komuravelli, 2014, CAV.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
Sagar Chaki, Ofer Strichman, Gabriel A. Moreno, 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Sagar Chaki, David Kyle, Jeffery P. Hansen, 2015, RV.
David Garlan, Sagar Chaki, Ipek Ozkaya, 2009, 2009 ICSE Workshop on Modeling in Software Engineering.
Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke, 2013, ICTSS.
Sagar Chaki, Derrick Karimi, S. Chaki, 2016, VMCAI.
Sagar Chaki, Arvind Seshadri, Anupam Datta, 2010, 2010 IEEE Symposium on Security and Privacy.
Alex Groce, Helmut Veith, Somesh Jha, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Sagar Chaki, Renato Mancuso, 2018 .
Sagar Chaki, John M. Dolan, S. Chaki, 2013 .
Sagar Chaki, Dionisio de Niz, 2017 .