-
1
-
-
0028413052
-
A theory of timed automata
-
Alur R, Dill DL: A theory of timed automata. Theoret Comput Sci 126(2): 183-235, 1994.
-
(1994)
Theoret Comput Sci
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
2
-
-
85028755887
-
Event-clock automata: a determinizable class of timed automata
-
Springer, Berlin Heidelberg New York
-
Alur R, Fix L, Henzinger TA: Event-clock automata: a determinizable class of timed automata. In: 6th Conference on Computer Aided Verification, Lecture Notes in Computer Science, vol. 818. Springer, Berlin Heidelberg New York, 1994.
-
(1994)
6th Conference on Computer Aided Verification, Lecture Notes in Computer Science
, vol.818
-
-
Alur, R.1
Fix, L.2
Henzinger, T.A.3
-
3
-
-
84947274672
-
Efficient timed reachability analysis using clock difference diagrams
-
Springer, Berlin Heidelberg New York
-
Behrmann G, Larsen KG, Pearson J, Weise C, Yi W: Efficient timed reachability analysis using clock difference diagrams. In: Computer Aided Verification (CAV'99), Lecture Notes in Computer Science, vol. 1633. Springer, Berlin Heidelberg New York, 1999, pp. 22-24.
-
(1999)
Computer Aided Verification (CAV'99), Lecture Notes in Computer Science
, vol.1633
, pp. 22-24
-
-
Behrmann, G.1
Larsen, K.G.2
Pearson, J.3
Weise, C.4
Yi, W.5
-
5
-
-
85012688561
-
-
Princeton University Press, Princeton, New Jersey
-
Bellman R: Dynamic programming. Princeton University Press, Princeton, New Jersey, 1957.
-
(1957)
Dynamic programming
-
-
Bellman, R.1
-
6
-
-
84957375295
-
Verification of an audio protocol with bus collision using UppAal
-
Springer, Berlin Heidelberg New York
-
Bengtsson J, David Griffioen WO, Kristoffersen KJ, Larsen KG, Larsson F, Petterson P, Yi W: Verification of an audio protocol with bus collision using UppAal. In: 9th Int. Conference on Computer Aided Verification, Lecture Notes in Computer Science, vol. 1102. Springer, Berlin Heidelberg New York, 1996, pp. 244-256.
-
(1996)
9th Int. Conference on Computer Aided Verification, Lecture Notes in Computer Science
, vol.1102
, pp. 244-256
-
-
Bengtsson, J.1
David Griffioen, W.O.2
Kristoffersen, K.J.3
Larsen, K.G.4
Larsson, F.5
Petterson, P.6
Yi, W.7
-
8
-
-
84974717679
-
Verification of an audio protocol
-
Springer, Berlin Heidelberg New York
-
Bosscher D, Polak I, Vaandrager F: Verification of an audio protocol. TR CS-R9445, CWI, Amsterdam, The Netherlands, 1994; Lecture Notes in Computer Science, vol. 863. Springer, Berlin Heidelberg New York, 1994.
-
(1994)
TR CS-R9445, CWI, Amsterdam, The Netherlands, 1994; Lecture Notes in Computer Science
, vol.863
-
-
Bosscher, D.1
Polak, I.2
Vaandrager, F.3
-
9
-
-
0031376266
-
On-the-fly symbolic model-checking for real-time systems
-
San Fransisco, Calif., USA. IEEE Computer, New York
-
Bouajjani A, Tripakis S, Yovine S: On-the-fly symbolic model-checking for real-time systems. In: 1997 IEEE Real-Time Systems Symposium, RTSS'97, San Fransisco, Calif., USA. IEEE Computer, New York, 1996.
-
(1996)
1997 IEEE Real-Time Systems Symposium, RTSS'97
-
-
Bouajjani, A.1
Tripakis, S.2
Yovine, S.3
-
10
-
-
0033905743
-
Verification and test generation for the SSCOP protocol
-
Bozga M, Fernandez JC, Ghirvu L, Jard C, Jéron T, Kerbrat A, Morel P, Mounier L: Verification and test generation for the SSCOP protocol. Sci Comput Program 36(1): 27-52, 2000.
-
(2000)
Sci Comput Program
, vol.36
, Issue.1
, pp. 27-52
-
-
Bozga, M.1
Fernandez, J.C.2
Ghirvu, L.3
Jard, C.4
Jéron, T.5
Kerbrat, A.6
Morel, P.7
Mounier, L.8
-
11
-
-
84896693992
-
Protocol verification with the ALDÉBARAN toolset
-
Bozga M, Fernandez JC, Kerbrat A, Mounier L: Protocol verification with the ALDÉBARAN toolset. Int J Software Tools Technol Transfer 1(1+2): 166-184, 1997.
-
(1997)
Int J Software Tools Technol Transfer
, vol.1
, Issue.1-2
, pp. 166-184
-
-
Bozga, M.1
Fernandez, J.C.2
Kerbrat, A.3
Mounier, L.4
-
12
-
-
0141748313
-
Testing timing behaviors of real time software
-
San Francisco, Calif., USA
-
Braberman V, Felder M, Marré M: Testing timing behaviors of real time software. In: Quality Week 1997. San Francisco, Calif., USA, 1997, pp. 143-155.
-
(1997)
Quality Week 1997
, pp. 143-155
-
-
Braberman, V.1
Felder, M.2
Marré, M.3
-
14
-
-
0013142755
-
Conformance testing of real-time systems with timed automata
-
Cardell-Oliver R: Conformance testing of real-time systems with timed automata. Formal Aspects Comput 12(5): 350-371, 2000.
-
(2000)
Formal Aspects Comput
, vol.12
, Issue.5
, pp. 350-371
-
-
Cardell-Oliver, R.1
-
15
-
-
84871647131
-
A practical and complete algorithm for testing real-time systems
-
Springer, Berlin Heidelberg New York
-
Cardell-Oliver R, Glover T: A practical and complete algorithm for testing real-time systems. In: 5th international Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98), September 14-18, Lecture Notes in Computer Science, vol. 1486. Springer, Berlin Heidelberg New York, 1998, pp. 251-261.
-
(1998)
5th international Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98), September 14-18, Lecture Notes in Computer Science
, vol.1486
, pp. 251-261
-
-
Cardell-Oliver, R.1
Glover, T.2
-
16
-
-
84929830942
-
On-the-fly test generation for real-time protocols
-
Lafayette, La., USA, October 12-15. IEEE Computer, New York
-
Castanet R, Koné O, Laurençot P: On-the-fly test generation for real-time protocols. In: International Conference in Computer Communications and Networks, Lafayette, La., USA, October 12-15. IEEE Computer, New York, 1998.
-
(1998)
International Conference in Computer Communications and Networks
-
-
Castanet, R.1
Koné, O.2
Laurençot, P.3
-
19
-
-
0012035918
-
Testing equivalence as a bisimulation equivalence
-
Cleaveland R, Hennessy M: Testing equivalence as a bisimulation equivalence. Formal Aspects Comput 5: 1-20, 1993.
-
(1993)
Formal Aspects Comput
, vol.5
, pp. 1-20
-
-
Cleaveland, R.1
Hennessy, M.2
-
20
-
-
0030414046
-
Reducing the number of clock variables of timed automata
-
Washington, DC, USA. IEEE Computer, New York
-
Daws C, Yovine S: Reducing the number of clock variables of timed automata. In: 1996 IEEE Real-Time Systems Symposium, RTSS'96, Washington, DC, USA. IEEE Computer, New York, 1996.
-
(1996)
1996 IEEE Real-Time Systems Symposium, RTSS'96
-
-
Daws, C.1
Yovine, S.2
-
22
-
-
84944099472
-
Timing assumptions and verification of finite-state concurrent systems
-
Springer, Berlin Heidelberg New York
-
Dill DL: Timing assumptions and verification of finite-state concurrent systems. In: International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, June. Lecture Notes in Computer Science, vol. 407. Springer, Berlin Heidelberg New York, 1989, pp. 197-212.
-
(1989)
International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, June. Lecture Notes in Computer Science
, vol.407
, pp. 197-212
-
-
Dill, D.L.1
-
25
-
-
0006202814
-
Automated test generation from SDL specifications
-
21-25 June. Montréal, Québec, Canada
-
Kerbrat A, Jéron T, Groz R: Automated test generation from SDL specifications. In: 9th SDL Forum, 21-25 June. Montréal, Québec, Canada, 1999.
-
(1999)
9th SDL Forum
-
-
Kerbrat, A.1
Jéron, T.2
Groz, R.3
-
26
-
-
0004327108
-
-
Technical Report, AT&T Bell Laboratories, Murray Hill, N. J., USA
-
Koustsofios E, North SC: Drawing graphs with dot. Technical Report http://www. research. att. com/sw/tools/graphviz/ dotguide. ps. gz, AT&T Bell Laboratories, Murray Hill, N. J., USA, 1999.
-
(1999)
Drawing graphs with dot
-
-
Koustsofios, E.1
North, S.C.2
-
27
-
-
0031357735
-
Efficient verification of real-time systems: compact data structures and state-space reduction
-
Larsen KG, Larsson F, Petterson P, Yi W: Efficient verification of real-time systems: compact data structures and state-space reduction. In: 18th IEEE Real-Time Systems Symposium, 1997, pp. 14-24.
-
(1997)
18th IEEE Real-Time Systems Symposium
, pp. 14-24
-
-
Larsen, K.G.1
Larsson, F.2
Petterson, P.3
Yi, W.4
-
29
-
-
84896881659
-
OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
-
Leblanc P: OMT and SDL based techniques and tools for design, simulation and test production of distributed systems. Int J Software Tools Technol Transfer 1(1+2): 153-165, 1997.
-
(1997)
Int J Software Tools Technol Transfer
, vol.1
, Issue.1-2
, pp. 153-165
-
-
Leblanc, P.1
-
30
-
-
84976832662
-
Generating test cases for real-time systems from logic specifications
-
Mandrioli D, Morasca S, Morzenti A: Generating test cases for real-time systems from logic specifications. ACM Trans Comput Syst 13(4): 365-398, 1995.
-
(1995)
ACM Trans Comput Syst
, vol.13
, Issue.4
, pp. 365-398
-
-
Mandrioli, D.1
Morasca, S.2
Morzenti, A.3
-
32
-
-
18144423448
-
-
PhD thesis, Department of Computer Science, Aalborg University, Denmark
-
Nielsen B: Specification and test of real-time systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, 2000.
-
(2000)
Specification and test of real-time systems
-
-
Nielsen, B.1
-
33
-
-
26444551040
-
Formal methods for the international space station ISS
-
Olderog ER, Steffen B (eds). Springer, Berlin Heidelberg New York
-
Peleska J, Buth B: Formal methods for the international space station ISS. In: Olderog ER, Steffen B (eds) Correct System Design. Lecture Notes in Computer Science, vol. 1710. Springer, Berlin Heidelberg New York, 1999, pp. 363-389.
-
(1999)
Correct System Design. Lecture Notes in Computer Science
, vol.1710
, pp. 363-389
-
-
Peleska, J.1
Buth, B.2
-
37
-
-
84884690911
-
Correctness analysis of an embedded controller
-
ESA SP-447, Lisbon, Portugal
-
Schlingloff H, Meyer O, Hülsing T: Correctness analysis of an embedded controller. In: Data Systems in Aerospace (DASIA99). ESA SP-447, Lisbon, Portugal, 1999, pp. 317-325.
-
(1999)
Data Systems in Aerospace (DASIA99)
, pp. 317-325
-
-
Schlingloff, H.1
Meyer, O.2
Hülsing, T.3
-
38
-
-
0006225670
-
Autolink - Putting formal test methods into practice
-
Tomsk, Russia
-
Schmitt M, Koch B, Grabowski J, Hogrefe D: Autolink - Putting formal test methods into practice. In: 11th Int. Workshop on Testing of Communicating Systems (IWTCS'98), Tomsk, Russia, 1998.
-
(1998)
11th Int. Workshop on Testing of Communicating Systems (IWTCS'98)
-
-
Schmitt, M.1
Koch, B.2
Grabowski, J.3
Hogrefe, D.4
-
39
-
-
0034923818
-
Testing timed automata
-
Springintveld J, Vaandrager F, D'Argenio PR: Testing timed automata. TR CTIT 97-17, University of Twente. Theoret Comput Sci 254(1-2): 225-257, 2001.
-
(2001)
TR CTIT 97-17, University of Twente. Theoret Comput Sci
, vol.254
, Issue.1-2
, pp. 225-257
-
-
Springintveld, J.1
Vaandrager, F.2
D'Argenio, P.R.3
-
40
-
-
84949647973
-
Removing epsilon-transitions in timed automata
-
Springer, Berlin Heidelberg New York
-
Diekert V, Gastin P, Petit A: Removing epsilon-transitions in timed automata. In: 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1997, Lübeck, Germany, February 27 - March 1 1997. Lecture Notes in Computer Science, vol. 1200. Springer, Berlin Heidelberg New York, 1997, pp. 583-594.
-
(1997)
14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1997, Lübeck, Germany, February 27 - March 1 1997. Lecture Notes in Computer Science
, vol.1200
, pp. 583-594
-
-
Diekert, V.1
Gastin, P.2
Petit, A.3
-
41
-
-
0002381572
-
Automatic verification of real-time communicating systems by constraint solving
-
North-Holland, Amsterdam, The Netherlands
-
Yi W, Pettersson P, Daniels M: Automatic verification of real-time communicating systems by constraint solving. In: 7th Int. Conf. on Formal Description Techniques. North-Holland, Amsterdam, The Netherlands, 1994, pp. 223-238.
-
(1994)
7th Int. Conf. on Formal Description Techniques
, pp. 223-238
-
-
Yi, W.1
Pettersson, P.2
Daniels, M.3
|