Registro:

Referencias:

• Alfonso, A., (2003) Un Lenguaje Visual para la Especificación y Verificación Automática de Requerimientos de Tiempo real Complejos, , Master's thesis, FCEyN. Universidad de Buenos Aires
• Alur, R., Courcoubetis, C., Dill, D.L., Model-checking in dense real-time (1993) Information and Computation, 104 (1), pp. 2-34
• Alur, R., Dill, D., A theory of timed automata (1994) Theoretical Computer Science, 126 (2), pp. 183-235
• Amla, N., Emerson, E.A., Namjoshi, K.S., Efficient decompositional model checking for regular timing diagrams (1999) Porc. of Intl. Conf. on Correct Hardware Design and Verification Methods, Volume 1703 of LNCS, 1703, pp. 67-81. , Springer Verlag
• Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W., TIMES - A tool for modelling and implementation of embedded systems (2002) Proc. of the 8th Conf. TACAS '02, Volume 2280 of LNCS, 2280, pp. 460-464. , Springer Verlag
• Avrunin, G.S., Corbett, J.C., Dillon, L.K., Analyzing partially-implemented red-time systems (1997) Proc. of the 18th ACM/IEEE Conf. ICSE '97, pp. 228-238. , IEEE
• Bates, P.C., Debugging heterogeneous distributed systems using event-based models of behaviour (1995) ACM Transactions on Computer Systems, 13 (1), pp. 1-31
• Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W., UPPAAL - A tool suite for automatic verification of real-time systems (1995) Proc. of the Intl. Conf. on Hybrid Systems, pp. 232-243. , Springer Verlag
• Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S., Taxys = esterel + kronos - A tool for verifying real-time properties of embedded systems (2001) Proc. of Conf. CDC '01, , IEEE Control Systems Society
• Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S., Kronos: A model-checking tool for real-time systems (1998) Proc. of the 10th Intl. Conf. CAV '98, Volume 1427 of LNCS, 1427, pp. 546-550. , Springer Verlag
• Braberman, V.A., Felder, M., Verification of real-time designs: Combining scheduling theory with automatic formal verification (1999) Proc. of the 7th ACM/SIGSOFT Intl. Conf. ESEC/FSE '99, pp. 494-510. , Springer Verlag
• Braberman, V.A., Garbervetsky, D., Olivero, A., Improving the verification of timed systems using influence information (2002) Proc. of the 8th Intl. Conf TACAS '02, Volume 2280 of LNCS, 2280, pp. 21-36. , Springer Verlag
• Consens, M., Mendelzon, A., Hy+: A hygraph-based query and visualization system (1993) Proc. of the ACM Intl. Conf. SIGMOD '93, pp. 511-516
• Drusinsky, D., The temporal rover and the ATG rover (2000) Proc. of the 7th Intl. Workshop SPIN, Volume 1885 of LNCS, 1885, pp. 323-330. , Springer Verlag
• Dwyer, M.B., Avrunin, G.S., Corbett, J.C., Patterns in property specifications for finite-state verification (1999) Proc. of the 21th ACM/IEEE ICSE '99, pp. 411-420. , ACM Press
• Firley, T., Huhn, M., Diethers, K., Gehrke, T., Goltz, U., Timed sequence diagrams and tool-based analysis a case study (1999) Proc. of the 2nd Intl. Conf. UML '99, Volume 1723 of LNCS, 1723, pp. 645-660. , Springer Verlag, October
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proc. of the ACM/SIGSOFT Intl. Conf. ESEC/FSE2003, pp. 257-266. , ACM, September
• Harel, D., Marelly, R., Playing with time: On the specification and execution of time-enriched Iscs (2002) Proc. of the 10th IEEE/ACM Intl. Symp. MASCOTS '02, pp. 193-202. , IEEE Computer Society
• Havelund, K., Rosu, G., Monitoring Java programs with Java pathexplorer (2001) Proc. of the 1st Intl. Workshop RV '01, 55. , ENTCS, Elsevier
• Havelund, K., Rosu, G., Synthesizing monitors for safety properties (2002) Proc. of the 8th Intl. Conf. TACAS '02, Volume 2280 of LNCS, 2280, pp. 342-356. , Springer Verlag
• Fernandez, J.C., Jard, C., Jeron, T., Viho, G., Using on-the-fly verification techniques for the generation of test suites (1996) Proc. of 8th Intl. Conf. CAV '96, Volume 1102 of LNCS, 1102, pp. 348-359. , Springer Verlag
• Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M., Runtime assurance based on formal specifications (1999) Proc. of the IEEE Intl. Conf. PDPTA '99
• Mansouri-Samani, M., Sloman, M., Gem: A generalized event monitoring language for distributed systems (1997) Distributed Systems Engineering Journal, 4 (2), pp. 96-108
• Maxemchuk, N.F., Shur, D.H., An Internet multicast system for the stock market (2001) ACM Transactions on Computer Systems, 19 (3), pp. 384-412
• Sanchez, C., Sankaranarayanan, S., Sipma, H., Zhang, T., Dill, D., Manna, Z., Event correlation: Language and semantics (2003) Proc. of the 3rd Intl. Conf. EMSOFT '03, Volume 2855 of LNCS., 2855. , Springer Verlag
• Smith, M.H., Holzmann, G.J., Etessami, K., Events and constraints: A graphical editor for capturing logic requirements of programs (2001) Proc. of the 5th IEEE Intl. Symp. RE'01, pp. 14-22
• Snodgrass, R., A relational approach to monitoring complex system (1988) ACM Transactions on Computer Systems, 6 (2), pp. 157-196
• Uchitel, S., Kramer, J., Magee, J., Negative scenarios for implied scenario elicitation (2002) Proc. of the 10th ACM/SIGSOFT Intl. Conf. FSE '02, pp. 109-118. , ACM Press
• Zhu, D., Sethi, A.S., Sel, a new event pattern specification language for event correlation (2001) Proc. of the IEEE Intl. Conf. ICCCN '01, pp. 586-589A4 - Institution of Electrical Engineers, IEE; British Computer Society, BCS; Association for Computing Machinery, ACM SIGSOFT; Association for Computing Machinery, ACM SIGPLAN; IEEE Computer Society Technical Council on Software Engineering

Citas:

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

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

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

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