MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Theory of Timed Automata." – sorted by Relevance.

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

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

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

ATOM

Model Checking Timed Automata
by Sergio Yovine Verimag, Sergio Yovine — 1998 — In European Educational Forum: School on Embedded Systems
… Gi`eres, France Abstract. The theory of timed automata provides a formal framework to model…
Add To MetaCart

Decision Problems for the Verification of Real-Time Software
by Michael Emmi, Rupak Majumdar — 2006 — In Proceedings of HSCC 06
… in the theory of timed automata concerning timed language inclusion of real-time programs modeled as timed…
Cited by 3 (0 self) – Add To MetaCart

From Scenarios to Timed Automata: Building Specifications from Users Requirements
by Stéphane Somé, Rachida Dssouli, Jean Vaucher — 1995 — In Asia Paci c Software Engineering Conference
… concepts of scenarios, and those of the theory of timed automata. Keywords: Requirements Engineering…
Cited by 26 (3 self) – Add To MetaCart

Model checking timed automata
by Sergio Yovine — 1998 — In European Educational Forum: School on Embedded Systems
… Gieres, France Abstract. The theory of timed automata provides a formal framework to model and to verify…
Cited by 50 (1 self) – Add To MetaCart

Kronos: A Verification Tool for Real-Time Systems. (Kronos User's Manual Release 2.2)
by Sergio Yovine — 1997 — International Journal on Software Tools for Technology Transfer
… The mathematical foundations of Kronos come from the theory of timed automata and timed temporal logics. Timed…
Cited by 4 (0 self) – Add To MetaCart

Hybrid Systems
by Rajeev Alur — 1996 — PROC. IEEE CONF. ON DECISION AND CONTROL
…. This paper provides a survey of theory of timed automata, and their role in specification and verification…
Cited by 3 (0 self) – Add To MetaCart

Verifying Timing Aspects of VHS Case Study 1
by Ralf Huuck — 1999
… [OY93] and HyTech [HHWT95] to analyze them. Both are based on the theory of timed automata and use…
Cited by 1 (0 self) – Add To MetaCart

Modelling and Analysis of a Commercial Field Bus Protocol
by Alexandre David, Wang Yi — 2000 — In Proc. of 12th Euromicro Conference on Real-Time Systems
… on the theory of timed automata [AD94]. They have been successfully applied in various case-studies (e.g. [BGK…
Cited by 5 (0 self) – Add To MetaCart

Mechanical Verification of Timed Automata: A Case Study
by Myla Archer, Constance Heitmeyer — 1996 — In Proc. 1996 IEEE Real-Time Technology and Applications Symp. (RTAS'96). IEEE Computer
… theories that underlie the timed automata model, a template for specifying timed automata models in PVS…
Cited by 32 (10 self) – Add To MetaCart

Back to the Future: Towards a Theory of Timed Regular Languages
by Rajeev Alur, Thomas A. Henzinger — 1992 — In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
… real-valued time. These automata were designed to lead to a theory of finite-state real-time properties…
Cited by 29 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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