Biblio

Found 131 results
2006
de la Cámara P, Gallardo M-del-M, Merino P.  2006.  Abstract Matching for Software Model Checking. Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings. :182–200.
Merino P, Gallardo M-del-M, Sanán D.  2006.  C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C. Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on(...) MSVVEIS, 2006, Paphos, Cyprus, May.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of reliability methods for critical software. Journal of Integrated Design and Process Science. 10:55–67.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of Reliability Methods for Critical Software. A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006. 1:53–65.
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Distributed Systems Online. 7
Joseph AD, Díaz A, Merino P, Rivas FJavier, Kulkarni UP, Vadavi JV, Thyagaraju G.S, Joshi SM, Yardi AR.  2006.  Mobile and ubiquitous objects - Communication awareness in mobile devices. IEEE Pervasive Computing. 5:57–59.
Díaz A, Merino P, Rivas FJavier.  2006.  Performance monitoring and analysis of wireless communication protocols for mobile devices. Proceedings of the I International Conference on Ubiquitous Computing, 2006. :103–108.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2006.  PIXL: applying XML standards to support the integration of analysis tools for protocols. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May. :57–66.
2007
Frasnedo MAlpuente, Gallardo M-del-M, Pimentel E, Garcia AVillanueva.  2007.  An Abstract analysis framework for synchronous concurrent languages based on source-to-source transformation. Ernesto Pimentel (Ed.). VII Jornadas de Programación y Lenguajes PROLE 2007, Zaragoza, 12 al 14 de septiembre. :81–102.
[Anonymous].  2007.  Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007. :330.
Martínez J, Merino P, Salmeron A.  2007.  Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria. :185–190.
Gallardo M-del-M, Merino P, Sanán D.  2007.  C.OPEN, a tool for analyzing C code in CADP. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :199–214.
Gallardo M-del-M, Joubert C, Merino P, Sanán D.  2007.  C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings. :268–273.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Evaluating video streaming over GPRS/UMTS networks: a practical case. The 65th IEEE Vehicular Technology Conference. VTC 2007-Spring, 22-25 April 2007, Dublin, Ireland. :624–628.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Experimental analysis of peer-to-peer streaming in cellular networks. 21st International Conference on Advanced Information Networking and Applications. AINA 2007, Niagara Falls, Ontario, Canada, 21-23 May. :784–791.
Gallardo M-del-M, Merino P, Sanán D.  2007.  Extending CADP for analyzing C code. Juan C. Augusto; Joseph Barjis and Ulrich Ultes-Nitsche (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 5th International Workshop on (...). MSVVEIS-2007, Funchal, Madeira, Portugal, June. :104–113.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On the Fly model checking for C programs with extended CADP in FMICS-jETI. 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. :321–329.
[Anonymous].  2007.  Implementing Influence Analysis using Parameterized Boolean Equation Systems. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Ocaña Mdel Carmen, Merino P.  2007.  La madurez de la tecnolog{ía IP. :47–48.
Martínez J, Salmeron A.  2007.  MDA for reliable and high performance communication protocols. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :215–230.
de la Cámara P, Gallardo M-del-M, Merino P.  2007.  Model extraction for ARINC 653 based avionics software. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checkin Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007, Proceedigns. :243–262.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  Monitorización y análisis de servicios de video streaming peer-to-peer sobre redes UMTS. Lidia Fuentes; Javier López y Pedro Merino (Eds.). VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga, del 17 al 19 de Septiembre. :433–440.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On-the-fly API influence analysis of software. Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. :1–4.
Gallardo M-del-M, Merino P, Joubert C.  2007.  On-the-Fly data flow analysis based on verification technology. Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March.
Gallardo M-del-M, Joubert C, Merino P.  2007.  On-the-Fly data flow analysis based on verification technology. Electronic Notes in Theoretical Computer Science. 190:33–48.

Pages