Jump to Navigation

Biblio

Found 215 results
Author Title [ Type(Desc)] Year
Conference Paper
Merino, P., and J. María Troya, "Verifying Protocols with Executable Linear Logic", Pre-Proceeding of LOPSTR98: University of Manchester, pp. 88–95, feb, 1998.
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.
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.
Journal Article
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, "aSpin: a tool for abstract model checking", Software Tools for Technology Transfer, vol. 5, no. 2-3: Springer, pp. 165–184, oct, 2004.
Lavado, L., L. Panizo, M-del-M. Gallardo, and P. Merino, "A Characterisation of verification tools for software defined networks", Journal of Reliable Intelligent Environments, vol. 3, issue 3: Springer International Publishing, pp. 189–207, 07/2017.
Rivas, F J., A. Díaz, and P. Merino, "Charactierizing traffic performance in cellular networks", IEEE Internet Computing, vol. 18, no. 1, Piscataway, N.Y. USA, IEEE, pp. 12–19, 2014.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Comparing under and over-approximations of LTL properties for Model Checking", Electronic Notes in Theoretical Computer Science, vol. 76: Elservier, pp. 14 pages, feb, 2002.
Gallardo, M-del-M., L. Lavado, L. Panizo, and L. Titolo, "A Constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, vol. 3, issue 1: Springer International Publishing, pp. 55–79, 05/2017.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Debugging UML designs with model checking", Journal of Object Technology, vol. 1: ETH, pp. 101–117, oct, 2002.
Díaz, M., P. Merino, B. Rubio, and J. María Troya, "Desarrollo de protocolos basado en lenguajes lógicos concurrentes", Informatica y Automatica (aeia), vol. 27, no. 2, pp. 32–45, oct, 1995.
Merino, P., B. Rubio, and J. María Troya, "A Distributed implementation of a concurrent logic language", Transputers Communications, vol. 3, no. 2, pp. 117–135, oct, 1996.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "On the Evolution of reliability methods for critical software", Journal of Integrated Design and Process Science, vol. 10, no. 4, Amsterdam, The Netherlands, IOS Press, pp. 55–67, mar, 2006.
Gallardo, M-del-M., and L. Panizo, "Extending model checkers for hybrid system verification: the case study of SPIN (in press)", Software Testing Verification & Reliability, vol. 24, no. 6: Wiley & Sons, pp. 438–471, 2013.
Panizo, L., and M-del-M. Gallardo, "An Extension of Java PathFinder for Hybrid Systems", ACM SIGSOFT Software Engineering Notes, vol. 37, no. 6, New York, NY, USA, ACM, pp. 1–5, nov, 2012.
Rodriguez, G., P. Merino, and M-del-M. Gallardo, "An Extension of the NS simulator for active network research", Computer Communications, vol. 25, pp. 189–197, oct, 2002.
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., P. Merino, L. Panizo, and A. Salmeron, "Integrating river basin DSSs with model checking", International Journal on Software Tools for Technology Transfer: Springer Berlin Heidelberg, pp. 1–16, 10/2017.
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.

Pages



Main menu 2

by Dr. Radut