Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Sagar
    Last name: Chaki
    DBLP: 79/5752
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 74  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Sagar Chaki, Derrick Karimi.
    Model Checking with Multi-threaded IC3 Portfolios.
    Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 2016 (0) 2016
    Conference paper
    Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein.
    Semantic Importance Sampling for Statistical Model Checking.
    Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Seyed Kaveh Fayaz, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar.
    Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Scott A. Hissam, Sagar Chaki, Gabriel A. Moreno.
    High Assurance for Distributed Cyber Physical Systems.
    Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 2015 (0) 2015
    Conference paper
    David Kyle, Jeffery P. Hansen, Sagar Chaki.
    Statistical Model Checking of Distributed Adaptive Real-Time Software.
    Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan.
    Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.
    Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, CPS-SPC 2015, Denver, Colorado, USA, October 16, 2015 2015 (0) 2015
    Conference paper
    Sagar Chaki, Arie Gurfinkel, Ofer Strichman.
    Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation).
    Formal Methods in System Design 2015, Volume 47 (0) 2015
    Conference paper
    Wesley Jin, Cory Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan.
    Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis.
    Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA 2014 (0) 2014
    Journal article
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki.
    SMT-based Model Checking for Recursive Programs.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki.
    SMT-Based Model Checking for Recursive Programs.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Show item 1 to 10 of 74  

    Your query returned 74 matches in the database.