Registro:

Referencias:

• Alur, R., Courcoubetis, C., Dill, D., Halbwachs, N., Wong-Toi, H., An implementation of three algorithms for timing verification based on automata emptiness (1992) Proceedings of the 13th IEEE Real-Time Systems Symposium (RTSS '92), pp. 157-166. , Phoenix, AZ
• Alur, R., Courcoubetis, C., Dill, D.L., Model-checking in dense real-time (1993) Inf. Comput., 104 (1), pp. 2-34
• Alur, R., Dill, D.L., A theory of timed automata (1994) Theor. Comput. Sci., 126 (2), pp. 183-235
• Barnat, J., Brim, L., Stríbřná, J., Distributed LTL model-checking in SPIN (2001) Proceedings of the 7th International SPIN Workshop, 2057, pp. 200-216. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Behrmann, G., A performance study of distributed timed automata reachability analysis (2002) Proceedings of the Workshop on Parallel and Distributed Model Checking, Affiliated With the 13th International Conference on Concurrency Theory (CONCUR '02), 68. , Brno, Czech Republic, August 2002. Eelectronic notes in theoretical computer science, Elsevier, Amsterdam
• Behrmann, G., Hune, T., Vaandrager, F.W., Distributing timed model checking how the search order matters (2000) Proceedings of the 12th International Conference on Computer Aided Verification (CAV '00), 1855, pp. 216-231. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Ben-David, S., Heyman, T., Grumberg, O., Schuster, A., Scalable distributed on-the-fly symbolic model checking (2000) Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design 2000, 1954, pp. 390-404. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Bollig, B., Leucker, M., Weber, M., Parallel model checking for the alternation free μ-calculus (2001) Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '01), 2031, pp. 543-558. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Braberman, V., Garbervetsky, D., Olivero, A., Improving the verification of timed systems using influence information (2002) Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), 2280, pp. 21-36. , Grenoble, France, April 2002. Lecture notes in Computer Science Springer, Berlin Heidelberg New York
• Braberman, V., López Pombo, C., Olivero, A., On improving backwards verification for timed automata (2002) Proceedings of the Workshop on Theory and Practice of Timed Systems (TPTS '02), 65. , satellite event for the Joint European conference on theory and practice of software, ETAPS 2002, Grenoble, France, April 2002. Electronic notes in theoretical computer science, Elsevier, Amsterdam
• Braberman, V., Olivero, A., Schapachnik, F., Zeus: A distributed timed model checker based on Kronos (2002) Proc. of the Workshop on Parallel and Distributed Model Checking, Afiliated to the 13 Th International Conference on Concurrency Theory (CONCUR '02), 68. , Brno, Czech Republic, ENTCS Elsevier, August
• Cousot, P., Methodes iteratives de construction et d'aproximation de points fixes d'operateurs monotones sur un treillis, analyse semantique des programmes (1978), Ph.D. thesis, Université Scientifique et Médicale de Grenoble, Institut National Polytechnique de Grenoble, France; Daws, C., Olivero, A., Tripakis, S., Yovine, S., The tool KRONOS (1996) Proceedings of Hybrid Systems III, 1066, pp. 208-219. , Lecture notes in Computer Science, Springer, Berlin Heidelberg New York
• Daws, C., Yovine, S., Two examples of verification of multirate timed automata with Kronos (1995) Proceedings of the 16th IEEE Real-Time Systems Symposium (RTSS '95), pp. 66-75. , Pisa, Italy, December 1995. IEEE Press, New York
• Daws, C., Yovine, S., Reducing the number of clock variables of timed automata (1996) Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), pp. 73-81. , Washington DC, December 1996. IEEE Press, New York
• Dill, D.L., Timing assumptions and verification of finite-state concurrent systems (1990) Proceedings of the International Workshop of Automatic Verification Methods for Finite State Systems, 407, pp. 197-212. , Grenoble, France, June 1990. Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Garavel, H., Mateescu, R., Smarandache, I.M., Parallel state space construction for model-checking (2001) Proceedings of the 8th International SPIN Workshop, pp. 217-234. , Dwyer M.B. (ed) Toronto, Canada
• Goldsmith, M., Martin, J., Parallelization of FDR (2002) Proceedings of the Workshop on Parallel and Distributed Model Checking, Affiliated With the 13th International Conference on Concurrency Theory (CONCUR '02), , Brno, Czech Republic, August 2002
• Grumberg, O., Heyman, T., Schuster, A., Distributed symbolic model checking for μ-calculus (2001) Proceedings of the 13th International Conference on Computer Aided Verification (CAV '01), 2102, pp. 350-362. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Heljanko, K., Khomenko, V., Koutny, M., Parallelisation of the Petri net unfolding algorithm (2002) Proceedings of the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), 2280, pp. 371-385. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S., Symbolic model checking for real-time systems (1994) Inf. Comput., 111 (2), pp. 193-244
• Heyman, T., Geist, D., Grumberg, O., Schuster, A., Achieving scalability in parallel reachability analysis of very large circuits (2002) Formal Meth. Sys. Des., 21 (2), pp. 317-338
• Karypis, G., Kumar, V., Parallel multilevel k-way partitioning scheme for irregular graphs (1998), Technical Report, University of Minnesota, Department of Computer Science /US Army HPC Research Center, Minneapolis, MN, March 1998; Lerda, F., Sisto, R., Distributed-memory model checking with SPIN (1999) Proceedings of the 5th International SPIN Workshop, 1680. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Bozga, M., Maler, O., Pnueli, A., Yovine, S., Some progress in the symbolic verification of timed automata (1997) Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 1254, pp. 179-190. , Grumberg O (ed) Israel, Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Ranjan, R., Sanghavi, J., Brayton, R., Sangiovanni-Vincentelli, A., Binary decision diagrams on network of workstations (1996) Proceedings of the International Conference on Computer Design, pp. 358-364. , IEEE Press, New York
• Schapachnik, F., Distributed and parallel verification of real-time systems (2002), Degree thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, June 2002; Stern, U., Dill, D.L., Parallelizing the Mur verifier (1997) Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 1254, pp. 256-278. , Lecture notes in computer science, Springer, Berlin Heidelberg New York
• Tripakis, S., The analysis of timed systems in practice (1998), Ph.D. thesis, Universitè Joseph Fourier, Grenoble, France, December 1998; Tripakis, S., Yovine, S., Verification of the fast reservation protocol with delayed transmission using the tool Kronos (1998) Proceedings of the 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98), pp. 165-170. , Denver, CO, June 1998. IEEE Press, New York
• Yovine, S., Kronos : A verification tool for real-time systems (1997) Int. J. Softw. Tools Technol. Transfer, 1 (1-2), pp. 123-133

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------