Modeling Urgency in Timed Systems-Reference-Cited by-同舟云学术

Modeling Urgency in Timed Systems

Published:1998 Issue: Volume: Page:103-129
ISSN:0302-9743
Container-title:Compositionality: The Significant Difference
language:
Short-container-title:

Author:

Bornot Sébastien,Sifakis Joseph,Tripakis Stavros

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49213-5_5

Reference11 articles.

1. N.C. Audsley, A. Bums, M.F. Richardson, and A.J. Wellings. Deadlinemonotonic scheduling. In Proc. 8th IEEE Workshop on Real-time Operating Systems and Software, 1991.

2. R. Alur, C. Courcoubetis, and D.L. Dill. Model checking in dense real time. Information and Computation, 104(1):2–34, 1993.

3. J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, November 1983.

4. S. Bornot and J. Sifakis. On the composition of hybrid systems (complete version). In International NATO Summer School on “Verification of Digital and Hybrid Systems”, Antalya, Turkey, 1997.

5. Lect Notes Comput Sci;S. Bornot,1997

Cited by 80 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-based design of resilient systems using quantitative risk assessment;Innovations in Systems and Software Engineering;2023-04-14

2. Runtime Verification of Timed Properties in Autonomous Robots;2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2020-12-02

3. Bridging the gap between formal verification and schedulability analysis: The case of robotics;Journal of Systems Architecture;2020-12

4. From Passive to Active: Learning Timed Automata Efficiently;Lecture Notes in Computer Science;2020

5. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment;Lecture Notes in Computer Science;2020