Francisco Palomo-Lozano

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