MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sriram Sankaranarayanan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Petri net analysis using invariant generation  
  • by Sriram Sankaranarayanan, Henny Sipma, Zohar Manna — 2003 — In Verification: Theory and Practice, LNCS 2772:682–701
  • …Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna…
  • Cited by 4 (2 self) – Add To MetaCart
  • Constructing Invariants for Hybrid Systems  
  • by Sriram Sankaranarayanan, Henny Sipma, Zohar Manna — 2004 — in Hybrid Systems: Computation and Control, LNCS 2993
  • …Constructing Invariants for Hybrid Systems Sriram Sankaranarayanan, Henny Sipma, Zohar Manna…
  • Cited by 15 (2 self) – Add To MetaCart
  • unknown title  
  • by Collecting Statistics, Runtime Executions, Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
  • … Collecting Statistics over Runtime Executions Bernd Finkbeiner, Sriram Sankaranarayanan and Henny…
  • Add To MetaCart
  • Collecting Statistics over Runtime Executions  
  • by Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma — 2002 — In Proceedings of Runtime Verification (RV’02) [1
  • … Sriram Sankaranarayanan and Henny B. Sipma Computer Science Department, Stanford University, Stanford, CA…
  • Cited by 12 (1 self) – Add To MetaCart
  • Event correlation: Language and semantics  
  • by Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, Zohar Manna — 2003 — In Embedded Software, Third International Conference, EMSOFT 2003, volume 2855 of Lecture Notes in Computer Science
  • … Event Correlation: Language and Semantics C'esar S'anchez, Sriram Sankaranarayanan, Henny Sipma…
  • Cited by 7 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB