-
1
-
-
84880885611
-
An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness
-
IEEE Computer Society Press
-
R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness. In Proc. 13th IEEE Real-Time Systems Symp. (RTSS'92), pp. 157-166. IEEE Computer Society Press, 1992.
-
(1992)
Proc. 13th IEEE Real-Time Systems Symp. (RTSS'92)
, pp. 157-166
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
Halbwachs, N.4
Wong-Toi, H.5
-
2
-
-
85027622491
-
Minimization of Timed Transition Systems
-
Proc. 3rd Int. Conf. on Concurrency Theory (CONCUR'92), Springer
-
R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of Timed Transition Systems. In Proc. 3rd Int. Conf. on Concurrency Theory (CONCUR'92), vol. 630 of LNCS, pp. 340-354. Springer, 1992.
-
(1992)
LNCS
, vol.630
, pp. 340-354
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Dill, D.4
Wong-Toi, H.5
-
4
-
-
84947274672
-
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
-
Proc. 11th Int. Conf. on Computer Aided Verification (CAV'99), Springer
-
G. Behrmann, K. G. Larsen, J. Pearson, C. Weise, and W. Yi. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. In Proc. 11th Int. Conf. on Computer Aided Verification (CAV'99), vol. 1633 of LNCS, pp. 341-353. Springer, 1999.
-
(1999)
LNCS
, vol.1633
, pp. 341-353
-
-
Behrmann, G.1
Larsen, K.G.2
Pearson, J.3
Weise, C.4
Yi, W.5
-
5
-
-
3543102698
-
-
PhD thesis, Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden
-
J. Bengtsson. Clocks, DBMs ans States in Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden, 2002.
-
(2002)
Clocks, DBMs Ans States in Timed Systems
-
-
Bengtsson, J.1
-
6
-
-
0003334513
-
New Generation of UPPAAL
-
BRICS Notes
-
J. Bengtsson, K. G. Larsen, Fredrik Larsson, P. Pettersson, W. Yi, and Carsten Weise. New Generation of UPPAAL. In Proc. Int. Workshop on Software Tools for Technology Transfer (STTT'98), BRICS Notes, pp. 43-52, 1998.
-
(1998)
Proc. Int. Workshop on Software Tools for Technology Transfer (STTT'98)
, pp. 43-52
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
Weise, C.6
-
7
-
-
84947916935
-
Diophantine Equations, Presburger Arithmetic and Finite Automata
-
Proc. 21st Int. Coll. on Trees in Algebra and Programming (CAAP'96), Springer
-
A. Boudet and H. Comon. Diophantine Equations, Presburger Arithmetic and Finite Automata. In Proc. 21st Int. Coll. on Trees in Algebra and Programming (CAAP'96), vol. 1059 of LNCS, pp. 30-43. Springer, 1996.
-
(1996)
LNCS
, vol.1059
, pp. 30-43
-
-
Boudet, A.1
Comon, H.2
-
10
-
-
84944406327
-
Are timed automata updatable?
-
Proc. 12th Int. Conf. on Computer Aided Verification (CAV'2000), Springer
-
P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Are timed automata updatable? In Proc. 12th Int. Conf. on Computer Aided Verification (CAV'2000), vol. 1855 of LNCS, pp. 464-479. Springer, 2000.
-
(2000)
LNCS
, vol.1855
, pp. 464-479
-
-
Bouyer, P.1
Dufourd, C.2
Fleury, E.3
Petit, A.4
-
11
-
-
84959195025
-
Expressiveness of updatable timed automata
-
Proc. 25th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'2000), Springer
-
P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Expressiveness of updatable timed automata. In Proc. 25th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'2000), vol. 1893 of LNCS, pp. 232-242. Springer, 2000.
-
(2000)
LNCS
, vol.1893
, pp. 232-242
-
-
Bouyer, P.1
Dufourd, C.2
Fleury, E.3
Petit, A.4
-
12
-
-
84863918586
-
KRONOS: A Model-Checking Tool for Real-Time Systems
-
Proc. 10th Int. Conf. on Computer Aided Verification (CAV'98), Springer
-
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. KRONOS: a Model-Checking Tool for Real-Time Systems. In Proc. 10th Int. Conf. on Computer Aided Verification (CAV'98), vol. 1427 of LNCS, pp. 546-550. Springer, 1998.
-
(1998)
LNCS
, vol.1427
, pp. 546-550
-
-
Bozga, M.1
Daws, C.2
Maler, O.3
Olivero, A.4
Tripakis, S.5
Yovine, S.6
-
13
-
-
84888241752
-
Improving the Verification of Timed Systems Using Influence Information
-
Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), Springer
-
V. Braberman, D. Garbervetsky, and A. Olivero. Improving the Verification of Timed Systems Using Influence Information. In Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), vol. 2280 of LNCS, pp. 21-36. Springer, 2002.
-
(2002)
LNCS
, vol.2280
, pp. 21-36
-
-
Braberman, V.1
Garbervetsky, D.2
Olivero, A.3
-
15
-
-
84947909489
-
Model-Checking of Real-Time Reachability Properties using Abstractions
-
Proc. 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Springer
-
C. Daws and S. Tripakis. Model-Checking of Real-Time Reachability Properties using Abstractions. In Proc. 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), vol. 1384 of LNCS, pp. 313-329. Springer, 1998.
-
(1998)
LNCS
, vol.1384
, pp. 313-329
-
-
Daws, C.1
Tripakis, S.2
-
16
-
-
84944099472
-
Timing Assumptions and Verification of Finite-State Concurrent Systems
-
Proc. of the Workshop on Automatic Verification Methods for Finite State Systems, Springer
-
D. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In Proc. of the Workshop on Automatic Verification Methods for Finite State Systems, vol. 407 of LNCS, pp. 197-212. Springer, 1989.
-
(1989)
LNCS
, vol.407
, pp. 197-212
-
-
Dill, D.1
-
17
-
-
85012911905
-
Solving Systems of Linear Diophantine Equations: An Algebraic Approach
-
Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'91), Springer
-
E. Domenjoud. Solving Systems of Linear Diophantine Equations: an Algebraic Approach. In Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'91), vol. 520 of LNCS, pp. 141-150. Springer, 1991.
-
(1991)
LNCS
, vol.520
, pp. 141-150
-
-
Domenjoud, E.1
-
18
-
-
0031354378
-
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study using UPPAAL
-
IEEE Computer Society Press
-
K. Havelund, A. Skou, K.G. Larsen, and K. Lund. Formal Modeling and Analysis of an Audio/Video Protocol: an Industrial Case Study using UPPAAL. In Proc. 18th IEEE Real-Time Systems Symp. (RTSS'97), pp. 2-13. IEEE Computer Society Press, 1997.
-
(1997)
Proc. 18th IEEE Real-Time Systems Symp. (RTSS'97)
, pp. 2-13
-
-
Havelund, K.1
Skou, A.2
Larsen, K.G.3
Lund, K.4
-
20
-
-
84896693115
-
UPPAAL in a Nutshell
-
K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
-
(1997)
Software Tools for Technology Transfer
, vol.1
, Issue.1-2
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
21
-
-
84956856293
-
Difference Decision Diagrams
-
Proc. 13th Int. Workshop on Computer Science Logic (CSL'99), Springer
-
J. Møller, J. Lichtenberg, H.R. Andersen, and H. Hulgaard. Difference Decision Diagrams. In Proc. 13th Int. Workshop on Computer Science Logic (CSL'99), vol. 1683 of LNCS, pp. 111-125. Springer, 1999.
-
(1999)
LNCS
, vol.1683
, pp. 111-125
-
-
Møller, J.1
Lichtenberg, J.2
Andersen, H.R.3
Hulgaard, H.4
|