Jump to Navigation

Biblio

Found 203 results
Author Title Type [ Year(Asc)]
2006
Díaz, A., A. Gil, P. Merino, and J. Muñoz, "x-AppMonitor μAgent: a tool for QoS measurements in cellular networks", Proceedings of the 3rd International Symposium on Wireless Communication Systems, Piscataway, N.J., IEEE, pp. 343–347, sep, 2006.
2005
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Abstract model checking of TCCP programs", Electronic Notes in Theoretical Computer Science, vol. 112: Elsevier, pp. 19–36, dec, 2005.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstracting UML behaviour diagrams for verification", Hongji Yang (Ed.).Software evolution with UML and XML, Leicester, Inglaterra, Idea Group Publishing, pp. 296–320, oct, 2005.
Díaz, A., P. Merino, and F J. Rivas, "Análisis de Symbian OS para desarrollar aplicaciones distribuidas sobre terminales GPRS", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2005. En el Congreso Español de Informática. Granada, Spain, pp. 259–269, oct, 2005.
Gallardo, M-del-M., J. Martínez, P. Merino, and G. Rodriguez, "Integration of reliability of performance analyses for active network services", Electronic Notes in Theoretical Computer Science, vol. 133: Elservier, pp. 217–236, dec, 2005.
Gallardo, M-del-M., J. Martínez, and P. Merino, "Model checking active networks with SPIN", Computer Communications, vol. 28, no. 6: Elservier, pp. 609–622, apr, 2005.
de la Cámara, P., P. Merino, M-del-M. Gallardo, and D. Sanán, "Model checking software with well-defined APIS: the socket case", EASST Newsletters, vol. 11: European Association of Software Science and Technology, pp. 31–34, feb, 2005.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Model checking software with well-defined APIs: the socket case", Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, FMICS’05, New York, ACM, pp. 16–27, oct, 2005.
Yagüe, M. I., M-del-M. Gallardo, and A. Maña, "Semantic access control model: a formal specification", Computer Security-ESORICS 2005: 10th European Symposium on Research in Computer Security Milan, Italy, September, 2005. Proceedings, Berlin, Springer, pp. 24–43, sep, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking of TCCP programs", Theoretical Computer Science, vol. 346: Elsevier, pp. 58–95, oct, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "A Semantic framework for the abstract model checking ot tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE 2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada 13 al 16 de Septiembre de 2005, Madrid, Thomson, pp. 97–100, feb, 2005.
de la Cámara, P., M-del-M. Gallardo, P. Merino, and D. Sanán, "Socketmc a tool to verify C code", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos.JCSD 2005. En el Congreso Español de Informática, Granada, Spain, pp. 193–204, oct, 2005.
Martínez, J., Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos, : Universida de Málaga, jun, 2005.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real time properties of tccp programs", Francisco Javier López Fraguas (Ed.). Actas de las V Jornadas sobre Programación y Lenguajes. PROLE'2005: Simposio 10 del I Congreso Español de Informática (CEDI 2005), Granada, 13 al 16 de Septimebre de 2005, Madrid, Thomson, pp. 85–94, oct, 2005.
Díaz, A., A. Gil, P. Merino, and J. Muñoz, "XAPPmonitor uagent: una herramienta para la medida del rendimiento de servicios en redes GSM/GPRS y 3G desde los terminales de usuario", [Actas] de las Jornadas Telecom I+D, Barcelona, Bilbao, Madrid, Málaga, Valencia 22,23 y 24 de Noviembre, oct, 2005.
2004
Actas IV Jornadas sobre Programación y Lenguajes. PROLE 2004, Málaga 11 al 12 de noviembre de 2004, , jul, 2004.
Martínez, J., L.. López, and P. Merino, "Application-Oriented Middleware for E-Commerce", Middleware for Communications: Wiley & Sons, pp. 393–412, oct, 2004.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSpin: a tool for abstract model checking", Software Tools for Technology Transfer, vol. 5, no. 2-3: Springer, pp. 165–184, oct, 2004.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "A Generalized semantics of Promela for abstract model checking", Formal Aspects of Computing, vol. 16: Springer-Verlag, pp. 166–193, oct, 2004.
Gallardo, M-del-M., M. Juan Hornos, J. Martínez, and P. Merino, "Integration of interval logic specifications into the model checker SPIN", Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos. Las Navas del Marqués (Ávila), 9 al 11 de Junio de 2004, Madrid, Universidad Rey Juan Carlos, pp. 317–322, oct, 2004.
Martínez, J., P. Merino, M-del-M. Gallardo, and D. Sanán, "Integration of Reliability and Performance Analyses for Active Networks Services", Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004): Austrian Computer Society, pp. 107–124, feb, 2004.
Cuevas, J. Carlos, P. Merino, F J. Rivas, and P. J. Reche, "Migrando una Aplicación Domótica a Entornos Móviles", Actas de las Jornadas Telecom I+D 2004, feb, 2004.
Carmona, A., M-del-M. Gallardo, J. Martínez, and P. Merino, "Un Marco de Trabajo para la Construcción de Herramientas de Model Checking", Actas de las IV Jornadas sobre Programación y Lenguajes. Málaga, 11 al 12 de Noviembre, pp. 191–200, oct, 2004.
2003
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstract model checking and refinement of temporal logic in Spin", Johan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal, Los Alamitos, California, IEEE Computer Society, pp. 245–246, oct, 2003.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Applying data abstraction to XML formal designs", Walter Dosch, Roger Y. Lee (Eds.): Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. ACIS 2003, pp. 315–321, oct, 2003.

Pages



Main menu 2

by Dr. Radut