Francisco Palomo-Lozano
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c9]Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Núñez:
Test suite minimization for mutation testing of WS-BPEL compositions. GECCO 2018: 1427-1434 - [c8]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: 1672-1679 - [c7]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: 1-4 - 2017
- [j8]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): 80 (2017) - [j7]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. Information & Software Technology 81: 169-184 (2017) - [j6]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]. Information & Software Technology 87: 103 (2017) - [c6]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: 1200-1207 - 2016
- [c5]Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano:
Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. GECCO (Companion) 2016: 95-96 - 2015
- [j5]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. Annales des Télécommunications 70(3-4): 137-148 (2015) - [j4]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., Verif. Reliab. 25(5-7): 536-571 (2015) - 2014
- [j3]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. Computers in Human Behavior 31: 638-650 (2014) - [j2]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): 19:1-19:31 (2014) - [c4]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: 1-16 - 2010
- [j1]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): 96-123 (2010) - [c3]Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo:
Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. ICST Workshops 2010: 142-150
2000 – 2009
- 2004
- [c2]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: 171-184 - 2001
- [c1]Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez:
A Certified Polynomial-Based Decision Procedure for Propositional Logic. TPHOLs 2001: 297-312
Coauthor Index
last updated on 2019-01-11 22:17 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint