MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Nishant Sinha" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Sat-based compositional verification using lazy learning
by Nishant Sinha, Edmund Clarke — 2007 — In CAV
…SAT-based Compositional Verification using Lazy Learning Nishant Sinha ∗ , Edmund Clarke…
Cited by 2 (1 self) – Add To MetaCart

Range Allocation for Separation Logic
by Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli — 2004 — in CAV
…Range Allocation for Separation Logic Muralidhar Talupur 1 , Nishant Sinha 1 , Ofer Strichman 2…
Cited by 3 (1 self) – Add To MetaCart

Dynamic component substitutability analysis
by Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha — 2005 — In Proc. of Conf. on Formal Methods
… Nishant Sinha chaki|nys@(email omitted); emc|natalie|nishants@(email omitted); Carnegie Mellon University Abstract…
Cited by 6 (3 self) – Add To MetaCart

N.: Program Compatibility Approaches
by Edmund Clarke, Natasha Sharygina, Nishant Sinha — 2005 — In Proceedings of the Formal Methods for Components and Objects symposium, FMCO 2006
…Program Compatibility Approaches Edmund Clarke, Natasha Sharygina, and Nishant Sinha Carnegie…
Cited by 1 (0 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
… Sinha nys|chaki@(email omitted); emc|natalie|nishants@(email omitted); Carnegie Mellon University Abstract…
Cited by 3 (0 self) – Add To MetaCart

Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
by Vineet Kahlon, Aarti Gupta, Nishant Sinha — 2006 — In CAV’06: International Conference on Computer Aided Verification
… Vineet Kahlon , Aarti Gupta , and Nishant Sinha NEC Laboratories America, Princeton, NJ 08540, USA…
Cited by 1 (1 self) – Add To MetaCart

Verification of Evolving Software
by Sagar Chaki , Natasha Sharygina, Nishant Sinha — 2004
…ABSTRACT Verification of Evolving Software ∗ Sagar Chaki Natasha Sharygina Nishant Sinha chaki|natalie|nishants…
Cited by 8 (4 self) – Add To MetaCart

Automated Assume-Guarantee Reasoning for Simulation Conformance
by Sagar Chaki, Edmund Clarke, Nishant Sinha, Prasanna Thati — 2005 — In Proc. of CAV’05, volume 3576 of LNCS
…, Nishant Sinha, Prasanna Thati Carnegie Mellon University, USA fchaki,emc,nishants…
Cited by 14 (3 self) – Add To MetaCart

Under consideration for publication in Formal Aspects of Computing Concurrent Software Verification with States, Events, and Deadlocks 1,2
by Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
… Sharygina 1,2 , Nishant Sinha 2 1 Software Engineering Institute, Carnegie Mellon University, Pittsburgh…
Add To MetaCart

State/event-based software model checking
by Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha — 2004 — In Integrated Formal Methods
… Sharygina Nishant Sinha Computer Science Department, Carnegie Mellon University 5000 Forbes Ave., Pittsburgh…
Cited by 18 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB