Discrete Meets Continuous, Again (2006)

by Carlo Alberto Furia
Citations:1 - 1 self

Documents Related by Co-Citation

13 From formal models to formally-based methods: an industrial experience – Emanuele Ciapessoni, Alberto Coen-porisini, Ernani Crivelli, Dino M, Piergiorgio Mir, Angelo Morzenti - 1999
9 Integrating discrete- and continuous-time metric temporal logics through sampling – Carlo A. Furia, Matteo Rossi - 2006
21 Automated deductive requirement analysis of critical systems – A Gargantini, A Morzenti
76 TRIO: A logic language for executable specifications of real-time systems – C Ghezzi, D Mandrioli, A Morzenti - 1990
8 Challenges in timed languages: From applied theory to basic theory – Asarin - 2004
36 An old-fashioned recipe for real-time – M, L Lamport - 1989
15 Automata over Continuous Time – Alexander Rabinovich - 1998
40 It’s about Time: Real-time Logics Reviewed – Thomas A. Henzinger - 1998
10 On the Expressiveness of MTL with Past Operators – P Prabhakar, D D’Souza - 2006
184 Logics and Models of Real Time: A Survey – Rajeev Alur, Thomas A. Henzinger
110 What Good Are Digital Clocks? – Thomas Henzinger, Zohar Manna, Amir Pnueli - 1992
20 The complexity of the temporal logic with ”until” over general linear time – M Reynolds
9 Temporal logic (vol. 1): mathematical foundations and computational aspects – D M Gabbay, I Hodkinson, M Reynolds - 1994
6 Dejan Nickovic, and Amir Pnueli. From MITL to Timed Automata – Oded Maler - 2006
1107 Temporal and modal logic – E. Allen Emerson - 1995
202 The Benefits of Relaxing Punctuality – Rajeev Alur, Tomás Feder, Thomas A. Henzinger - 1996
202 Real-time logics: complexity and expressiveness – Rajeev Alur, Thomas A. Henzinger - 1993
239 Tense logic and the theory of linear order – J A Kamp - 1968
51 On the decidability of Metric Temporal Logic – J Ouaknine, J Worrell - 2005