-
1
-
-
84947935093
-
Shift a formalism and a programming language for dynamic networks of hybrid automata
-
In: P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (eds.), Berlin Heidelberg New York: Springer-Verlag
-
A. Göllü A. Deshpande, P. Varaiya. Shift: a formalism and a programming language for dynamic networks of hybrid automata. In: P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (eds.), Proc. Hybrid Systems IV. Lecture Notes in Computer Science 1273, Berlin Heidelberg New York: Springer-Verlag, 1997.
-
(1997)
Proc. Hybrid Systems IV. Lecture Notes in Computer Science 1273
-
-
Göllü, A.1
Deshpande, A.2
Varaiya, P.3
-
2
-
-
44949269544
-
Model checking in dense real time
-
R. Alur, C. Courcoubetis, D. L. Dill. Model checking in dense real time. Information and Computation 104(1), 2-34, 1993.
-
(1993)
Information and Computation
, vol.104
, Issue.1
, pp. 2-34
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.L.3
-
4
-
-
0009353138
-
Safety for branching time semantics
-
In:, July
-
A. Bouajjani, J. C. Fernandez, S. Graf, C. Rodriguez, J. Sifakis. Safety for branching time semantics. In: Proc. 18th ICALP, July 1991.
-
(1991)
Proc. 18th ICALP
-
-
Bouajjani, A.1
Fernandez, J.C.2
Graf, S.3
Rodriguez, C.4
Sifakis, J.5
-
5
-
-
0031376266
-
On-the-fly symbolic model-checking for real-time systems
-
In:, RTSS'97, San Francisco, CA, December IEEE Computer Society Press
-
A. Bouajjani, S. Tripakis, S. Yovine. On-the-fly symbolic model-checking for real-time systems. In: Proc. 1997 IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, CA, December 1997. IEEE Computer Society Press.
-
(1997)
Proc. 1997 IEEE Real-Time Systems Symposium
-
-
Bouajjani, A.1
Tripakis, S.2
Yovine, S.3
-
6
-
-
84947422935
-
Some progress in the symbolic verification of timed automata
-
1997, In: O. Grumberg (ed.), CAV'97, Israel, June Lecture Notes in Computer Science Berlin Heidelberg New York: Springer-Verlag
-
M. Bozga, O. Maler, A. Pnueli, S. Yovine. Some progress in the symbolic verification of timed automata. In: O. Grumberg (ed.), Proc. Computer-Aided Verification, CAV'97, Israel, June 1997. Lecture Notes in Computer Science 1254, Berlin Heidelberg New York: Springer-Verlag, 1997.
-
(1997)
Proc. Computer-Aided Verification
, vol.1254
-
-
Bozga, M.1
Maler, O.2
Pnueli, A.3
Yovine, S.4
-
7
-
-
0343564947
-
Validation, verification and implementation of timed protocols using AORTA
-
In:, Testing and Verification XV (PSTV '95), Warsaw, Poland,. IFIP, North Holland, June
-
S. Bradley, D. Kendall, W. D. Henderson, A. P. Robson. Validation, verification and implementation of timed protocols using AORTA. In: Protocol Specification, Testing and Verification XV (PSTV '95), Warsaw, Poland, p. 193-208. IFIP, North Holland, June 1995.
-
(1995)
Protocol Specification
, pp. 193-208
-
-
Bradley, S.1
Kendall, D.2
Henderson, W.D.3
Robson, A.P.4
-
8
-
-
40149092144
-
The tool Kronos
-
In: R. Alur, T.A. Henzinger, E.D. Sontag (eds.), Verification and Control,. Lecture Notes in Computer Science Berlin Heidelberg New York: Springer-Verlag
-
C. Daws, A. Olivero, S. Tripakis, S. Yovine. The tool Kronos. In: R. Alur, T. A. Henzinger, E. D. Sontag (eds.), Hybrid Systems III, Verification and Control, p. 208-219. Lecture Notes in Computer Science 1066, Berlin Heidelberg New York: Springer-Verlag, 1996.
-
(1996)
Hybrid Systems III
, vol.1066
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
9
-
-
0002551730
-
Verifying ET-LOTOS programs with Kronos
-
In:, FORTE'94, Bern, Switzerland, October Formal Description Techniques VII, Chapman & Hall
-
C. Daws, A. Olivero, S. Yovine. Verifying ET-LOTOS programs with Kronos. In: Proc. 7th. IFIP WG G. 1 International Conference of Formal Description Techniques, FORTE'94, p. 227-242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall.
-
(1994)
Proc. 7th. IFIP WG G. 1 International Conference of Formal Description Techniques
, pp. 227-242
-
-
Daws, C.1
Olivero, A.2
Yovine, S.3
-
10
-
-
0029488677
-
Two examples of verification of multirate timed automata with Kronos
-
In:, RTSS'95, Pisa, Italy, December IEEE Computer Society Press
-
C. Daws, S. Yovine. Two examples of verification of multirate timed automata with Kronos. In: Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95, Pisa, Italy, December 1995. IEEE Computer Society Press.
-
(1995)
Proc. 1995 IEEE Real-Time Systems Symposium
-
-
Daws, C.1
Yovine, S.2
-
11
-
-
0030414046
-
Reducing the number of clock variables of timed automata
-
In:, RTSS'96, Washington, DC, USA, December IEEE Computer Society Press
-
C. Daws, S. Yovine. Reducing the number of clock variables of timed automata. In: Proc. 1996 IEEE Real-Time Systems Symposium, RTSS'96, Washington, DC, USA, December 1996. IEEE Computer Society Press.
-
(1996)
Proc. 1996 IEEE Real-Time Systems Symposium
-
-
Daws, C.1
Yovine, S.2
-
12
-
-
84896842359
-
The DIADEM-KRONOS connection bridging the gap between implementation and verification of hybrid systems
-
In:, Notre Dame, IN, September
-
A. Deshpande, S. Yovine. The DIADEM-KRONOS connection: bridging the gap between implementation and verification of hybrid systems. In: Hybrid Systems V, Notre Dame, IN, September 1997.
-
(1997)
Hybrid Systems V
-
-
Deshpande, A.1
Yovine, S.2
-
13
-
-
85037030721
-
Design and synthesis of synchronization skeletons using branching-time temporal logic
-
In: D. Kozen (ed.), Berlin Heidelberg New York: Springer-Verlag
-
E. A. Emerson, E. Clarke. Design and synthesis of synchronization skeletons using branching-time temporal logic. In: D. Kozen (ed.), Proc. Workshop on Logic of Programs. Lecture Notes in Computer Science 131, Berlin Heidelberg New York: Springer-Verlag, 1981.
-
(1981)
Proc. Workshop on Logic of Programs. Lecture Notes in Computer Science 131
-
-
Emerson, E.A.1
Clarke, E.2
-
14
-
-
0001676405
-
On the fly verification of behavioural equivalences and preorders
-
In: U. Banerjee, D. Gelernter, A. Nicolau, D. Padua (eds.), CAV'91. Lecture Notes in Computer Science 757, Berlin Heidelberg New York: Springer-Verlag
-
J. C. Fernandez, L. Mounier. On the fly verification of behavioural equivalences and preorders. In: U. Banerjee, D. Gelernter, A. Nicolau, D. Padua (eds.), Proc. Computer aided verification, CAV'91. Lecture Notes in Computer Science 757, Berlin Heidelberg New York: Springer-Verlag, 1991.
-
(1991)
Proc. Computer aided verification
-
-
Fernandez, J.C.1
Mounier, L.2
-
15
-
-
0026867627
-
A tool box for the verification of LOTOS programs
-
In
-
J. C. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, J. Sifakis. A tool box for the verification of LOTOS programs. In: 14th Int. Conf. on Software Engineering, 1992.
-
(1992)
14th Int. Conf. on Software Engineering
-
-
Fernandez, J.C.1
Garavel, H.2
Mounier, L.3
Rasse, A.4
Rodriguez, C.5
Sifakis, J.6
-
16
-
-
0000217258
-
Symbolic model checking for real-time systems
-
T. A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2), 193-244, 1994.
-
(1994)
Information and Computation
, vol.111
, Issue.2
, pp. 193-244
-
-
Henzinger, T.A.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
17
-
-
21744447642
-
Comparing timed condition/event systems and timed automata
-
1997, In: O. Maler (ed.), Grenoble, France, Lecture Notes in Computer Science Berlin Heidelberg New York: Springer-Verlag
-
R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, J. Preußig. Comparing timed condition/event systems and timed automata. In: O. Maler (ed.), Proc. HART'97, p. 81-86, Grenoble, France, 1997. Lecture Notes in Computer Science 1201, Berlin Heidelberg New York: Springer-Verlag, 1997.
-
(1997)
Proc. HART'97
, vol.1201
, pp. 81-86
-
-
Huuck, R.1
Lakhnech, Y.2
Urbina, L.3
Engell, S.4
Kowalewski, S.5
Preußig, J.6
-
18
-
-
0008201362
-
-
IEEE, IEEE Computer Society Press
-
IEEE. ANSI/IEEE 802. 3, ISO/DIS 8802/3. IEEE Computer Society Press, 1985.
-
(1985)
ANSI/IEEE 802.3, ISO/DIS 8802/3
-
-
-
19
-
-
84957676944
-
Verifying quantitative real-time properties of synchronous programs
-
In: C. Courcoubetis (ed.), Elounda, Crete. Lecture Notes in Computer Science 697, Berlin Heidelberg New York: Springer Verlag
-
M. Jourdan, F. Maraninchi, A. Olivero. Verifying quantitative real-time properties of synchronous programs. In: C. Courcoubetis (ed.), 5th Int. Workshop on Computer-Aided Verification, Elounda, Crete. Lecture Notes in Computer Science 697, Berlin Heidelberg New York: Springer Verlag, 1993.
-
(1993)
5th Int. Workshop on Computer-Aided Verification
-
-
Jourdan, M.1
Maraninchi, F.2
Olivero, A.3
-
22
-
-
0026914972
-
Compiling real-time specifications into extended automata
-
X. Nicollin, J. Sifakis, S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems, 18(9), 794-804, 1992.
-
(1992)
IEEE TSE Special Issue on Real-Time Systems
, vol.18
, Issue.9
, pp. 794-804
-
-
Nicollin, X.1
Sifakis, J.2
Yovine, S.3
-
23
-
-
84974691881
-
Using abstractions for the veri fication of linear hybrid systems
-
1994, In: D. Dill (ed.), Stanford, CA, June Lecture Notes in Computer Science 818, Berlin Heidelberg New York: Springer-Verlag
-
A. Olivero, J. Sifakis, S. Yovine. Using abstractions for the veri fication of linear hybrid systems. In: D. Dill (ed.), Proc. 6th Computer-Aided Verification, p. 81-94, Stanford, CA, June 1994. Lecture Notes in Computer Science 818, Berlin Heidelberg New York: Springer-Verlag, 1994.
-
(1994)
Proc. 6th Computer-Aided Verification
, pp. 81-94
-
-
Olivero, A.1
Sifakis, J.2
Yovine, S.3
-
25
-
-
0004141908
-
-
Englewood Cliffs, NJ: Prentice-Hall, second edition
-
A. S. Tanenbaum. Computer Networks. Englewood Cliffs, NJ: Prentice-Hall, second edition, 1989.
-
(1989)
Computer Networks
-
-
Tanenbaum, A.S.1
-
26
-
-
84957353962
-
Analysis of timed systems based on time-abstracting bisimulations
-
1996, In: R. Alur, T.A. Henzinger (eds.), CAV'96, New Brunswick, NJ, July Lecture Notes in Computer Science Berlin Heidelberg New York: Springer-Verlag
-
S. Tripakis, S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. In: R. Alur, T. A. Henzinger (eds.), Proc. 8th Computer-Aided Verification, CAV'96, p. 232-243, New Brunswick, NJ, July 1996. Lecture Notes in Computer Science 1102, Berlin Heidelberg New York: Springer-Verlag, 1996.
-
(1996)
Proc. 8th Computer-Aided Verification
, vol.1102
, pp. 232-243
-
-
Tripakis, S.1
Yovine, S.2
|