Jump to Navigation

Biblio

Found 203 results
Author Title [ Type(Asc)] Year
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.
Journal Article
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.
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.
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.
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.
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.
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.
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.
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, "A Tool for abstraction in model checking", Electronic Notes in Theoretical Computer Science, vol. 66, no. 2: Elsevier, pp. 16 pages, dec, 2002.
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.
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., 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., 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.
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.
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.
Merino, P., and E. Schoitsch, "Safety-critical software", Ercim News, vol. 75, Sophia Antipolis Cedex, ERCIM EEIG, pp. 12–13, jul, 2008.
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.
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.
"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.

Pages



Main menu 2

by Dr. Radut