Francisco Palomo-Lozano

According to our database, Francisco Palomo-Lozano authored at least 22 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Computing performance requirements for web service compositions.

Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez

Comput. Stand. Interfaces, 2023

2021

Virtual Savant as a generic learning approach applied to the basic independent Next Release Problem.

Renzo Massobrio, Sergio Nesmachnow, Francisco Palomo-Lozano, Bernabé Dorronsoro

Appl. Soft Comput., 2021

2019

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

J. Univers. Comput. Sci., 2019

An evolutionary hybrid search heuristic for monitor placement in communication networks.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

J. Heuristics, 2019

Conformance Relations for Fuzzy Automata.

Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano

Proceedings of the Advances in Computational Intelligence, 2019

2018

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Test suite minimization for mutation testing of WS-BPEL compositions.

Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

2017

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184].

Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez

Inf. Softw. Technol., 2017

Assessment of class mutation operators for C++ with the MuCPP mutation system.

Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Antonio García-Domínguez, Juan José Domínguez-Jiménez

Inf. Softw. Technol., 2017

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes.

Yasser El Khamlichi, Abderrahim Tahiri, Anouar Abtoy, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

Algorithms, 2017

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection.

Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

Quality metrics for mutation testing with applications to WS-BPEL compositions.

Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez

Softw. Test. Verification Reliab., 2015

Class mutation operators for C++ object-oriented systems.

Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano

Ann. des Télécommunications, 2015

2014

Exact scalable sensitivity analysis for the next release problem.

Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren, Shin Yoo

ACM Trans. Softw. Eng. Methodol., 2014

Scalability of assessments of wiki-based learning experiences in higher education.

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

Comput. Hum. Behav., 2014

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions.

Antonia Estero-Botaro, Antonio García-Domínguez, Juan José Domínguez-Jiménez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo

Proceedings of the Testing Software and Systems, 2014

2010

A verified Common Lisp implementation of Buchberger's algorithm in ACL2.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina

J. Symb. Comput., 2010

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions.

Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo

Proceedings of the Third International Conference on Software Testing, 2010

2004

Verified Computer Algebra in Acl2. Gröbner Bases Computation.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2001

A Certified Polynomial-Based Decision Procedure for Propositional Logic.

Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001