Photograph

Francisco Palomo-Lozano

Professor (TEU)

Department of Computer Science and Engineering

Escuela Superior de Ingeniería - University of Cádiz

UCASE Software Engineering Research Group

Address: C/ Chile, n.º 1, Cádiz, 11002, SPAIN.

E-mail:

Phones: (+34) 956 015707 | (internal) 45707

FAX: (+34) 956 015139

Find me in DBLP.

Research interests

  • Software Verification
  • Software Testing
  • Computer Science Education

Member of the AAR since 2001.

Publications

Software Verification

  • I. Medina-Bulo, F. Palomo-Lozano, and J. L. Ruiz-Reina, "Automated Verification of Buchberger's Algorithm," Journal of Symbolic Computation, London (United Kingdom), 2010: 45, pp. 96-123.
  • A. García-Domínguez, F. Palomo-Lozano, and I. Medina-Bulo, “Hypertext Navigation of ACL2 proofs with XMLEye,” Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2009), Boston, Massachusetts (USA), 2009: ACM Digital Library, pp. 47-56.
  • I. Medina-Bulo, F. Palomo-Lozano, J. A. Alonso-Jiménez, and J. L. Ruiz-Reina, "Verified Computer Algebra in ACL2 (Gröbner Bases Computation)," Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2004), Linz (Austria), 2004: LNAI 3249, pp. 171-184.
  • I. Medina-Bulo, F. Palomo-Lozano, and J. A. Alonso-Jiménez, "Implementation in ACL2 of Well-founded Polynomial Orderings," ACL2 Workshop 2002. The European Joint Conferences on Theory and Practice of Software (ETAPS), Grenoble (Francia), 2002: pp. 66-77.
  • I. Medina Bulo, J. A. Alonso Jiménez y F. Palomo Lozano, "Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger)," I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial (Conferencia Iberoamericana de Inteligencia artificial), Sevilla (Spain), 2002.
  • I. Medina-Bulo, F. Palomo-Lozano, and J. A. Alonso-Jiménez, "A Certified Polynomial-based Decision Procedure for Propositional Logic," Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOL 2001), Edinburgh (Scotland), 2001: LNCS 2152, pp. 297-312.
  • F. Palomo-Lozano, I. Medina-Bulo, and J. A. Alonso-Jiménez, "Certification of Matrix Multiplication Algorithms. Strassen's Algorithm in ACL2," Supplemental Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh (Scotland), 2001: Informatics Research Report EDI-INF-RR-0046, pp. 283-298. Division of Informatics. University of Edinburgh.
  • I. Medina-Bulo, F. Palomo-Lozano, and J. A. Alonso-Jiménez, "A Certified Algorithm for Translating Formulas into Polynomials. An ACL2 Approach," (poster) International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX), Siena (Italy), 2001.
  • F. Palomo-Lozano, J. A. Alonso-Jiménez, and I. Medina-Bulo, "Reasoning about Matrix Arithmetic in ACL2," Workshop AOC: Arithmétique des Ordinateurs Certifiée, Ecole Normale Supérieure de Lyon (France), 2000.
  • I. Medina-Bulo, J. A. Alonso-Jiménez, and F. Palomo-Lozano, "Automatic Verification of Polynomial Rings Fundamental Properties in ACL2," ACL2 Workshop 2000 Proceedings, Part A Austin, Texas (USA), 2000: Technical Report TR-00-29, pp. 136-155. Department of Computer Sciences. University of Texas.

Software Testing

  • A. Estero-Botaro, F. Palomo-Lozano, and I. Medina-Bulo, “Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions,” Proceedings of the 5th International Workshop on Mutation Analysis (Mutation 2010), Paris (France), 2010.
  • A. Estero-Botaro, F. Palomo-Lozano, and I. Medina Bulo, “Mutation Operators for WS-BPEL 2.0,” Proceedings of 21st edition of the International Conference on Software & Systems Engineering and their Applications (ICSSEA 2008), Paris (France), 2008.
  • A. Estero Botaro, F. Palomo Lozano e I. Medina Bulo, "Operadores de mutación para WS-BPEL 2.0,” Actas de Talleres de Ingeniería del Software y Bases de Datos" (PRIS08). XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón (Spain), 2008.

Computer Science Education

  • M. Palomo Duarte, I. Medina Bulo, E. J. Rodríguez Posada y F. Palomo Lozano, “Wikis en docencia: una experiencia con WikiHaskell y StatMediaWiki,” Actas del VII Simposio Pluridisciplinar sobre Diseño y Evaluación de Contenidos Digitales Educativos (SPDECE 2010), Cádiz (Spain), 2010.
  • F. Palomo Lozano, I. Medina Bulo y M. Palomo Duarte, "Motivación y optatividad: un ejemplo real,” Actas del XVIII Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas (CUIEET 2010), Santander (Spain), 2010.
  • M. Palomo Duarte, F. Palomo Lozano y I. Medina Bulo, "Empleo de plataformas de aprendizaje electrónico para el fomento de la participación activa del alumno,” Actas de las I Jornadas de Innovación Educativa de la Escuela Politécnica Superior de Zamora, Zamora (Spain), 2006.
  • F. Palomo Lozano e I. Medina Bulo, “Análisis y diseño de algoritmos. Organización curricular para un primer contacto con la disciplina,” Actas del I Simposio Nacional de Docencia en la Informática. Editorial Thomson, Granada (Spain), 2005.
  • F. Palomo Lozano e I. Medina Bulo, “Una propuesta para una primera asignatura de algoritmia,” Actas de las X Jornadas de Enseñanza Universitaria de la Informática (JENUI-04). Editorial Thomson, Alicante (Spain), 2004.
  • F. Palomo Lozano e I. Medina Bulo, “Análisis híbrido: una propuesta práctica,” Actas de las IX Jornadas de Enseñanza Universitaria de la Informática (JENUI-03). Editorial Thomson, Cádiz (Spain), 2003.