"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, vol. 1, USA, Society for design and process science (SDPS), pp. 53–65, jan, 2006.
"Comparing abstract semantics for model checking", Juan José Moreno y Manuel Palomar (Eds.). Actas de las III Jornadas de Programación y Lenguajes (PROLE'03), Alicante del 12 al 14 de Noviembre de 2003: Universidad de Alicante, pp. 167–182, oct, 2003.
"Integrating river basin DSSs with model checking", International Journal on Software Tools for Technology Transfer: Springer Berlin Heidelberg, pp. 1–16, 10/2017.
"Verification of dynamic data tree with mu-calculus extended with separation", Proceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy, Los Alamitos, CA, IEEE Computer Society, pp. 211–221, nov, 2010.
"On-the-Fly data flow analysis based on verification technology", Electronic Notes in Theoretical Computer Science, vol. 190, no. 4: Elsevier, pp. 33–48, dec, 2007.
"Comparing under and over-approximations of LTL properties for Model Checking", Electronic Notes in Theoretical Computer Science, vol. 76: Elservier, pp. 14 pages, feb, 2002.
"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, Málaga, SPICUM; Serv. de Publicaciones, pp. 1–4, nov, 2007.
"A Framework for Automatic Construction of Abstract Promela Models", Dennis Dams...(ed.).Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 1999, Toulouse, France, September 1999. Proceedings, Berlin, Springer, pp. 184–199, oct, 1999.
"A constraint-based language for modelling intelligent environments", Journal of Reliable Intelligent Environments, no. 1, pp. 1-25, 2017.
"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.
"A practical use of model checking for synthesis: generating a dam controller for flood management", Software Practice & Experience, vol. 41, no. 11: John Wiley, pp. 1329–1347, jan, 2011.
"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.
"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, Portugal, INSTICC Press, pp. 57–66, nov, 2006.
"Extending PROMELA and SPIN for hybrid system analysis80", Proceedings of the 10th international workshop on automated verification of critical systems and the rodin user and developer workshop. AVoCS'10. Düsseldorf, Germany. September 20-23, 2010, pp. 118–119, oct, 2010.
"Traducción de SDL a un lenguaje lógico concurrente", Proc. Jornadas Técnicas Proyecto TEMA/PLANBA, oct, 1994.
"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, Los Alamitos, California, IEEE Computer Society, pp. 321–329, nov, 2007.
"Verification of complex dynamic data tree with mu-calculus", Automated Software Engineering, pp. online first, oct, 2012.
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.
"Relating abstract interpretation with logic program verification", Proc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14, oct, 1997.
"Developing a decision support tool for dam management with SPIN", María Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, Berlin, Springer, pp. 210–212, nov, 2009.
"River basin management with SPIN (abstract)", XVI Jornadas de Programación y Lenguajes, PROLE 2016, Salamanca, Spain, Villanueva, M. (Ed.), 09/2016.
"A Tool for abstraction in model checking", Rance Cleaveland, Hubert Garavel (Eds.). 7th Workshop on Formal Methods for Industrial Critical Systems (FMICS'02). University of Malaga, Spain, July 12-13, USA, European Research Consortiun for Informatics and Mahtematics, ERCIM, pp. 19–34, oct, 2002.
"Enabling low latency services in standard LTE networks", IEEE 1st International Workshops on Foundations and Applications of Self-* Systems, 2016.
"Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack", Conference: Networks and Communications (EuCNC), 2016 European Conference on, 2016.
"Extensive and repeatable experimentation in mobile communications with programmable instruments", 13th International Conference on Remote Engineering and Virtual Instrumentation (REV 2016), 2016.