Past pushdown timed automata and safety verification

By Dang Z.   Bultan T.   H. Ibarra O.   A. Kemmerer R.  

Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. : 57-71

Elsevier

Access to resources Recommend Favorite

The power of reachability testing for timed automata

By Aceto L.   Bouyer P.   Burgueno A.   Larsen K.G.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 411-475

Elsevier

Access to resources Recommend Favorite

Generalized discrete timed automata: decidable approximations for safety verification

By Dang Z.   Ibarra O.H.   Kemmerer R.A.  

Theoretical Computer Science, Vol. 296, Iss. 1, 2003-03 ,pp. : 59-74

Elsevier

Access to resources Recommend Favorite

Presburger liveness verification of discrete timed automata

By Dang Z.   Pietro P.S.   Kemmerer R.A.  

Theoretical Computer Science, Vol. 299, Iss. 1, 2003-04 ,pp. : 413-438

Elsevier

Access to resources Recommend Favorite

Timed verification of the generic architecture of a memory circuit using parametric timed automata

By Chevallier Remy   Encrenaz-Tiphene Emmanuelle   Fribourg Laurent   Xu Weiwen  

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 59-81

Springer Publishing Company

Access to resources Recommend Favorite