MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Timed Automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1,707 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Timed Automata  
  • by Rajeev Alur — 1999 — Theoretical Computer Science
  • …Timed Automata Rajeev Alur ? Abstract. Model checking is emerging as a practical tool…
  • Cited by 1362 (25 self) – Add To MetaCart
  • Untameable timed automata  
  • by Patricia Bouyer, Y Clocks [alur, Dill ’s — 2003 — In Proc. 20th Annual Symposium on Theoretical Aspects of Computer Science (STACS'03
  • …Timed Automata – From Theory to Implementation Patricia Bouyer LSV – CNRS & ENS de Cachan France…
  • Cited by 13 (3 self) – Add To MetaCart
  • Robust timed automata  
  • by Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan — 1997 — In Proceedings of HART 97
  • …Robust Timed Automata ?�?? Vineet Gupta 1 Thomas A. Henzinger 2 Radha Jagadeesan 3 1 Xerox PARC…
  • Cited by 28 (4 self) – Add To MetaCart
  • From MITL to timed automata  
  • by Oded Maler, Dejan Nickovic, Amir Pnueli — 2006 — PROCEEDINGS OF FORMATS. VOLUME 4202 OF LNCS
  • …From MITL to Timed Automata ⋆ Oded Maler 1 , Dejan Nickovic 1 and Amir Pnueli 2,3 1 Verimag, 2 Av…
  • Cited by 4 (1 self) – Add To MetaCart
  • Robustness and Implementability of Timed Automata  
  • by Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin — 2004 — In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT’04), volume 3253 of LNCS
  • … and Implementability of Timed Automata ? Martin De Wulf, Laurent Doyen ?? , Nicolas Markey, and Jean-Francois Raskin…
  • Cited by 6 (4 self) – Add To MetaCart
  • A Calculus for Timed Automata  
  • by Pedro R. D'Argenio, Ed Brinksma — 1996 — Theoretical Computer Science
  • …A calculus for timed automata Pedro R. D'Argenio and Ed Brinksma Dept. of Computer Science…
  • Cited by 42 (3 self) – Add To MetaCart
  • Verification of Timed Automata  
  • by Via Satisfiability Checking, Peter Niebert, Moez Mahfoudh, Marius Bozga, Oded Maler, Navendu Jain
  • …Verification of Timed Automata via Satisfiability Checking # Peter Niebert 2 , Moez Mahfoudh 1…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB