Biblio

Found 147 results
2007
[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.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
[Anonymous].  2007.  Proceedings of the II International Conference on Science and Technology (CD).
[Anonymous].  2007.  Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS’07), Berlin, Germany July 1-2.
Martínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría.  2007.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Díaz A, Merino P, Panizo L, Recio ÁManuel.  2007.  A Survey on mobile peer-to-peer technology. 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. :59–68.
[Anonymous].  2007.  VI Jornadas de Ingenier{ía Telemática. JITEL 2007, Málaga.
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 Pervasive Computing. 5:57–59.
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
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.

Pages