-
1
-
-
84947923383
-
Modelchecking via reachabilty testing for timed automata
-
Lisbon, Portugal. LNCS 1384. Berlin, Heidelberg, New York: Springer-Verlag
-
Aceto, L., Burgueño, A., Larsen, K.G.: Modelchecking via reachabilty testing for timed automata. In: Proc. 3rd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal. LNCS 1384. Berlin, Heidelberg, New York: Springer-Verlag, 1998, pp. 263-280
-
(1998)
Proc. 3rd Int. Workshop On Tools and Algorithms For the Construction and Analysis of Systems
, pp. 263-280
-
-
Aceto, L.1
Burgueño, A.2
Larsen, K.G.3
-
2
-
-
0028413052
-
A theory of timed automata
-
Alur, R., Dill, D.L.: A theory of timed automata. Theor Com-put Sci 126: 183-235, 1994
-
(1994)
Theor Com-put Sci
, vol.126
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
3
-
-
0027308411
-
Parametric real-time reasoning
-
STOC 1993
-
Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. 25th AnnualACM Symposium on Theory of Computing (STOC 1993), pp. 592-601, 1993
-
(1993)
25th AnnualACM Symposium On Theory of Computing
, pp. 592-601
-
-
Alur, R.1
Henzinger, T.A.2
Vardi, M.Y.3
-
4
-
-
84944407299
-
Symbolic techniques for parametric reasoning about counter and clock systems
-
Chicago, Ill., USA. LNCS 1855. Berlin, Heidelberg, New York: Springer-Verlag
-
Annichini, A., Asarin, E., Bouajjani, A.: Symbolic techniques for parametric reasoning about counter and clock systems. In: Proc. Int. Confence on Computer Aided Verification (CAV00), Chicago, Ill., USA. LNCS 1855. Berlin, Heidelberg, New York: Springer-Verlag, 2000, pp. 419-434
-
(2000)
Proc. Int. Confence On Computer Aided Verification (CAV00)
, pp. 419-434
-
-
Annichini, A.1
Asarin, E.2
Bouajjani, A.3
-
5
-
-
0000289556
-
Formal methods: State of the art and future directions
-
Clarke, E.M., Wing, J.: Formal methods: state of the art and future directions. In: ACM Comput Surv 28(4), 1996
-
(1996)
ACM Comput Surv
, vol.28
, Issue.4
-
-
Clarke, E.M.1
Wing, J.2
-
6
-
-
84958770017
-
The bounded retransmission protocolmust be on time!
-
Enschede, The Netherlands. LNCS 1217. Berlin, Heidelberg, New York: Springer-Verlag
-
D'Argenio, P.R., Katoen, J.-P., Ruys, T.C., Tretmans, J.: The bounded retransmission protocolmust be on time! In: Proc. 3rd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Enschede, The Netherlands. LNCS 1217. Berlin, Heidelberg, New York: Springer-Verlag, 1997, pp. 416-431
-
(1997)
Proc. 3rd Int. Workshop On Tools and Algorithms For the Construction and Analysis of Systems
, pp. 416-431
-
-
D'Argenio, P.R.1
Katoen, J.-P.2
Ruys, T.C.3
Tretmans, J.4
-
7
-
-
0029488677
-
Two examples of verification of multirate automata using kronos
-
Pisa, Italy, December 1995, Computer Society
-
Daws, C., Yovine, S.: Two examples of verification of multirate automata using kronos. In: 16th AnnualIEEE Real-Time Systems Symposium, Pisa, Italy, December 1995, pp. 66-75. Computer Society, 1995
-
(1995)
16th AnnualIEEE Real-Time Systems Symposium
, pp. 66-75
-
-
Daws, C.1
Yovine, S.2
-
8
-
-
84896840997
-
-
TVS group Delft University of Technology
-
TVS group Delft University of Technology. PMC: Prototype ModelChecker. http://tvs.twi.tudelft.nl/toolset.html
-
PMC: Prototype ModelChecker
-
-
-
9
-
-
0031354378
-
Formal modelling and analysis of an audio/video protocol: An industrial case study using uppaal
-
San Francisco Calif., USA
-
Havelund, K., Skou, A., Larsen, K.G., Lund, K.: Formal modelling and analysis of an audio/video protocol: an industrial case study using uppaal. In: Proc. 18th IEEE Real-Time Systems Symposium, San Francisco Calif., USA, pp. 2-13, 1997
-
(1997)
Proc. 18th IEEE Real-Time Systems Symposium
, pp. 2-13
-
-
Havelund, K.1
Skou, A.2
Larsen, K.G.3
Lund, K.4
-
10
-
-
84896819101
-
Hytech: A model checker for hybrid systems
-
Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Hytech: a model checker for hybrid systems. Int J Software Tools Tech-nol Transfer 1(3): 110-122, 1997. Also available via: http://www-cad.eecs.berkeley.edu/~tah/HyTech/
-
(1997)
Int J Software Tools Tech-nol Transfer
, vol.1
, Issue.3
, pp. 110-122
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
11
-
-
84903159824
-
Linear parametric modelchecking of timed automata
-
Margeria, T., Yi. W. (eds.), Genova, Italy. LNCS 2031. Berlin, Heidelberg, New York: Springer-Verlag
-
Hune, T.S., Romijn, J.M.T., Stoelinga, M.I.A., Vaandrager, F.W.: Linear parametric modelchecking of timed automata. In: Margeria, T., Yi. W. (eds.): Proc. InternationalConference on Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy. LNCS 2031. Berlin, Heidelberg, New York: Springer-Verlag, 2001
-
(2001)
Proc. InternationalConference On Tools and Algorithms For the Construction and Analysis of Systems
-
-
Hune, T.S.1
Romijn, J.M.T.2
Stoelinga, M.I.A.3
Vaandrager, F.W.4
-
14
-
-
84974707253
-
Scaling up Uppaal -automatic verification of real-time systems using composition-ality and abstraction
-
Mathai, J. (ed.), (FTRTFT00), Pune, India, September 2000. LNCS 1926. Berlin, Heidelberg, New York: Springer-Verlag
-
Jensen, H.E., Larsen, K.G., Skou, A.: Scaling up Uppaal -automatic verification of real-time systems using composition-ality and abstraction. In: Mathai, J. (ed.): Proc. 6th Interna-tionalSchooland Symposium on FormalTechniques and Fault Tolerant Systems (FTRTFT00), Pune, India, September 2000. LNCS 1926. Berlin, Heidelberg, New York: Springer-Verlag, 2000, pp. 19-30
-
(2000)
Proc. 6th Interna-tionalSchooland Symposium On FormalTechniques and Fault Tolerant Systems
, pp. 19-30
-
-
Jensen, H.E.1
Larsen, K.G.2
Skou, A.3
-
16
-
-
0025432462
-
Ccs expressions, finite state processes, and three problems of equivalence
-
Kannelakis, P., Smolka, S.: Ccs expressions, finite state processes, and three problems of equivalence. Inf Comput, pp. 43-68, 1990
-
(1990)
Inf Comput
, pp. 43-68
-
-
Kannelakis, P.1
Smolka, S.2
-
18
-
-
84896693115
-
UPPAAL in a nutshell
-
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int J Software Tools Technol Transfer 1(3): 134-152, 1997
-
(1997)
Int J Software Tools Technol Transfer
, vol.1
, Issue.3
, pp. 134-152
-
-
Larsen, K.G.1
Pettersson, P.2
Yi, W.3
-
19
-
-
0004505683
-
Action transducers and timed automata
-
Lynch, N.A., Vaandrager, F.W.: Action transducers and timed automata. FormalAspects Comput 8(5): 499-538, 1996
-
(1996)
FormalAspects Comput
, vol.8
, Issue.5
, pp. 499-538
-
-
Lynch, N.A.1
Vaandrager, F.W.2
-
22
-
-
84896692745
-
Verification of the link layer protocolof the IEEE 1394 serialbus (FireWire): An experiment with E-LOTOS
-
Sighireanu, M., Mateescu, R.: Verification of the link layer protocol of the IEEE 1394 serialbus (FireWire): an experiment with E-LOTOS. Int J Software Tools Technol Transfer 2(1): 68-88, 1998
-
(1998)
Int J Software Tools Technol Transfer
, vol.2
, Issue.1
, pp. 68-88
-
-
Sighireanu, M.1
Mateescu, R.2
-
23
-
-
84896826504
-
-
http://www.cs.kun.nl/~marielle/uppaal/
-
-
-
-
24
-
-
84896828755
-
Root contention in IEEE 1394
-
Katoen, J.-P. (ed.), Bamberg, Germany, May 1999. LNCS 1601. Berlin, Heidelberg, New York: Springer-Verlag, 1999, Also: TechnicalRapport CSI-R9905, Computing Science Institute, University of Nijmegen, May
-
Stoelinga, M.I.A., Vaandrager, F.W.: Root contention in IEEE 1394. In: Katoen, J.-P. (ed.): Proc. 5th AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99) Bamberg, Germany, May 1999. LNCS 1601. Berlin, Heidelberg, New York: Springer-Verlag, 1999, pp. 19-30 Also: TechnicalRapport CSI-R9905, Computing Science Institute, University of Nijmegen, May 1999
-
(1999)
Proc. 5th AMAST Workshop On Real-Time and Probabilistic Systems (ARTS'99)
, pp. 19-30
-
-
Stoelinga, M.I.A.1
Vaandrager, F.W.2
-
26
-
-
84896900559
-
-
Available via
-
Available via: http://www.uppaal.com
-
-
-
-
27
-
-
84896693998
-
Kronos: A verification toolfor real-time systems
-
October
-
Yovine, S.: Kronos: a verification toolfor real-time systems. Int J Software Tools Technology Transfer 1(3): 123-133 October 1997
-
(1997)
Int J Software Tools Technology Transfer
, vol.1
, Issue.3
, pp. 123-133
-
-
Yovine, S.1
|