Registro:

Referencias:

• Alfonso, A., Braberman, V., Kicillof, N., Olivero, A., Visual timed event scenarios (2004) Proc. of the 26th ACM/IEEE International Conference on Software Engineering, , ACM Press
• Alfonso, A., Garbervetsky, D., Braberman, V., Olivero, A., Kicillof, N., Schapachnik, F., Vintime: Combining high-level finesse with low-level muscle to verify real-time systems (2004) First International Conference on Principles of Software Engineering, PRISE 2004, , Buenos Aires, Argentina, November
• Alur, R., Dill, D.L., A theory of timed automata (1994) Theoretical Computer Science, 126 (2), pp. 183-235
• Bengtsson, J., Guldstrand Larsen, K., Larsson, F., Pettersson, P., Yi, W., UPPAAL - a tool suite for automatic verification of real-time systems (1995) Hybrid Systems, pp. 232-243. , Springer-Verlag
• Braberman, V., (2000) Modeling and Checking Real-Time Systems Designs, , Ph d. thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
• Braberman, V., Felder, M., Verification of real-time designs: Combining scheduling theory with automatic formal verification (1999) LNCS, 1687, pp. 521-525. , Software Engineering, ESEC/FSE'99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, of, Touluse, France, September, Springer-Verlag
• Braberman, V., Garbervetsky, D., Olivero, A., ObsSlice: A timed automata slicer based on observers (2004) LNCS, , Proc. of the 16th Intl. Conf. CAV '04, Springer Verlag
• Braberman, V., Kicillof, N., Olivero, A., A scenario-matching approach to the description and model checking of real-time properties (2005) IEEE Transactions on Software Engineering, 31 (12), pp. 1028-1041
• V. Braberman, A. Olivero, and F. Schapachnik. Zeus: A distributed timed model checker based on Kronos. In 1st Workshop on Parallel and Distributed Model Checking, affiliated to CONCUR. 2002 (13th International Conference on Concurrency Theory), 68 of ENTCS, Brno, Czech Republic, August 2002. Elsevier; Braberman, V., Olivero, A., Schapachnik, F., Issues in Distributed Model-Checking of Timed Automata: Building ZEUS (2005) International Journal of Software Tools for Technology Transfer, 7, pp. 4-18. , feb
• Braberman, V., Olivero, A., Schapachnik, F., Dealing with practical limitations of distributed timed model checking (2006) Formal Methods in System Design
• Daws, C., Yovine, S., Two examples of verification of multirate timed automata with KRONOS (1995) Proceedings of the 16 IEEE Real-Time Systems Symposium (RTSS'95), pp. 66-75. , Pisa, Italy, December, IEEE Computer Society Press
• Bozga, M., Maler, O., Pnueli, A., Yovine, S., Some progress in the symbolic verification of timed automata (1997) LNCS, 1254, pp. 179-190. , O. Grumberg, editor, Proceedings of the 9th International Conference on Computer Aided Verification CAV'97, of, Israel, June, Springer-Verlag
• Selic, B., Moore, A., Woodside, M., Watson, B., Bjorkander, M., Gerhardt, M., Petriu, D., (2005) UML Profile for Schedulability, Performance and Time Specification, , Object Management Group
• Tripakis, S., (1998) L'Analyse Formelle des Systemès Temporisés en Practique, , PhD thesis, Univesité Joseph Fourier
• Tripakis, S., Yovine, S., Verification of the fast reservation protocol with delayed transmission using the tool KRONOS (1998) Proceedings of the 4 th IEEE Real-Time Technology and Applications Symposium (RTAS'98), pp. 165-170. , Denver, Colorado, USA, June, IEEE Computer Society PressA4 - IBM

Citas:

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

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

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

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