MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ali Ebnenasir" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • SAT-Based Synthesis of Fault-Tolerance 1  
  • by Ali Ebnenasir, Sandeep S. Kulkarni
  • …SAT-Based Synthesis of Fault-Tolerance 1 Ali Ebnenasir Sandeep S. Kulkarni Software Engineering…
  • Add To MetaCart
  • Automated synthesis of multitolerance  
  • by Sandeep S. Kulkarni, Ali Ebnenasir — 2004 — IEEE Conference on Dependable and Network Systems (DSN’04
  • …Automated Synthesis of Multitolerance   Sandeep S. Kulkarni Ali Ebnenasir Software Engineering…
  • Cited by 11 (4 self) – Add To MetaCart
  • Adding FaultTolerance to State Machine-Based Designs  
  • by Sandeep S. Kulkarni, Ali Ebnenasir — 2007 — Software Engineering and Knowledge Engineering. World Scientific Publishing Co. Pte. Ltd
  • … and Engineering Department The Ohio State University Columbus Ohio 43210 USA E-mail: anish@(email omitted); ALI…
  • Cited by 1 (0 self) – Add To MetaCart
  • Revising UNITY Programs: Possibilities and  
  • by Ali Ebnenasir, Eep S. Kulkarni, Borzoo Bonakdarpour
  • … Revising UNITY Programs: Possibilities and Limitations1 Ali Ebnenasir, Sandeep S. Kulkarni…
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB