Search the dblp DataBase

Publications of Author

1. Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
   Automated Assume-Guarantee Reasoning for Simulation Conformance. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:534-547 [Conf]
   
2. Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
   The ComFoRT Reasoning Framework. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:164-169 [Conf]
   
3. Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
   Predicate Abstraction with Minimum Predicates. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:19-34 [Conf]
   
4. Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha
   Dynamic Component Substitutability Analysis. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:512-528 [Conf]
   
5. Sagar Chaki, Nishant Sinha
   Assume-Guarantee Reasoning for Deadlock. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2006, pp:134-144 [Conf]
   
6. Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
   Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. [Citation Graph (0, 0)][DBLP]
   ICSE, 2001, pp:443-452 [Conf]
   
7. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
   Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP]
   ICSE, 2003, pp:385-395 [Conf]
   
8. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
   State/Event Software Verification for Branching-Time Specifications. [Citation Graph (0, 0)][DBLP]
   IFM, 2005, pp:53-69 [Conf]
   
9. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
   State/Event-Based Software Model Checking. [Citation Graph (0, 0)][DBLP]
   IFM, 2004, pp:128-147 [Conf]
   
10. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina
    Automated, compositional and iterative deadlock detection. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:201-210 [Conf]
    
11. Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
    Types as models: model checking message-passing programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:45-57 [Conf]
    
12. Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith
    Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:510-517 [Conf]
    
13. Sagar Chaki, Alex Groce, Ofer Strichman
    Explaining abstract counterexamples. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:73-82 [Conf]
    
14. Thomas Ball, Sagar Chaki, Sriram K. Rajamani
    Parameterized Verification of Multithreaded Software Libraries. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:158-173 [Conf]
    
15. Sagar Chaki
    SAT-Based Software Certification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:151-166 [Conf]
    
16. Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
    Verifying Concurrent Message-Passing C Programs with Recursive Calls. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:334-349 [Conf]
    
17. Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
    Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
    
18. Murray Stokely, Sagar Chaki, Joël Ouaknine
    Parallel Assignments in Software Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:77-94 [Journal]
    
19. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
    Concurrent software verification with states, events, and deadlocks. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:4, pp:461-483 [Journal]
    
20. Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
    Efficient Verification of Sequential and Concurrent C Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:129-166 [Journal]
    
21. Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
    An Iterative Framework for Simulation Conformance. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:4, pp:465-488 [Journal]
    
22. Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
    Error explanation with distance metrics. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:229-247 [Journal]
    
23. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
    Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:6, pp:388-402 [Journal]
    
24. Sagar Chaki, Christian Schallhart, Helmut Veith
    Verification Across Intellectual Property Boundaries. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:82-94 [Conf]
    
25. Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
    Model-Driven Construction of Certified Binaries. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:666-681 [Conf]
    
26. Sagar Chaki, Ofer Strichman
    Optimized L*-Based Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:276-291 [Conf]
    
27. Sagar Chaki, Christian Schallhart, Helmut Veith
    Verification Across Intellectual Property Boundaries [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
28. 
    ASPIER: An Automated Framework for Verifying Security Protocol Implementations. [Citation Graph (, )][DBLP]
    
    
29. 
    Verifying Information Flow Control over Unbounded Processes. [Citation Graph (, )][DBLP]
    
    
30. 
    Decision diagrams for linear arithmetic. [Citation Graph (, )][DBLP]
    
    
31. 
    Combining Predicate and Numeric Abstraction for Software Model Checking. [Citation Graph (, )][DBLP]
    
    
32. 
    Boxes: A Symbolic Abstract Domain of Boxes. [Citation Graph (, )][DBLP]
    
    
33. 
    Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. [Citation Graph (, )][DBLP]