The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sagar Chaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.035secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002