-
2
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
+95] R. Alur, G. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
-
(1995)
Theoretical Computer Science
, vol.138
, Issue.1
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, G.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.-H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
3
-
-
0028413052
-
A theory of timed automata
-
[AD94] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
-
(1994)
Theoretical Computer Science
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
4
-
-
84871800342
-
Times a tool for modelling and implementation of embedded systems
-
Springer
-
+02] T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times a tool for modelling and implementation of embedded systems. In Proc. TAGAS'02, volume 2280 of LNCS, pages 460-464. Springer, 2002.
-
(2002)
Proc. TAGAS'02, Volume 2280 of LNCS
, pp. 460-464
-
-
Amnell, T.1
Fersman, E.2
Mokrushin, L.3
Pettersson, P.4
Yi, W.5
-
5
-
-
84958770488
-
Job-shop scheduling using timed automata
-
Springer
-
[AM01] Y. Abdeddaïm and O. Maler. Job-shop scheduling using timed automata. In Proc. CAV'01, volume 2102 of LNCS, pages 478-492. Springer, 2001.
-
(2001)
Proc. CAV'01, Volume 2102 of LNCS
, pp. 478-492
-
-
Abdeddaïm, Y.1
Maler, O.2
-
7
-
-
84944390856
-
Model-checking for hybrid systems by quotienting and constraints solving
-
Springer
-
[CL00] F. Cassez and F. Laroussinie. Model-checking for hybrid systems by quotienting and constraints solving. In Proc. CAV'00, volume 1855 of LNCS, pages 373-388. Springer, 2000.
-
(2000)
Proc. CAV'00, Volume 1855 of LNCS
, pp. 373-388
-
-
Cassez, F.1
Laroussinie, F.2
-
8
-
-
67249157011
-
Modeling and analysis of real-time ada tasking programs
-
[Cor94] J. Corbett. Modeling and analysis of real-time ada tasking programs. In Proc. IEEE RTSS'94, pages 132-141, 1994.
-
(1994)
Proc. IEEE RTSS'94
, pp. 132-141
-
-
Corbett, J.1
-
11
-
-
35248852446
-
Schedulability analysis using two clocks
-
Springer-Verlag
-
[FMPY03] E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Schedulability analysis using two clocks. In Proc. TAGAS 2003, volume LNCS 2619, pages 224-239. Springer-Verlag, 2003.
-
(2003)
Proc. TAGAS 2003, Volume LNCS 2619
, pp. 224-239
-
-
Fersman, E.1
Mokrushin, L.2
Pettersson, P.3
Yi, W.4
-
12
-
-
84888231408
-
Timed automata with asynchronous processes: Schedulability and decidability
-
Springer
-
[FPY02] E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: Schedulability and decidability. In Proc. TACAS'02, volume 2280 of LNCS, pages 67-82. Springer, 2002.
-
(2002)
Proc. TACAS'02, Volume 2280 of LNCS
, pp. 67-82
-
-
Fersman, E.1
Pettersson, P.2
Yi, W.3
-
13
-
-
84896819101
-
HYTECH: A model checker for hybrid systems
-
[HHWT97] T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1-2):123-133, 1997.
-
(1997)
International Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 123-133
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
14
-
-
0032140730
-
What's decidable about hybrid automata?
-
[HKPV98] T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
-
(1998)
Journal of Computer and System Sciences
, vol.57
, pp. 94-124
-
-
Henzinger, T.A.1
Kopke, P.W.2
Puri, A.3
Varaiya, P.4
-
15
-
-
0141444732
-
Guided Synthesis of Control Programs using UPPAAL
-
[HLP01] T. Hune, K.G. Larsen, and P. Pettersson. Guided Synthesis of Control Programs using UPPAAL. Nordic Journal of Computing, 8(1):43-64, 2001.
-
(2001)
Nordic Journal of Computing
, vol.8
, Issue.1
, pp. 43-64
-
-
Hune, T.1
Larsen, K.G.2
Pettersson, P.3
-
16
-
-
84896693115
-
UPPAAL in a Nutshell
-
October
-
[LPY97] K.G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
-
(1997)
Int. Journal on Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
17
-
-
0346303225
-
Suspension automata: A decidable class of hybrid automata
-
Springer
-
[MV94] J. McManis and P. Varaiya. Suspension automata: A decidable class of hybrid automata. In Proc. CAV'94, volume 818, pages 105-117. Springer, 1994.
-
(1994)
Proc. CAV'94
, vol.818
, pp. 105-117
-
-
McManis, J.1
Varaiya, P.2
-
18
-
-
35048816356
-
Analysis of real time operating system based applications
-
[WH03] L. Waszniowski and Z. Hanzálek. Analysis of real time operating system based applications. In Proc. FORMATS'03, 2003.
-
(2003)
Proc. FORMATS'03
-
-
Waszniowski, L.1
Hanzálek, Z.2
|