Parametric Timing Analysis for Real-Time Systems

Information and Computation

Volumn 130, Issue 2, 1996, Pages 131-150

  Wang, Farn ^a  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009771227     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.0086     Document Type: Article

References (20)

1. Alur, R., Courcoubetis, C., and Dill, D. L. (1990), Model-checking in dense real-time, Inform. Comput. 104, 2-34.
2. Alur, R., Feder, T., and Henzinger, T. A. (1991), The benefits of relaxing punctuality, in "Proceedings, 10th ACM PODC."
3. Alur, R., and Henzinger, T. A. (1990), Real-time logics: Complexity and expressiveness, in "Proceedings, 5th IEEE LICS."
4. Alur, R., Henzinger, T. A., and Vardi, M. Y. (1993), Parametric real-time reasoning, in "Proceedings, 25th ACM STOC," pp. 592-601.
5. Bryant, R. E. (1986), Graph-based algorithms for Boolean function manipulation, IEEE Trans. Comput. C-35 (8).
6. 20 states and beyond, in "Proceedings, 5th IEEE LICS."
7. Clarke, E., and Emerson, E. A. (1981), Design and synthesis of synchronization skeletons using branching-time temporal logic, in "Proceedings, Workshop on Logic of Programs," Lecture Notes in Computer Science, Vol. 131, Springer-Verlag, Berlin/ New York.
8. Clarke, E., Emerson, E. A., and Sistla A. P. (1986), Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Programming Languages Systems 8 (2), 244-263.
9. Courcoubetis, C., and Yannakakis, M. (1992), Minimum and maximum delay problems in real-time systems, "Formal Methods in System Design," Vol. 1, 385-415, Kluwer Academic, Dordrecht/Norwell, MA; also in "Proceedings, 3rd CAV," LNCS 575, Springer-Verlag, Berlin/New York, 1991.
10. Courcoubetis, C., and Yannakakis, M. (1992), Minimum and maximum delay problems in real-time systems, "Formal Methods in System Design," Vol. 1, 385-415, Kluwer Academic, Dordrecht/Norwell, MA; also in "Proceedings, 3rd CAV," LNCS 575, Springer-Verlag, Berlin/New York, 1991.
11. Emerson, E. A., Mok, A. K., Sistla, A. P., and Srinivasan, J. (1990), Quantitative temporal reasoning, in "Proceedings, 2nd CAV," LNCS 531, Springer-Verlag, Berlin/ New York.
12. Hard, E., Lichtenstein, O., Pnueli, A. (1990), Explicit clock temporal logic, in "Proceedings, 5th IEEE LICS."
13. Henzinger, T. A., Nicollin, X., Sifakis, J., Yovine, S. (1992), Symbolic model checking for real-time systems, in "Proceedings, 7th IEEE LICS."
14. Lewis, H. R. (1990), A logic of concrete time intervals, in "Proceedings, 5th IEEE LICS."
15. Knuth, D. E. (1973), "The Art of Computer Programming," 2nd ed., Vol. 1, Addison-Wesley, pp. 373-374.
16. McMillan, K. L. (1992), "Symbolic Model Checking : An Approach to the State Explosion Problem," Ph.D. dissertation, School of Computer Science, Carnegie Mellon University.
17. Pnueli, A. (1977), The temporal logic of programs, in "Proceedings, 18th Annual IEEE-CS FOCS," pp. 45-57.
18. Wang, F., Mok, A., and Emerson, E. A. (1993), Symbolic model checking for distributed real-time systems, in "Proceedings, 1st Formal Methods Europe Symposium, Odense, Denmark," LNCS 670, Springer-Verlag, Berlin/New York.
19. Wang, F., Mok, A. K., and Emerson, E. A. (1993), Real-time distributed system specification and verification in APTL, ACM Transl. Software Engrg. Methodol. 2 (4), 346-378; also in "Proceedings, 14th ACM ICSE," 1992.
20. Wang, F., Mok, A. K., and Emerson, E. A. (1993), Real-time distributed system specification and verification in APTL, ACM Transl. Software Engrg. Methodol. 2 (4), 346-378; also in "Proceedings, 14th ACM ICSE," 1992.