Biblio

Found 139 results
2009
Gallardo M-del-M, Merino P, Panizo L, Linares A.  2009.  Using SCADE for decision support in Dam management. Daniel Moldt; Juan C. Augusto and Ulrich Ultes-Nitsche (Eds.). Modelling, simulation, verification and validation of enterprise information systems: proceedings of the 7th international Workshop... MSVVEIS 2009. :125–131.
2008
Gallardo M-del-M, Merino P, Sanán D.  2008.  Automatic verification of C programs with dynamic memory allocation. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :247–261.
Díaz A, Merino P, Rivas FJavier.  2008.  Customer-centric measurements on mobile phones. 12th Annual IEEE International Symposium on Consumer Electronics. ISCE 2008. Algarve, Portugal. 14-16 April 2008. :1–4.
Gallardo M-del-M, Merino P, Panizo L.  2008.  Estado del arte de herramientas para la verificación de sistemas h{íbridos. Llanos Tobarra, et al (eds.). Actas de las XVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2008. Albacete, 11 a 13 de Junio. :231–245.
Merino P, Troya JMaría.  2008.  Modelling and Verification of the ITU-T multipoint communication service with SPIN. Proceedings of The 2nd International Workshop on the SPIN Verification System. :60–71.
Merino P, Schoitsch E.  2008.  Safety-critical software. Ercim News. 75:12–13.
Díaz A, Merino P.  2008.  Towards a lightweight middleware for mobile multimedia communications awareness. Proc. of 4th International Mobile Multimedia Communications Conference. MOBIMEDIA’08. Oulu, Finland. 7-9th of July 2008. :1–4.
Merino P, Nebro AJesús, Rubio B, Troya JMaría.  2008.  Un Kernel para comunicaciones y entrada-salida en redes de Transputers. Actas de Tercera Reunión sobre Paralelismo.
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