MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Timed regular expressions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

ATOM

Timed Regular Expressions
by Eugene Asarin, Paul Caspi, Oded Maler — 2001 — Journal of the ACM
…Timed Regular Expressions Eugene Asarin Paul Caspi Oded Maler ∗ November 29, 2001 Abstract…
Cited by 28 (10 self) – Add To MetaCart

Equations on Timed Languages
by Eugene Asarin Institute, Eugene Asarin — 1998 — In Hybrid Systems: Computation and Control
… of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent…
Add To MetaCart

On Checking Parallel Real-Time Systems for Linear Duration Invariants
by Dang Van, Pham Hong Thai — 1998 — Proceedings of the Inter. Symposium on Software Engineering for Parallel and Distributed Systems
….O.Box 3058, Macau E-mail: fdvh,phtg@(email omitted); Abstract In this paper we define timed regular expressions…
Add To MetaCart

A Technique for Improvement of Model-checking Linear Duration Invariants
by Dangaasuren Garmaa, Dang Van Hung — 2000
… Hung Contents i Contents 1 Introduction 1 2 Linear Duration Invariants and Timed regular expressions…
Cited by 1 (0 self) – Add To MetaCart

Well-Abstracted Transition Systems: Application to FIFO Automata
by Alain Finkel, S. Purushothaman Iyer — 2000
… for the first time regular expressions to represent infinite sets of channel contents [31]. In [17], linear…
Cited by 13 (3 self) – Add To MetaCart

A Kleene Theorem for Timed Automata
by Eugene Asarin, Paul Caspi, Oded Maler — 1997
… In this paper we define timed regular expressions, an extension of regular expressions for specifying sets…
Cited by 52 (2 self) – Add To MetaCart

Equations on Timed Languages
by Eugene Asarin — 1998 — In Hybrid Systems: Computation and Control
… of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent…
Cited by 8 (1 self) – Add To MetaCart

Checking Linear Duration Invariants by Linear Programming
by Li Xuandong, Li Xu, Dang Van Hung — 1996
… proper subset, can be checked for linear duration invariants. The so-called real-time regular expressions…
Cited by 12 (9 self) – Add To MetaCart

Document d'Habilitation `a Diriger des Recherches Universit'e Joseph Fourier Syst`emes Discrets, Temporis'es et Hybrides
by Oded Maler May
…, that regular languages can be identified in the limit: you enumerate automata or regular expressions, test…
Add To MetaCart

Theorie Algebrique des Langages Formels Temps Reel
by M. Catalin Dima, P. S. Thiagarajan Examinateur, Pascal Weil Examinateur, Oded Maler, Directeur Th — 2001
… : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 33 3.1 Real-time automata and their regular expressions ............................. 34 3.1.1 Real-time…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB