-
1
-
-
0028413052
-
A theory of timed automata
-
R Alur D Dill 1994 A theory of timed automata Theor Comput Sci 126 183 235
-
(1994)
Theor Comput Sci
, vol.126
, pp. 183-235
-
-
Alur, R.1
Dill, D.2
-
2
-
-
85028755887
-
A determinizable class of timed automata
-
Springer Berlin
-
Alur R, Fix L, Henzinger T (1994) A determinizable class of timed automata. In: CAV'94. LNCS, vol 818. Springer, Berlin
-
(1994)
CAV'94 LNCS 818
-
-
Alur, R.1
Fix, L.2
Henzinger, T.3
-
3
-
-
0002910454
-
Formal test automation: A simple experiment
-
Kluwer Dordrecht
-
Belinfante A, Feenstra J, de Vries RG, Tretmans J, Goga N, Feijs L, Mauw S, Heerink L (1999) Formal test automation: a simple experiment. In: 12th international workshop on testing of communicating systems. Kluwer, Dordrecht
-
(1999)
12th International Workshop on Testing of Communicating Systems
-
-
Belinfante, A.1
Feenstra, J.2
De Vries, R.G.3
Tretmans, J.4
Goga, N.5
Feijs, L.6
Mauw, S.7
Heerink, L.8
-
4
-
-
0344824010
-
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
-
Formal Methods and Software Engineering
-
Bengtsson J, Yi W (2003) On clock difference constraints and termination in reachability analysis of timed automata. In: ICFEM'03. LNCS, vol 2885. Springer, Berlin (Pubitemid 37476828)
-
(2003)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2885
, pp. 491-503
-
-
Bengtsson, J.1
Yi, W.2
-
5
-
-
11344250348
-
Testing conformance of real-time applications by automatic generation of observers
-
Elsevier Amsterdam
-
Bensalem S, Bozga M, Krichen M, Tripakis S (2005) Testing conformance of real-time applications by automatic generation of observers. In: 4th international workshop on runtime verification (RV'04). ENTCS, vol 113. Elsevier, Amsterdam, pp 23-43
-
(2005)
4th International Workshop on Runtime Verification (RV'04) ENTCS 113
, pp. 23-43
-
-
Bensalem, S.1
Bozga, M.2
Krichen, M.3
Tripakis, S.4
-
6
-
-
0000767643
-
Characterization of the Expressive Power of Silent Transitions in Timed Automata
-
B Berard A Petit V Diekert P Gastin 1998 Characterization of the expressive power of silent transitions in timed automata Fund Inform 36 2-3 145 182 (Pubitemid 128436228)
-
(1998)
Fundamenta Informaticae
, vol.36
, Issue.2
, pp. 145-182
-
-
Berard, B.1
Petit, A.2
Diekert, V.3
Gastin, P.4
-
10
-
-
3543131363
-
Forward analysis of updatable timed automata
-
P Bouyer 2004 Forward analysis of updatable timed automata Formal Methods in System Design 24 3 281 320
-
(2004)
Formal Methods in System Design
, vol.24
, Issue.3
, pp. 281-320
-
-
Bouyer, P.1
-
11
-
-
24644441365
-
Fault diagnosis using timed automata
-
Springer Berlin
-
Bouyer P, Chevalier F, D'Souza D (2005) Fault diagnosis using timed automata. In: FoSSaCS'05. LNCS, vol 3441. Springer, Berlin, pp 219-233
-
(2005)
FoSSaCS'05 LNCS 3441
, pp. 219-233
-
-
Bouyer, P.1
Chevalier, F.2
D'Souza, D.3
-
12
-
-
84944404747
-
IF: A validation environment for timed asynchronous systems
-
Springer Berlin
-
Bozga M, Fernandez JC, Ghirvu L, Graf S, Krimm JP, Mounier L (2000) IF: a validation environment for timed asynchronous systems. In: Proc CAV'00. LNCS, vol 1855. Springer, Berlin
-
(2000)
Proc CAV'00 LNCS 1855
-
-
Bozga, M.1
Fernandez, J.C.2
Ghirvu, L.3
Graf, S.4
Krimm, J.P.5
Mounier, L.6
-
13
-
-
1442292436
-
SDL for real-time: What is missing?
-
Grenoble, France IMAG, June, 2000
-
Bozga M, Graf S, Kerbrat A, Mounier L, Ober I, Vincent D (2000) SDL for real-time: what is missing? In: Proceedings of SAM'00: 2nd workshop on SDL and MSC, Grenoble, France, pp 108-122. IMAG, June 2000
-
(2000)
Proceedings of SAM'00: 2nd Workshop on SDL and MSC
, pp. 108-122
-
-
Bozga, M.1
Graf, S.2
Kerbrat, A.3
Mounier, L.4
Ober, I.5
Vincent, D.6
-
15
-
-
4544291208
-
Experimental evaluation of V&V tools on martian rover software
-
Brat G, Giannakopoulou D, Goldberg A, Havelund K, Lowry M, Pasareanu C, Venet A, Visser W (2003) Experimental evaluation of V&V tools on martian rover software. In: SEI software model checking workshop
-
(2003)
SEI Software Model Checking Workshop
-
-
Brat, G.1
Giannakopoulou, D.2
Goldberg, A.3
Havelund, K.4
Lowry, M.5
Pasareanu, C.6
Venet, A.7
Visser, W.8
-
16
-
-
23044529830
-
Testing transition systems: An annotated bibliography
-
Springer Berlin
-
Brinksma E, Tretmans J (2001) Testing transition systems: an annotated bibliography. In: MOVEP 2000. LNCS, vol 2067. Springer, Berlin
-
(2001)
MOVEP 2000 LNCS 2067
-
-
Brinksma, E.1
Tretmans, J.2
-
17
-
-
33646757155
-
A test generation framework for quiescent real-time systems
-
Springer Berlin
-
Briones L, Brinksma E (2004) A test generation framework for quiescent real-time systems. In: FATES'04. LNCS, vol 3395. Springer, Berlin
-
(2004)
FATES'04 LNCS 3395
-
-
Briones, L.1
Brinksma, E.2
-
18
-
-
0036980279
-
Conformance test experiments for distributed real-time systems
-
ACM New York
-
Cardell-Oliver R (2002) Conformance test experiments for distributed real-time systems. In: ISSTA'02. ACM, New York
-
(2002)
ISSTA'02
-
-
Cardell-Oliver, R.1
-
19
-
-
0017973244
-
TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES.
-
Chow TS (1978) Testing software design modeled by finite-state machines. IEEE Trans Softw Eng 4(1) (Pubitemid 8602457)
-
(1978)
IEEE Transactions on Software Engineering
, vol.SE-4
, Issue.3
, pp. 178-187
-
-
Chow Tsun, S.1
-
22
-
-
40149092144
-
The tool KRONOS
-
Daws C, Olivero A, Tripakis S, Yovine S (1996) The tool Kronos. In: Hybrid systems III, verification and control. LNCS, vol 1066. Springer, Berlin, pp 208-219 (Pubitemid 126066704)
-
(1996)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1066
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
23
-
-
84947909489
-
Model Checking of Real-Time Reachability Properties Using Abstractions
-
Tools and Algorithms for the Construction and Analysis of Systems
-
Daws C, Tripakis S (1998) Model checking of real-time reachability properties using abstractions. In: Tools and algorithms for the construction and analysis of systems '98, Lisbon, Portugal. LNCS, vol 1384. Springer, Berlin (Pubitemid 128055552)
-
(1998)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1384
, pp. 313-329
-
-
Daws, C.1
Tripakis, S.2
-
25
-
-
0032299323
-
Timed test cases generation based on state characterization technique
-
IEEE New York
-
En-Nouaary A, Dssouli R, Khendek F, Elqortobi A (1998) Timed test cases generation based on state characterization technique. In: RTSS'98. IEEE, New York
-
(1998)
RTSS'98
-
-
En-Nouaary, A.1
Dssouli, R.2
Khendek, F.3
Elqortobi, A.4
-
26
-
-
72349100435
-
Using on-the-fly verification techniques for the generation of test suites
-
Computer Aided Verification
-
Fernandez JC, Jard C, Jéron T, Viho G (1996) Using on-the-fly verification techniques for the generation of test suites. In: CAV'96. LNCS, vol 1102. Springer, Berlin (Pubitemid 126101294)
-
(1996)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1102
, pp. 348-359
-
-
Fernandez, J.-C.1
Jard, C.2
Jeron, T.3
Viho, G.4
-
27
-
-
84947942612
-
A Bounded Retransmission Protocol for Large Data Packets
-
Algebraic Methodology and Software Technology
-
Groote JF, van de Pol J (1996) A bounded retransmission protocol for large data packets. In: Algebraic methodology and software technology, pp 536-550 (Pubitemid 126091986)
-
(1996)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1101
, pp. 536-550
-
-
Groote, J.F.1
Van De Pol, J.2
-
31
-
-
35048867237
-
Open systems interconnection conformance testing methodology and framework-part 1: General concept; Part 2: Abstract test suite specification; Part 3: The tree and tabular combined notation (TTCN)
-
ISO/IEC Technical Report 9646 Genève
-
ISO/IEC (1992) Open systems interconnection conformance testing methodology and framework-part 1: general concept; part 2: abstract test suite specification; part 3: the tree and tabular combined notation (TTCN). Technical Report 9646, International Organization for Standardization-Information Processing Systems-Open Systems Interconnection, Genève
-
(1992)
International Organization for Standardization-Information Processing Systems-Open Systems Interconnection
-
-
-
38
-
-
67349165874
-
Online testing of real-time systems using uppaal
-
Springer Berlin
-
Larsen K, Mikucionis M, Nielsen B (2004) Online testing of real-time systems using uppaal. In: FATES'04. LNCS, vol 3395. Springer, Berlin
-
(2004)
FATES'04 LNCS 3395
-
-
Larsen, K.1
Mikucionis, M.2
Nielsen, B.3
-
39
-
-
29244458148
-
Testing real-time embedded software using UPPAAL-TRON: An industrial case study
-
ACM New York
-
Larsen K, Mikucionis M, Nielsen B, Skou A (2005) Testing real-time embedded software using UPPAAL-TRON: an industrial case study. In: 5th ACM international conference on embedded software. ACM, New York, pp 299-306
-
(2005)
5th ACM International Conference on Embedded Software
, pp. 299-306
-
-
Larsen, K.1
Mikucionis, M.2
Nielsen, B.3
Skou, A.4
-
40
-
-
0030212784
-
Principles and methods of testing finite state machines - A survey
-
PII S0018921996055247
-
D Lee M Yannakakis 1996 Principles and methods of testing finite state machines-a survey Proc IEEE 84 1090 1126 (Pubitemid 126752579)
-
(1996)
Proceedings of the IEEE
, vol.84
, Issue.8
, pp. 1090-1123
-
-
Lee, D.1
Yannakakis, M.2
-
42
-
-
84903139022
-
Automated Test Generation from Timed Automata
-
Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
-
Nielsen B, Skou A (2001) Automated test generation from timed automata. In: TACAS'01. LNCS, vol 2031. Springer, Berlin (Pubitemid 33254669)
-
(2001)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2031
, pp. 343-357
-
-
Nielsen, B.1
Skou, A.2
-
44
-
-
0004020815
-
Dynamical properties of timed automata
-
A Puri 2000 Dynamical properties of timed automata Discrete Event Dyn Syst 10 1-2 87 113
-
(2000)
Discrete Event Dyn Syst
, vol.10
, Issue.12
, pp. 87-113
-
-
Puri, A.1
-
47
-
-
84888268734
-
Testing concurrent systems: A formal approach
-
Springer Berlin
-
Tretmans J (1999) Testing concurrent systems: a formal approach. In: CONCUR'99. LNCS, vol 1664. Springer, Berlin
-
(1999)
CONCUR'99 LNCS 1664
-
-
Tretmans, J.1
|