Jump to Navigation

Biblio

Found 203 results
Author Title [ Type(Desc)] Year
Journal Article
Gallardo, M-del-M., C. Joubert, and P. Merino, "On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.
Gallardo, M-del-M., J. Martínez, P. Merino, P. Nuñez, and E. Pimentel, "PiXL: appliyng XML standards to support the integration of analysis tools for protocols", Science of Computer Programming, vol. 65, no. 1: Elservier, pp. 57–69, mar, 2007.
Gallardo, M-del-M., P. Merino, L. Panizo, and A. Linares, "A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
"Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)", Science of Computer Programming, vol. 76: Elsevier, pp. 63–64, feb, 2010.
Díaz, A., P. Merino, and F J. Rivas, "QOS analysis of video streaming service in live cellular networks", Computer Communications, vol. 33, pp. 322–335, mar, 2010.
López, F. Javier, A. Maña, P. Merino, and J. María Troya, "The Role of smartcards in practical information security", Ercim News, vol. 49, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 38–40, oct, 2002.
Merino, P., and E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
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.
Cuevas, J. Carlos, J. Martínez, and P. Merino, "Soluciones Domóticas Sin Instalación El Protocolo X-10, Más Seguro Y Fiable", Energia y Computacion, vol. 19, pp. 68–78, oct, 2002.
Díaz, A., P. Merino, and F J. Rivas, "SymPA: un analizador de protocolos para dispositivos móviles", RIiCU: Revista Internacional Iberoamericana sobre Computación Ubicua, no. 1, pp. 1–8, nov, 2006.
Díaz, A., and P. Merino, "A Testbed for energy profile characterization of IP services in samrtphones over live networks", Mobile, Networks and Applications (MONET) Journal, Netherlands, Springer, pp. online first, mar, 2010.
Díaz, A., and P. Merino, "Testing mobile data applications on smartphones with SymPA", Ercim News, vol. 77, Sophia Antipolis Cedex, ERCIM EEIG, pp. 56–57, oct, 2009.
Díaz, A., C A. García, and P. Merino, "Third-Generation partnership project standards: for delivery of critical communications for railways", IEEE Vehicular Technology Magazine, vol. 9, no. 2: IEEE, pp. 58–68, 2014.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "A Tool for abstraction in model checking", Electronic Notes in Theoretical Computer Science, vol. 66, no. 2: Elsevier, pp. 16 pages, dec, 2002.
Rivas, F J., A. Díaz, and P. Merino, "Tools and methods for characterization of traffic performance in cellular networks (Characterizing traffic performance in cellular networks)", IEEE Internet Computing, Piscataway, N.Y. USA, IEEE, pp. in press, dec, 2013.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Transforming specifications to verify embedded systems", Ercim News, no. 52, Sophia Antipolis Cedex, European Research Consortium for Informatics and Mathematics, pp. 35–36, oct, 2003.
Martínez, J., P. Merino, A. Salmeron, and F. Malpartida, "UML-Based model-driven development for HSDPA design", IEEE Software, vol. 26, no. 3: IEEE, pp. 26–33, dec, 2009.
Adalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino, "Using SPIN for automated debugging of infinite executions of Java programs (in press)", Journal of Systems and Software: Elsevier, pp. 15, nov, 2013.
Contreras, S., M-del-M. Gallardo, P. Merino, D. Sanán, F J. Rivas, and J. Torrecilla, "Validating complex telecommunication software", Ercim News, no. 66, Sophia Antipolis Cedex, ERCIM EEIG, pp. 62–63, feb, 2006.
Gallardo, M-del-M., and D. Sanán, "Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 2012.
de la Cámara, P., R. Castro, M-del-M. Gallardo, and P. Merino, "Verification support for arinc-653-based avionics software (to appear)", Software Testing Verification & Reliability, UK, Wiley & Sons, mar, 2010.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Verifying real-time properties of tccp programs", Journal of Universal Computer Science, vol. 12, no. 11: Graz University of Technology, pp. 1551–1573, nov, 2006.
Newspaper Article
Gallardo, M-del-M., L. Lavado, L. Panizo, and L. Titolo, "A constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, no. 1, pp. 1-25, 2017.

Pages



Main menu 2

by Dr. Radut