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

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

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

Completeness of a first-order temporal logic with time-gaps

By Baaz M.   Leitsch A.   Zach R.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 241-270

Elsevier

Access to resources Recommend Favorite