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 81  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gabriel A. Moreno, Ofer Strichman, Sagar Chaki, Radislav Vaisman.
    Decision-Making with Cross-Entropy for Self-Adaptation.
    12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017 2017 (0) 2017
    Conference paper
    Björn Andersson, Sagar Chaki, Dionisio de Niz.
    Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.
    Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 2017 (0) 2017
    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
    Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki.
    SMT-based model checking for recursive programs.
    Formal Methods in System Design 2016, Volume 48 (0) 2016
    Conference paper
    Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta.
    überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
    25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. 2016 (0) 2016
    Conference paper
    Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle.
    Input Attribution for Statistical Model Checking Using Logistic Regression.
    Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Stanley Bak, Sagar Chaki.
    Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.
    2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016 2016 (0) 2016
    Conference paper
    Seyed Kaveh Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar.
    BUZZ: Testing Context-Dependent Policies in Stateful Networks.
    13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016, Santa Clara, CA, USA, March 16-18, 2016 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
    Conference paper
    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
    Show item 1 to 10 of 81  

    Your query returned 81 matches in the database.