Jump to Navigation

Biblio

Found 203 results
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Salmeron, A., "", Pedro Merino..[et.al.], (eds.). Introducción a la programación en Symbian, Málaga, Editorial Arguval, pp. 67–81, oct, 2010.
3
Díaz, A., C A. García, Á. Manuel Recio, and P. Merino, "3GPP Standards to Deliver LTE Connectivity for IoT", IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016.
A
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "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, Madrid, Spain, pp. 81–102, nov, 2007.
de la Cámara, P., M-del-M. Gallardo, and P. Merino, "Abstract Matching for Software Model Checking", Antti Valmari (Ed.). Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings, Berlin, Springer, pp. 182–200, oct, 2006.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstract model checking and refinement of temporal logic in Spin", Johan Lilius, Felice Balarin, y Ricardo J. Machado (Eds.). Proceedings of Third International Conference on Application of Concurrency to System Design. ACSD 2003, 18-20 June 2003, Gamaraes, Portugal, Los Alamitos, California, IEEE Computer Society, pp. 245–246, oct, 2003.
Frasnedo, M. Alpuente, M-del-M. Gallardo, E. Pimentel, and A. Villanueva Garcia, "Abstract model checking of TCCP programs", Electronic Notes in Theoretical Computer Science, vol. 112: Elsevier, pp. 19–36, dec, 2005.
Gallardo, M-del-M., P. Merino, and E. Pimentel, "Abstract satisfiability of linear temporal logic", Fernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre: Universidad de Castilla-La Mancha, pp. 163–178, oct, 2001.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Abstracting UML behaviour diagrams for verification", Hongji Yang (Ed.).Software evolution with UML and XML, Leicester, Inglaterra, Idea Group Publishing, pp. 296–320, oct, 2005.
Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007, , Málaga, España, Universidad de Málaga, pp. 330, jun, 2007.
Actas IV Jornadas sobre Programación y Lenguajes. PROLE 2004, Málaga 11 al 12 de noviembre de 2004, , jul, 2004.
López, L.., J. Martínez, and P. Merino, "Advanced public transport ticketing with Smartcards", Proc. of Youth Forum in Computer Science and Engineering (YUFORIC'01), Valencia, Spain: Universidad Politécnica de Valencia, pp. 41–46, oct, 2001.
Gallardo, M-del-M., Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta, : Universida de Málaga, jun, 1997.
Díaz, A., P. Merino, and F J. Rivas, "Análisis de Symbian OS para desarrollar aplicaciones distribuidas sobre terminales GPRS", Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2005. En el Congreso Español de Informática. Granada, Spain, pp. 259–269, oct, 2005.
Merino, P., and A. Salmeron, "Analysis and optimization of video download on mobile devices", XX Jornadas de Telecom I+D. Valladolid 27, 28 y 29 septiembre 2010 (CD-ROM), dec, 2010.
Panizo, L., and M-del-M. Gallardo, "Analyzing hybrid systems with JPF", María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012: Universidad de Almería, pp. 235–249, sep, 2012.
Espada, A. Rosario, and M-del-M. Gallardo, "Analyzing the Correctness of Smartphones Applications using Formal Methods (Doctoral Consortium)", Proceedings of the I DC2014, 2014.
Martínez, J., L.. López, and P. Merino, "Application-Oriented Middleware for E-Commerce", Middleware for Communications: Wiley & Sons, pp. 393–412, oct, 2004.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "Applying data abstraction to XML formal designs", Walter Dosch, Roger Y. Lee (Eds.): Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany. ACIS 2003, pp. 315–321, oct, 2003.
Martínez, J., P. Merino, and A. Salmeron, "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: IEEE Computer Society, pp. 185–190, feb, 2007.
Gallardo, M-del-M., and L. Panizo, "An approach to verify hybrid systems with SPIN", Victor M. Gulías; Josep Silva y Alicia Villanueva (eds.). Actas de las Jornadas sobre Programación y Lenguajes. PROLE 2010 (Sistedes). Valencia, septiembre del 8 al 10 de 2010, Madrid, Gaceta grupo editorial, oct, 2010.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSpin: a tool for abstract model checking", Software Tools for Technology Transfer, vol. 5, no. 2-3: Springer, pp. 165–184, oct, 2004.
Gallardo, M-del-M., J. Martínez, P. Merino, and E. Pimentel, "aSPIN: extending Spin with abstraction", D. Bonaki, S Leue (Eds.): .Model Checking Software: 9th International SPIN Workshop, Genoble, France, April 11-13, 2002. Proceedings, Berlin, Springer, pp. 254–258, oct, 2002.
Gallardo, M-del-M., J. Martínez, E. Pimentel, and P. Merino, "aSPIN: implementing model checking with data abstraction", Concurrencia y sistemas distribuidos : actas de las XI Jornadas de Concurrencia: Universitat Jaume I, pp. 193–206, oct, 2003.
Gallardo, M-del-M., P. Merino, and J. María Troya, "Automatic abstraction to improve model checking", Actas de IX Jornadas de Concurrencia. Sitges, España, pp. 79–100, oct, 2001.
Gallardo, M-del-M., P. Merino, and D. Sanán, "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, pp. 247–261, jun, 2008.

Pages

Modify or remove your filters and try again.


Main menu 2

by Dr. Radut