Moura, Arnaldo V.; Pinto, Guilherme A. A note on the verification of automata specifications of probabilistic real-time systems. (English) Zbl 1338.68169 Inf. Process. Lett. 82, No. 5, 223-228 (2002). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. V. Moura} and \textit{G. A. Pinto}, Inf. Process. Lett. 82, No. 5, 223--228 (2002; Zbl 1338.68169) Full Text: DOI Link
Asarin, Eugene; Caspi, Paul; Maler, Oded Timed regular expressions. (English) Zbl 1323.68335 J. ACM 49, No. 2, 172-206 (2002). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{E. Asarin} et al., J. ACM 49, No. 2, 172--206 (2002; Zbl 1323.68335) Full Text: DOI
Khoumsi, Ahmed A method for testing the conformance of real time systems. (English) Zbl 1278.68036 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 331-351 (2002). MSC: 68M15 68Q45 68Q60 PDFBibTeX XMLCite \textit{A. Khoumsi}, Lect. Notes Comput. Sci. 2469, 331--351 (2002; Zbl 1278.68036) Full Text: DOI
Tripakis, Stavros Fault diagnosis for timed automata. (English) Zbl 1278.68140 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 205-221 (2002). MSC: 68Q45 68M15 PDFBibTeX XMLCite \textit{S. Tripakis}, Lect. Notes Comput. Sci. 2469, 205--221 (2002; Zbl 1278.68140) Full Text: DOI
Yamamoto, Mitsuharu; Cottin, Jean-Marie; Hagiya, Masami Decidability of safety properties of timed multiset rewriting. (English) Zbl 1278.68128 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 165-183 (2002). MSC: 68Q42 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. Yamamoto} et al., Lect. Notes Comput. Sci. 2469, 165--183 (2002; Zbl 1278.68128) Full Text: DOI
Lohr, Christophe; Courtiat, Jean-Pierre From the specification to the scheduling of time-dependent systems. (English) Zbl 1278.68182 Damm, Werner (ed.) et al., Formal techniques in real-time and fault-tolerant systems. 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44165-4/pbk). Lecture Notes in Computer Science 2469, 129-145 (2002). MSC: 68Q60 68M20 68Q45 PDFBibTeX XMLCite \textit{C. Lohr} and \textit{J.-P. Courtiat}, Lect. Notes Comput. Sci. 2469, 129--145 (2002; Zbl 1278.68182) Full Text: DOI
Dang, Zhe; Ibarra, Oscar H. The existence of \(\omega\)-chains for transitive mixed linear relations and its applications. (English) Zbl 1067.68090 Int. J. Found. Comput. Sci. 13, No. 6, 911-936 (2002). MSC: 68Q60 68N30 68Q45 PDFBibTeX XMLCite \textit{Z. Dang} and \textit{O. H. Ibarra}, Int. J. Found. Comput. Sci. 13, No. 6, 911--936 (2002; Zbl 1067.68090) Full Text: DOI
Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Yi, Wang; Sun, Hongyan Code synthesis for timed automata. (English) Zbl 1088.68625 Nord. J. Comput. 9, No. 4, 269-300 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. Amnell} et al., Nord. J. Comput. 9, No. 4, 269--300 (2002; Zbl 1088.68625)
Romijn, Judi False loop detection in the IEEE 1394 tree identify phase. (English) Zbl 1029.68020 Formal Asp. Comput. 14, No. 3, 319-327 (2002). MSC: 68M12 68Q60 PDFBibTeX XMLCite \textit{J. Romijn}, Formal Asp. Comput. 14, No. 3, 319--327 (2002; Zbl 1029.68020) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Sproston, Jeremy Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol. (English) Zbl 1029.68017 Formal Asp. Comput. 14, No. 3, 295-318 (2002). MSC: 68M12 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Formal Asp. Comput. 14, No. 3, 295--318 (2002; Zbl 1029.68017) Full Text: DOI
Chen, Peter C. Y.; Wonham, W. M. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. (English) Zbl 1012.68019 Real-Time Syst. 23, No. 3, 183-208 (2002). MSC: 68M20 PDFBibTeX XMLCite \textit{P. C. Y. Chen} and \textit{W. M. Wonham}, Real-Time Syst. 23, No. 3, 183--208 (2002; Zbl 1012.68019) Full Text: DOI
Dima, Cătălin Automata and regular expressions for real-time languages. (English) Zbl 1006.68065 Publ. Math. Debr. 60, No. 3-4, 523-538 (2002). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{C. Dima}, Publ. Math. Debr. 60, No. 3--4, 523--538 (2002; Zbl 1006.68065)
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits Linear parametric model checking of timed automata. (English) Zbl 1008.68069 J. Log. Algebr. Program. 52-53, 183-220 (2002). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. Hune} et al., J. Log. Algebr. Program. 52--53, 183--220 (2002; Zbl 1008.68069) Full Text: DOI
Møller, Jesper; Hulgaard, Henrik; Andersen, Henrik Reif Symbolic model checking of timed guarded commands using difference decision diagrams. (English) Zbl 1008.68031 J. Log. Algebr. Program. 52-53, 53-77 (2002). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{J. Møller} et al., J. Log. Algebr. Program. 52--53, 53--77 (2002; Zbl 1008.68031) Full Text: DOI
Aceto, Luca; Laroussinie, François Is your model checker on time? On the complexity of model checking for timed modal logics. (English) Zbl 1008.68030 J. Log. Algebr. Program. 52-53, 7-51 (2002). MSC: 68N17 03B44 PDFBibTeX XMLCite \textit{L. Aceto} and \textit{F. Laroussinie}, J. Log. Algebr. Program. 52--53, 7--51 (2002; Zbl 1008.68030) Full Text: DOI
D’Souza, Deepak; Thiagarajan, P. S. Product interval automata. (English) Zbl 1019.68055 Sādhanā 27, No. 2, 181-208 (2002). MSC: 68Q45 68M14 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{P. S. Thiagarajan}, Sādhanā 27, No. 2, 181--208 (2002; Zbl 1019.68055) Full Text: DOI
Dembiński, Piotr; Penczek, Wojciech; Półrola, Agata Verification of timed automata based on similarity. (English) Zbl 1003.68102 Fundam. Inform. 51, No. 1-2, 59-89 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Dembiński} et al., Fundam. Inform. 51, No. 1--2, 59--89 (2002; Zbl 1003.68102)
Behrmann, Gerd; Fehnker, Ansgar; Hune, Thomas; Larsen, Kim; Pettersson, Paul Minimum-cost reachability for priced timed automata. (English) Zbl 0991.68037 Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 147-161 (2002). MSC: 68Q45 90C27 68M20 PDFBibTeX XMLCite \textit{G. Behrmann} et al., Lect. Notes Comput. Sci. 2034, 147--161 (2002; Zbl 0991.68037) Full Text: Link
Lin, Huimin; Yi, Wang Axiomatising timed automata. (English) Zbl 1025.68057 Acta Inf. 38, No. 4, 277-305 (2002). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{H. Lin} and \textit{W. Yi}, Acta Inf. 38, No. 4, 277--305 (2002; Zbl 1025.68057) Full Text: DOI
Beauquier, Danièle; Slissenko, Anatol Decidable verification for reducible timed automata specified in a first order logic with time. (English) Zbl 1026.68079 Theor. Comput. Sci. 275, No. 1-2, 347-388 (2002). MSC: 68Q45 03B10 PDFBibTeX XMLCite \textit{D. Beauquier} and \textit{A. Slissenko}, Theor. Comput. Sci. 275, No. 1--2, 347--388 (2002; Zbl 1026.68079) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy Automatic verification of real-time systems with discrete probability distributions. (English) Zbl 1050.68094 Theor. Comput. Sci. 282, No. 1, 101-150 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Theor. Comput. Sci. 282, No. 1, 101--150 (2002; Zbl 1050.68094) Full Text: DOI