Modeling Urgency in Timed Systems (1997)
Cached
Download Links
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- [www-verimag.imag.fr]
- DBLP
Other Repositories/Bibliography
by
Sébastien Bornot
,
Joseph Sifakis
,
Stavros Tripakis
| Venue: | In International Symposium: Compositionality - The Significant Difference |
| Citations: | 56 - 15 self |
BibTeX
@INPROCEEDINGS{Bornot97modelingurgency,
author = {Sébastien Bornot and Joseph Sifakis and Stavros Tripakis},
title = {Modeling Urgency in Timed Systems},
booktitle = {In International Symposium: Compositionality - The Significant Difference},
year = {1997},
pages = {103--129},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper and is the object of an ongoing work. Here, we restrict our attention to 1-safe TPNs.
Citations
| 1988 | Maintaining Knowledge about Temporal Intervals - Allen - 1983 |
| 437 | Symbolic Model Checking for Real-Time Systems - Henzinger, Nicollin, et al. - 1992 |
| 79 | Model checking in dense real time - Alur, Courcoubetis, et al. - 1993 |
| 59 | A study of the recoverability of computing systems - Merlin - 1974 |
| 44 | Use of petri nets for performance evaluation - Sifakis - 1977 |
| 12 | Relating time progress and deadlines in hybrid systems - Bornot, Sifakis - 1997 |
| 4 | Compositional speci cation of timed systems - Sifakis, Yovine - 1996 |
| 3 | Deadlinemonotonic scheduling - Audsley, Burns, et al. - 1991 |
| 3 | Saqui-Sannes. Toward a formal speci cation of multimedia scenarios. Annals of telecomunications - Senac, Diaz, et al. - 1994 |
| 2 | On the composition of hybrid systems (complete version - Bornot, Sifakis - 1997 |
| 1 | Authoring and presentation environment forinteractive multimedia documents - Jourdan, da, et al. - 1997 |
