MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sagar Chaki" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 28 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Optimized l*-based assumeguarantee reasoning  
  • by Sagar Chaki, Ofer Strichman — 2007 — In (to appear) Proc. of the 19 th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’07
  • …Optimized L*-based Assume-Guarantee Reasoning ⋆ Sagar Chaki 1 Ofer Strichman 2 1 Software…
  • Cited by 3 (0 self) – Add To MetaCart
  • Automated, Compositional and Iterative Deadlock Detection  
  • by Sagar Chaki, Edmund Clarke, Joel Ouaknine, Natasha Sharygina — 2004 — In MEMOCODE 2004: Second ACM-IEEE International Conference on Formal Methods and Models for Codesign
  • …Automated, Compositional and Iterative Deadlock Detection Sagar Chaki Edmund Clarke Joel Ouaknine…
  • Cited by 4 (1 self) – Add To MetaCart
  • Dynamic component substitutability analysis  
  • by Natasha Sharygina, Sagar Chaki, Edmund Clarke, Nishant Sinha — 2005 — In Proceedings of the International Symposium of Formal Methods Europe
  • …Dynamic Component Substitutability Analysis ⋆ Natasha Sharygina Sagar Chaki Edmund Clarke Nishant…
  • Cited by 3 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB