-
1
-
-
0029708178
-
The benefits of relaxing punctuality
-
R. Alur, T. Feder, and T. A. Henzinger. The benefits of relaxing punctuality. JACM, 43(1):116-146, 1996.
-
(1996)
JACM
, vol.43
, Issue.1
, pp. 116-146
-
-
Alur, R.1
Feder, T.2
Henzinger, T.A.3
-
3
-
-
33750329205
-
-
P. J. Antsaklis, editor. Special issue on hybrid systems: theory and applications
-
P. J. Antsaklis, editor. Special issue on hybrid systems: theory and applications, volume 88 of Proceedings of the IEEE, 2000.
-
(2000)
Proceedings of the IEEE
, vol.88
-
-
-
4
-
-
84945940816
-
On discretization of delays in timed automata and digital circuits
-
Proceedings of CONCUR'98
-
E. Asarin, O. Maler, and A. Pnueli. On discretization of delays in timed automata and digital circuits. In Proceedings of CONCUR'98, volume 1466 of LNCS, pages 470-484, 1998.
-
(1998)
LNCS
, vol.1466
, pp. 470-484
-
-
Asarin, E.1
Maler, O.2
Pnueli, A.3
-
5
-
-
0040229816
-
From formal models to formally-based methods: An industrial experience
-
E. Ciapessoni, A. Coen-Porisini, E. Crivelli, D. Mandrioli, P. Mirandola, and A. Morzenti. From formal models to formally-based methods: an industrial experience. ACM TOSEM, 8(1):79-113, 1999.
-
(1999)
ACM TOSEM
, vol.8
, Issue.1
, pp. 79-113
-
-
Ciapessoni, E.1
Coen-Porisini, A.2
Crivelli, E.3
Mandrioli, D.4
Mirandola, P.5
Morzenti, A.6
-
6
-
-
26844554438
-
Almost ASAP semantics
-
M. De Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics. Formal Aspects of Computing, 17(3):319-341, 2005.
-
(2005)
Formal Aspects of Computing
, vol.17
, Issue.3
, pp. 319-341
-
-
De Wulf, M.1
Doyen, L.2
Raskin, J.-F.3
-
7
-
-
33750303261
-
Modelling discrete behaviour in a continuous-time formalism
-
Springer
-
C. J. Fidge. Modelling discrete behaviour in a continuous-time formalism. In Proceedings of IFM'99, pages 170-188. Springer, 1999.
-
(1999)
Proceedings of IFM'99
, pp. 170-188
-
-
Fidge, C.J.1
-
8
-
-
15744392947
-
A compositional framework for formally verifying modular systems
-
Elsevier
-
C. A. Furia and M. Rossi. A compositional framework for formally verifying modular systems. volume 116 of ENTCS, pages 185-198. Elsevier, 2004.
-
(2004)
ENTCS
, vol.116
, pp. 185-198
-
-
Furia, C.A.1
Rossi, M.2
-
9
-
-
84941162807
-
-
Technical Report 2005.44, DEI, Politecnico di Milano
-
C. A. Furia and M. Rossi. When discrete met continuous. Technical Report 2005.44, DEI, Politecnico di Milano, 2005. Available from http://www.elet. polimi.it/upload/furia/.
-
(2005)
When Discrete Met Continuous
-
-
Furia, C.A.1
Rossi, M.2
-
10
-
-
0025421619
-
TRIO: A logic language for executable specifications of real-time systems
-
C. Ghezzi, D. Mandrioli, and A. Morzenti. TRIO: A logic language for executable specifications of real-time systems. JSS, 12(2):107-123, 1990.
-
(1990)
JSS
, vol.12
, Issue.2
, pp. 107-123
-
-
Ghezzi, C.1
Mandrioli, D.2
Morzenti, A.3
-
12
-
-
84957102718
-
What good are digital clocks?
-
Proceedings of ICALP'92
-
T. A. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In Proceedings of ICALP'92, volume 623 of LNCS, pages 545-558, 1992.
-
(1992)
LNCS
, vol.623
, pp. 545-558
-
-
Henzinger, T.A.1
Manna, Z.2
Pnueli, A.3
-
13
-
-
84947753772
-
Sampling semantics of duration calculus
-
Proceedings of FTRTFT'96
-
D. V. Hung and P. H. Giang. Sampling semantics of duration calculus. In Proceedings of FTRTFT'96, volume 1135 of LNCS, pages 188-207, 1996.
-
(1996)
LNCS
, vol.1135
, pp. 188-207
-
-
Hung, D.V.1
Giang, P.H.2
-
14
-
-
0001601021
-
Specifying real-time properties with metric temporal logic
-
R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
-
(1990)
Real-time Systems
, vol.2
, Issue.4
, pp. 255-299
-
-
Koymans, R.1
-
15
-
-
0026932786
-
A model parametric real-time logic
-
A. Morzenti, D. Mandrioli, and C. Ghezzi. A model parametric real-time logic. ACM TOPLAS, 14(4):521-573, 1992.
-
(1992)
ACM TOPLAS
, vol.14
, Issue.4
, pp. 521-573
-
-
Morzenti, A.1
Mandrioli, D.2
Ghezzi, C.3
-
16
-
-
35248816131
-
Model-checking TRIO specifications in SPIN
-
Proceedings of FME'03
-
A. Morzenti, M. Pradella, P. San Pietro, and P. Spoletini. Model-checking TRIO specifications in SPIN. In Proceedings of FME'03, volume 2805 of LNCS, pages 542-561, 2003.
-
(2003)
LNCS
, vol.2805
, pp. 542-561
-
-
Morzenti, A.1
Pradella, M.2
San Pietro, P.3
Spoletini, P.4
-
17
-
-
84888237341
-
Digisation and full abstraction for dense-time model checking
-
Proceedings of TACAS'02
-
J. Ouaknine. Digisation and full abstraction for dense-time model checking. In Proceedings of TACAS'02, volume 2280 of LNCS, pages 37-51, 2002.
-
(2002)
LNCS
, vol.2280
, pp. 37-51
-
-
Ouaknine, J.1
-
18
-
-
0042969203
-
Revisiting digitization, robustness, and decidability for timed automata
-
IEEE Computer Society
-
J. Ouaknine and J. Worrell. Revisiting digitization, robustness, and decidability for timed automata. In Proceedings of LICS'03, pages 198-207. IEEE Computer Society, 2003.
-
(2003)
Proceedings of LICS'03
, pp. 198-207
-
-
Ouaknine, J.1
Worrell, J.2
|