From Timed to Hybrid Systems
暂无分享,去创建一个
Zohar Manna | Amir Pnueli | Oded Maler | Z. Manna | A. Pnueli | O. Maler
[1] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[2] E. Zijlstra,et al. Specifying message passing and real-time systems with real-time temporal logic , 1987 .
[3] Amir Pnueli,et al. Applications of Temporal Logic to the Specification of Real-time Systems , 1988, FTRTFT.
[4] Zohar Manna,et al. The anchored version of the temporal framework , 1988, REX Workshop.
[5] Robert S. Boyer,et al. The Correctness Problem in Computer Science , 1982 .
[6] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[7] Rajeev Alur,et al. Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[8] Erik Sandewall,et al. Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.
[9] Thomas A. Henzinger,et al. Temporal proof methodologies for real-time systems , 1991, POPL '91.
[10] A. W. Roscoe,et al. Metric Spaces as Models for Real-Time Concurrency , 1987, MFPS.
[11] Fred B. Schneider,et al. Putting Time into Proof Outlines , 1991, REX Workshop.
[12] Thomas A. Henzinger,et al. A really temporal logic , 1989, 30th Annual Symposium on Foundations of Computer Science.
[13] Willem P. de Roever,et al. Real-time programming and asynchronous message passing , 1983, PODC '83.
[14] Zohar Manna,et al. Verification of concurrent programs, Part I: The temporal framework , 1981 .
[15] Amir Pnueli,et al. Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.
[16] Leslie Lamport,et al. What Good is Temporal Logic? , 1983, IFIP Congress.
[17] Fred B. Schneider,et al. Derivation of sequential, real-time, process-control programs , 1991 .
[18] Amir Pnueli,et al. What is in a Step: On the Semantics of Statecharts , 1991, TACS.
[19] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[20] Kirsten Mark Hansen,et al. Specifying and verifying requirements of real-time systems , 1991, SIGSOFT '91.
[21] Grzegorz Rozenberg,et al. Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .
[22] Thomas A. Henzinger,et al. Real-time logics: complexity and expressiveness , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[23] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[24] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[25] Joseph Sifakis,et al. ATP: an Algebra for Timed Processes , 1990, Programming Concepts and Methods.
[26] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[27] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[28] Amir Pnueli,et al. Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.