Francisco Palomo-Lozano

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 13

Top Topics

Web Service Compositions

Communication Networks

Mutation Operator

Top Venues

GECCO (Companion)

Inf. Softw. Technol.

Publications

Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez
Computing performance requirements for web service compositions. Comput. Stand. Interfaces 83 (2023)
Renzo Massobrio, Sergio Nesmachnow, Francisco Palomo-Lozano, Bernabé Dorronsoro
Virtual Savant as a generic learning approach applied to the basic independent Next Release Problem. Appl. Soft Comput. 108 (2021)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures. J. Univers. Comput. Sci. 25 (7) (2019)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
An evolutionary hybrid search heuristic for monitor placement in communication networks. J. Heuristics 25 (6) (2019)
Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano
Conformance Relations for Fuzzy Automata. IWANN (1) (2019)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. NOMS (2018)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. GECCO (Companion) (2018)
Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO (2018)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez
Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. Inf. Softw. Technol. 87 (2017)
Yasser El Khamlichi, Abderrahim Tahiri, Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. Algorithms 10 (3) (2017)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez
Assessment of class mutation operators for C++ with the MuCPP mutation system. Inf. Softw. Technol. 81 (2017)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. GECCO (2017)
Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano
Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. GECCO (Companion) (2016)
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez
Quality metrics for mutation testing with applications to WS-BPEL compositions. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano
Class mutation operators for C++ object-oriented systems. Ann. des Télécommunications 70 (3-4) (2015)
Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. ICTSS (2014)
Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo
Exact scalable sensitivity analysis for the next release problem. ACM Trans. Softw. Eng. Methodol. 23 (2) (2014)
Manuel Palomo-Duarte, Juan Manuel Dodero, Antonio García-Domínguez, Pablo Neira Ayuso, Noelia Sales-Montes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Carmen Castro-Cabrera, Emilio J. Rodríguez-Posada, Antonio Balderas
Scalability of assessments of wiki-based learning experiences in higher education. Comput. Hum. Behav. 31 (2014)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina
A verified Common Lisp implementation of Buchberger's algorithm in ACL2. J. Symb. Comput. 45 (1) (2010)
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ICST Workshops (2010)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC (2004)
Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez
A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs (2001)