@inproceedings{Cotta2022ResilientBA,

title = {Resilient Bioinspired Algorithms: A Computer System Design Perspective},

author = {Carlos Cotta and Gustavo Olague},

year  = {2022},

date = {2022-01-01},

booktitle = {EvoApplications},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hurtado2022ASF,

title = {A Service for Flexible Management and Analysis of Heterogeneous Clinical Data},

author = {Sandro Hurtado and José García-Nieto and Ismael Navas Delgado},

year  = {2022},

date = {2022-01-01},

booktitle = {IWBBIO},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hurtado2022OnTU,

title = {On the Use of Explainable Artificial Intelligence for the Differential Diagnosis of Pigmented Skin Lesions},

author = {Sandro Hurtado and Hossein Nematzadeh and José García-Nieto and Miguel Ángel Berciano Guerrero and Ismael Navas Delgado},

year  = {2022},

date = {2022-01-01},

booktitle = {IWBBIO},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Rojo2022SocialEA,

title = {Social Events Analyzer (SEA): A Toolkit for Mining Social Workflows by Means of Federated Process Mining},

author = {Javier Rojo and José Manuel García-Alonso and Javier Berrocal and Juan Hernández and Juan Manuel Murillo and Carlos Canal},

year  = {2022},

date = {2022-01-01},

booktitle = {ICWE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-030-72699-7_15,

title = {Desirable Objective Ranges in Preference-Based Evolutionary Multiobjective Optimization},

author = {Sandra González-Gallardo and Rubén Saborido and Ana B. Ruiz and Mariano Luque},

editor = {Pedro A. Castillo and Juan Luis Jiménez Laredo},

isbn = {978-3-030-72699-7},

year  = {2021},

date = {2021-01-01},

booktitle = {Äpplications of Evolutionary Computation"},

pages = {227--241},

publisher = {Springer International Publishing},

address = {Cham},

abstract = {In this paper, we propose a preference-based Evolutionary Multiobjective Optimization algorithm, at which the preferences are given in the form of desirable ranges for the objective functions, i.e. by means of aspiration and reservation levels. The aspiration levels are values to be achieved by the objectives, while the reservation levels are objective values not to be worsen. In the algorithm proposed, the first generations are performed using a set of weight vectors to initially converge to the region of the Pareto optimal front associated with the point formed with the reservation levels. At a certain moment, these weights are updated using the nondominated solutions generated so far, to re-direct the search towards the region which contains the Pareto optimal solutions with objective values among the desirable ranges. To this aim, the remaining number of generations are run using the updated weight vectors and the point formed with the aspiration levels. The computational experiment show the potential of our proposal in 2, 3 and 5-objective problems, in comparison to other state-of-the-art algorithms.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{procedd,

title = {Citizen centric optimal electric vehicle charging stations locations in a full city: case of Malaga},

author = {Christian Cintrano and Jamal Toutouh and Enrique Alba},

year  = {2021},

date = {2021-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1145/3461001.3473064,

title = {ProDSPL: Proactive Self-Adaptation Based on Dynamic Software Product Lines},

author = {Inmaculada Ayala and Alessandro V. Papadopoulos and Mercedes Amor and Lidia Fuentes},

url = {https://doi.org/10.1145/3461001.3473064},

doi = {10.1145/3461001.3473064},

isbn = {9781450384698},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A},

pages = {81},

publisher = {Association for Computing Machinery},

address = {Leicester, United Kingdom},

series = {SPLC '21},

abstract = {This is an extended abstract of the article: Inmaculada Ayala, Alessandro V. Papadopoulos, Mercedes Amor, Lidia Fuentes, ProDSPL: Proactive self-adaptation based on Dynamic Software Product Lines, Journal of Systems and Software, Volume 175, 2021, 110909, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2021.110909.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Laso2021ServiceOC,

title = {Service Oriented Computing for Humans as Service Providers},

author = {Sergio Laso and Javier Berrocal and José Manuel García-Alonso and Carlos Canal and Juan Manuel Murillo},

year  = {2021},

date = {2021-01-01},

booktitle = {Next-Gen Digital Services},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Nebro2021EvolvingAM,

title = {Evolving a Multi-objective Optimization Framework},

author = {Antonio J. Nebro and Javier Pérez-Abad and José F. Aldana-Martín and José García-Nieto},

year  = {2021},

date = {2021-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsc,

title = {Extensible and modular abstract syntax for feature modeling based on language constructs},

author = {Jose-Miguel Horcas and Monica Pinto and Lidia Fuentes},

doi = {10.1145/3382025.3414959},

year  = {2020},

date = {2020-01-01},

pages = {1-7},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsd,

title = {INNOVATION IN TEACHING FOR TRAINING IN CLINICAL REASONING FOR STUDENTS OF SPEECH THERAPY DEGREE},

author = {Marina Calleja and María Luque and Jose Rodríguez-Santos and Javier Ferrer and Jose Leon-Carrion},

doi = {10.21125/edulearn.2020.1221},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingse,

title = {FogPi: A Portable Fog Infrastructure through Raspberry Pis},

author = {Cristian Martín and Daniel Torres Ruiz and Manuel Díaz and Bartolome Rubio},

doi = {10.1109/MECO49872.2020.9134320},

year  = {2020},

date = {2020-01-01},

pages = {1-3},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{unknown,

title = {Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering},

author = {Jose-Miguel Horcas and Alejandro Cortiñas and Lidia Fuentes and Miguel Luaces},

year  = {2020},

date = {2020-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2019-bc,

title = {Is GÈANT Testbeds Service compliant with ETSI MANO?},

author = {Barbara Valera-Muros and Pedro Merino-Gómez},

year  = {2019},

date = {2019-09-01},

booktitle = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019},

pages = {117--131},

publisher = {Universidad de Zaragoza},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2019-bd,

title = {Modelling Software-Defined Networks with Alloy},

author = {María-Del-Mar Gallardo and Laura Panizo},

year  = {2019},

date = {2019-09-01},

booktitle = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019},

pages = {68--84},

publisher = {Universidad de Zaragoza},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2019-2733,

title = {Optimizing the deployment of virtual network functions in 5G networks with Model Based Testing},

author = {Francisco Luque and Laura Panizo and María-Del-Mar Gallardo and Pedro Merino-Gomez},

year  = {2019},

date = {2019-09-01},

booktitle = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019},

pages = {51--64},

publisher = {Universidad de Zaragoza},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsf,

title = {A cane-based low cost sensor to implement attention mechanisms in telecare robots},

author = {Joaquin Ballesteros and Alberto Tudela and Juan Caro-Romero and Cristina Urdiales},

doi = {10.1109/ICRA.2019.8794283},

year  = {2019},

date = {2019-01-01},

pages = {1473-1478},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsg,

title = {From the Edge to the Cloud: Enabling Reliable IoT Applications},

author = {Cristian Martín and Daniel Garrido and Manuel Díaz and Bartolome Rubio},

doi = {10.1109/FiCloud.2019.00011},

year  = {2019},

date = {2019-01-01},

pages = {17-22},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsh,

title = {Automatic configuration of NSGA-II with jMetal and irace},

author = {Antonio Nebro and Manuel López-Ibáñez and Cristóbal Barba-González and José García-Nieto},

doi = {10.1145/3319619.3326832},

isbn = {978-1-4503-6748-6},

year  = {2019},

date = {2019-01-01},

pages = {1374-1381},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsi,

title = {Feature Selection of EEG OScillatory Activity Related to Motor Imagery Using a Hierarchical Genetic Algorithm},

author = {Miguel Leon and Joaquin Ballesteros and Jonatan Tidare and N. Xiong and Elaine Astrand},

doi = {10.1109/CEC.2019.8789948},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsj,

title = {GAMIFICATION MODELS AND TOOLS ACCORDING TO PROFILES: AN EXPERIENCE IN ENGINEERING DEGREES},

author = {Cristina Alcaraz and Rodrigo Roman and Elena Abdo-Sánchez and Robert Halir and Alberto Hernádez-Escobar and Jamal Toutouh},

doi = {10.21125/iceri.2019.1838},

year  = {2019},

date = {2019-01-01},

pages = {7740-7747},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsk,

title = {Buenas prácticas aplicadas a la adquisición de competencias diagnósticas clínicas en el ámbito del lenguaje},

author = {Marina Calleja and María Luque and Jose Rodríguez-Santos and Javier Ferrer and Jose Leon-Carrion},

doi = {10.26754/CINAIC.2019.0158},

year  = {2019},

date = {2019-01-01},

pages = {749-752},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2019-2731,

title = {Ultra reliable low latency communications: a state of the art review},

author = {Delia Rico Marchena and Pedro Merino Gomez},

year  = {2019},

date = {2019-01-01},

booktitle = {Actas de las XXVI Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2019. Zaragoza, del 19 al 21 de junio de 2019},

pages = {37--50},

publisher = {Universidad de Zaragoza},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsl,

title = {Phase Shifter for Millimeter-Wave Frequency Range Based on Glide Symmetric Structures},

author = {Ángel Palomares-Caballero and Antonio Alex-Amor and Juan Valenzuela-Valdés and Francisco Luna and P. Padilla},

year  = {2019},

date = {2019-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsm,

title = {Is GÉANT Testbeds Service compliant with ETSI MANO?},

author = {Barbara Valera-Muros and Pedro Merino},

doi = {10.1109/5GWF.2019.8911622},

year  = {2019},

date = {2019-01-01},

pages = {502-507},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsn,

title = {Uniform random sampling product configurations of feature models that have numerical features: [research]},

author = {Daniel Jesus Muñoz Guerra and Jeho Oh and Monica Pinto and Lidia Fuentes and Don Batory},

doi = {10.1145/3336294.3336297},

isbn = {978-1-4503-7138-4},

year  = {2019},

date = {2019-01-01},

pages = {1-13},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingso,

title = {From the Edge to the Cloud: Enabling Reliable IoT Applications},

author = {Cristian Martín and Daniel Garrido and Manuel Díaz and Bartolome Rubio},

doi = {10.1109/FiCloud.2019.00011},

year  = {2019},

date = {2019-01-01},

pages = {17-22},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsp,

title = {Automatic surrogate modelling technique selection based on features of optimization problems},

author = {Bhupinder Saini and Manuel López-Ibáñez and Kaisa Miettinen},

doi = {10.1145/3319619.3326890},

isbn = {978-1-4503-6748-6},

year  = {2019},

date = {2019-01-01},

pages = {1765-1772},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsq,

title = {A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case},

author = {Almudena Díaz Zayas and Delia Rico and Bruno García and Pedro Merino},

doi = {10.1145/3345770.3356742},

isbn = {978-1-4503-6905-3},

year  = {2019},

date = {2019-01-01},

pages = {71-79},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsr,

title = {One Step Towards Dynamically Programmable Things: an Implementation Using Beacons},

author = {David Bandera and Alejandro Pérez-Vereda and Carlos Canal and Ernesto Pimentel},

doi = {10.1109/ISCC47284.2019.8969584},

year  = {2019},

date = {2019-01-01},

pages = {1171-1176},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingss,

title = {Dynamically Programmable Virtual Profiles as a Service},

author = {Alejandro Pérez-Vereda and Juan Murillo and Carlos Canal},

doi = {10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00317},

year  = {2019},

date = {2019-01-01},

pages = {1789-1794},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingst,

title = {Robust Management of Trans-Cloud Applications},

author = {Antonio Brogi and Jose Carrasco and Francisco Durán and Ernesto Pimentel and Jacopo Soldani},

doi = {10.1109/CLOUD.2019.00046},

year  = {2019},

date = {2019-01-01},

pages = {219-223},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsu,

title = {Deep reinforcement learning based parameter control in differential evolution},

author = {Mudita Sharma and Alexandros Komninos and Manuel López-Ibáñez and Dimitar Kazakov},

doi = {10.1145/3321707.3321813},

isbn = {978-1-4503-6111-8},

year  = {2019},

date = {2019-01-01},

pages = {709-717},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsv,

title = {Local optima network analysis for MAX-SAT},

author = {Gabriela Ochoa and Francisco Chicano},

doi = {10.1145/3319619.3326855},

isbn = {978-1-4503-6748-6},

year  = {2019},

date = {2019-01-01},

pages = {1430-1437},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsw,

title = {HADAS: analysing quality attributes of software configurations},

author = {Daniel Jesus Muñoz Guerra and Monica Pinto and Lidia Fuentes},

doi = {10.1145/3307630.3342385},

isbn = {978-1-4503-6668-7},

year  = {2019},

date = {2019-01-01},

pages = {1-4},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsx,

title = {Archiver effects on the performance of state-of-the-art multi- and many-objective evolutionary algorithms},

author = {Leonardo Bezerra and Manuel López-Ibáñez and Thomas Stützle},

doi = {10.1145/3321707.3321789},

isbn = {978-1-4503-6111-8},

year  = {2019},

date = {2019-01-01},

pages = {620-628},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsy,

title = {Automatic configuration of NSGA-II with jMetal and irace},

author = {Antonio Nebro and Manuel López-Ibáñez and Cristóbal Barba-González and José García-Nieto},

doi = {10.1145/3319619.3326832},

isbn = {978-1-4503-6748-6},

year  = {2019},

date = {2019-01-01},

pages = {1374-1381},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsz,

title = {A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case},

author = {Almudena Díaz Zayas and Delia Rico and Bruno García and Pedro Merino},

doi = {10.1145/3345770.3356742},

isbn = {978-1-4503-6905-3},

year  = {2019},

date = {2019-01-01},

pages = {71-79},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedings_27,

title = {Software product line engineering: a practical experience [research]},

author = {Jose-Miguel Horcas and Monica Pinto and Lidia Fuentes},

doi = {10.1145/3336294.3336304},

isbn = {978-1-4503-7138-4},

year  = {2019},

date = {2019-01-01},

pages = {1-13},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{confe,

title = {Modelling And Specifying Software Systems With Alloy (Tutorial)},

author = {María Mar Gallardo Melgarejo and Laura Panizo Jaime},

year  = {2019},

date = {2019-01-01},

booktitle = {XIX Jornadas De Programación Y Lenguajes (Jornada). 02/09/2019 - 04/09/2019. Cáceres, Extemadura},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2019-2735,

title = {Trace analysis using an Event-driven Interval Temporal Logic (Conference Paper)},

author = {María-Del-Mar Gallardo and Laura Panizo},

year  = {2019},

date = {2019-01-01},

booktitle = {Informal pre-proceedings of 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)},

pages = {15},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-bh,

title = {An Event-driven interval temporal logic for hybrid systems (Trabajo en progreso)},

author = {María Mar Gallardo and Laura Panizo},

year  = {2018},

date = {2018-09-01},

booktitle = {Ortega Mallén, Y. (Ed.), Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018). Sevilla, septiembre de 2018.},

publisher = {SISTEDES},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-bi,

title = {An extension of TRIANGLE testbed with model-based testing (trabajo ya publicado)},

author = {Laura Panizo and Almudena Díaz and Bruno García},

year  = {2018},

date = {2018-09-01},

booktitle = {Ortega Mallén, Y. (Ed.), Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018). Sevilla, septiembre de 2018},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-bj,

title = {A pan-European infrastructure for research in mobile networks},

author = {Pedro Merino and Laura Panizo and Almudena Díaz and [et.al]},

year  = {2018},

date = {2018-06-01},

booktitle = {Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018},

pages = {46--55},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2712,

title = {An Event-driven interval temporal logic for hybrid systems (Work in Progress)},

author = {María Mar Gallardo and Laura Panizo},

year  = {2018},

date = {2018-06-01},

booktitle = {Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018},

pages = {85--85},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2715b,

title = {An extension of TRIANGLE testbed with model-based testing},

author = {Laura Panizo and Almudena Díaz and Bruno García},

doi = {https://doi.org/10.1007/978-3-319-94111-0_11},

isbn = {978-3-319-94110-3},

year  = {2018},

date = {2018-06-01},

booktitle = {Model checking Software, 25th International Symposium, SPIN2018, Málaga, Spain, June 20-22, 2018. Proceedings},

pages = {190--195},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2710,

title = {Balancing energy production and consumption in energy efficient neighbourhoods},

author = {Krzysztof Piotrowski and Marcel Geers and Daniel Garrido and Jaime Chen and Juan Jacobo Peralta and Augusto Casaca and Marco E T Gerards},

isbn = {978-1-5386-3669-5},

year  = {2018},

date = {2018-06-01},

booktitle = {Proc. of IEEE International Energy Conference. ENERGYCON 2018. 3rd.7th june 2018, Limassol, Cyprus},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2692,

title = {RPath: a web-app for metabolic pathway exploration (poster talk)},

author = {Antonio Benítez-Hidalgo (...) and Ismael Navas-Delgado and José F Aldana-Montes},

year  = {2018},

date = {2018-03-01},

booktitle = {Metabolic reprogramming as a Target for Cancer and other diseases. TARCADIS 2018. Book of abstracts},

pages = {73--73},

publisher = {Universidad de Málaga},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Hidalgo2018AlgoritmoBP,

title = {Algoritmo bioinspiradores para resolver el problema de alineamiento m'ultiple de secuencias},

author = {Antonio Benítez Hidalgo and Antonio Jes'us Nebro Urbaneja and Ismael Navas Delgado},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{GarcaNieto2018CoordinacinDC,

title = {Coordinación de casos prácticos en asignaturas del área de conocimiento "Gestión de la Información" seg'un modelo curricular de informática de la ACM/IEEE 2013},

author = {José García-Nieto and Ismael Navas Delgado and M. M. Roldán García and Antonio Jes'us Nebro Urbaneja and María Teresa López López and Beatriz Bernárdez Jiménez and José Francisco Ceres Montés},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Urbano2018BINCTSI,

title = {BIN-CT: sistema inteligente para la gestión de la recogida de residuos urbanos},

author = {Francisco J. Urbano and Enrique Alba Torres},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Alamin2018CompeticinCS,

title = {Competición CAEPIA-App: senseUMA},

author = {Jamal Toutouh El Alamin and Enrique Alba Torres},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Pandolfi2018RedesID,

title = {Redes inteligentes de agua: factores y métodos para la predicción del consumo residencial de agua potable},

author = {Daniel Raul Pandolfi and Enrique Alba Torres and Andrea Patricia Magdalena Villagra and Guillermo N. Leguizamón},

year  = {2018},

date = {2018-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2711,

title = {Evaluation of multipath TCP in heterogeneous networks},

author = {Delia Rico and Pedro Merino},

year  = {2018},

date = {2018-01-01},

booktitle = {Actas de las XXV Jornadas de Concurrencia y Sistemas Distribuidos, Toledo, junio 2018},

pages = {1--15},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2691,

title = {Can standards help in developing metabolomics? (comunicación oral)},

author = {Ismael Navas},

year  = {2018},

date = {2018-01-01},

booktitle = {Metabolic reprogramming as a Target for Cancer and other diseases. TARCADIS 2018. Book of abstracts},

pages = {38--38},

publisher = {Universidad de Málaga},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2714,

title = {EuWireless: design of a pan-European mobile network operator for research},

author = {Pedro Merino and Laura Panizo and Almudena Díaz},

year  = {2018},

date = {2018-01-01},

booktitle = {Proc. of European Conference on Networks and Communications, EuCNC2018, Ljubljana, Slovenia},

pages = {392--393},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2722,

title = {Integrated water resources management in a complex reservoir system through a multipurpose DSS tool},

author = {Raquel Gómez-Beas and Eva Contreras-Arribas and Sergio Romero and Óscar Lorente and Antonio Linares-Sáenz and Laura Panizo},

year  = {2018},

date = {2018-01-01},

booktitle = {Proc. of 13th International Conference on Hydroinformatics. HIC2018. EPiC Series in Engineering; vol. 3},

pages = {866--873},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-bg,

title = {Natural evolution tells us how to best make goods delivery: use vans},

author = {Daniel H. Stolfi and Cristian Cintrano and Francisco Chicano and E. Alba},

doi = {10.1145/3205651.3205764},

isbn = {978-1-4503-5764-7},

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference Companion. GECCO 2018, Kyoto, Japan — July 15 - 19, 2018},

pages = {308--309},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2018-2682b,

title = {Towards the performance analysis of elastic systems with e-Motions},

author = {Patricia Araújo Oliveira and Francisco Durán and Ernesto Pimentel},

doi = {https://doi.org/10.1007/978-3-319-74781-1_32},

isbn = {978-3-319-74780-4},

year  = {2018},

date = {2018-01-01},

booktitle = {Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers},

pages = {475--490},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-bk,

title = {A Characterisation of reliability tools for software defined networks},

author = {Leticia Lavado and Laura Panizo and María Mar Gallardo and Pedro Merino},

year  = {2017},

date = {2017-09-01},

booktitle = {Durán, F. (Ed.), Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017). La Laguna (Tenerife)},

publisher = {SISTEDES},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2601,

title = {A Simulation tool for TCCP programs},

author = {María-del-Mar Gallardo and Leticia Lavado and Laura Panizo},

year  = {2017},

date = {2017-09-01},

booktitle = {Durán, F. (Ed.), Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017). La Laguna (Tenerife)},

pages = {1--3},

publisher = {SISTEDES},

abstract = {The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint store. It supports a notion of discrete time that allows all non-blocked agents to proceed with their execution simultaneously. 

In this paper, we present a modular architecture for the simulation of tccp programs. The tool comprises three main components. First, a set of basic abstract instructions able to model the tccp agent behaviour, the memory model needed to manage the active agents and the state of the store during the execution. Second, the agent interpreter that executes the instructions of the current agent iteratively and calculates the new agents to be executed at the next time instant. Finally, the constraint solver components which are the modules that deal with constraints. 

In this paper, we describe the implementation of these components and present an example of a real system modelled in tccp.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2597,

title = {Guided test case generation for mobile apps in the TRIANGLE project: work in progress},

author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},

doi = {10.1145/3092282.3092298},

isbn = {978-1-4503-5077-8},

year  = {2017},

date = {2017-07-01},

booktitle = {Proc. of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software},

pages = {192--195},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2693,

title = {SocICoAP: social interaction with supplementary sensors and actuators through CoAP in Smartphones},

author = {Cristian Martín and Jaime Chen and Manuel Díaz and Ana Reyna and Bartolomé Rubio},

doi = {10.1109/COMPSAC.2017.217},

isbn = {978-1-5386-0367-3},

year  = {2017},

date = {2017-07-01},

booktitle = {Proc. of 2017 IEEE 41st Annual Computer Software and Applications Conference Workshops, 4-8 July 2017, Torino, Italy},

volume = {v.2},

pages = {672--677},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2595b,

title = {Predicting Car Park Occupancy Rates in Smart Cities},

author = {Daniel Stolfi and Enrique Alba and Xin Yao},

doi = {10.1007/978-3-319-59513-9_11},

isbn = {978-3-319-59512-2},

year  = {2017},

date = {2017-06-01},

booktitle = {Alba E., Chicano F., Luque G. (eds) Smart Cities. Smart-CT 2017},

pages = {107--117},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

abstract = {In this article we address the study of parking occupancy data published by the Birmingham city council with the aim of testing several prediction strategies (polynomial fitting, Fourier series, k-means clustering, and time series) and analyzing their results. We have used cross validation to train the predictors and then tested them on unseen occupancy data. Additionally, we present a web page prototype to visualize the current and historical parking data on a map, allowing users to consult the occupancy rate forecast to satisfy their parking needs up to one day in advance. We think that the combination of accurate intelligent techniques plus final user services for citizens is the direction to follow for knowledge-based real smart cities.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2681,

title = {Component-wise application migration in bidimensional cross-cloud environments},

author = {José Carrasco and Francisco Durán and Ernesto Pimentel},

doi = {10.5220/0006372302870},

isbn = {978-989-758-243-1},

year  = {2017},

date = {2017-02-01},

booktitle = {Donald Ferguson, Víctor Méndez Muñoz, Jorge S. Cardoso, Markus Helfert, Claus Pahl: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017},

pages = {259--169},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2017-2690,

title = {An empirical study of power consumption of web-based communications in mobile phones},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes and Daniel Muñoz},

doi = {10.1109/DASC-PICom-DataCom-CyberSciTec.2017.144},

isbn = {978-1-5386-1956-8},

year  = {2017},

date = {2017-01-01},

booktitle = {Proc. of 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress},

pages = {861--866},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2593b,

title = {SeaClouds: an open reference architecture for multi-cloud governance},

author = {Antonio Brogi and Jose Carrasco and Javier Cubo and F D´Andria and Di E Nitto and Michele Guerriero and D Pérez and Ernesto Pimentel and Jacopo Soldani},

doi = {10.1007/978-3-319-48992-6_25},

isbn = {978-3-319-48881-9},

year  = {2016},

date = {2016-12-01},

booktitle = {Bedir Tekinerdogan; Uwe Zdun and Ali Babar (Eds.). Software architecture: 10th European conference, ECSA 2016, Copenhagen, Denmark, november 28-december 2, 2016. Proceedings},

pages = {334--338},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2590,

title = {A hierarchical architecture for an energy management system},

author = {Krzysztof Piotrowski and Augusto Casaca and Marco E T Gerards and Marijn Jongerden and Francisco Melo and Daniel Garrido and Marcel Geers and Jacobo Peralta},

year  = {2016},

date = {2016-11-01},

booktitle = {[Proc. of the 10th Mediterranean Conference on Power Generation, Transmission, Distribution and Energy Conversion 6-9 November 2016 Belgrade, Serbia. Med Power 2016},

pages = {1--8},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2588,

title = {Smart flood management DSS},

author = {Manuel Díaz and María Mar Gallardo and Pedro Merino and Laura Panizo and Sergio Romero and Enrique Soler},

year  = {2016},

date = {2016-10-01},

booktitle = {[Proc. of International Conference and Exhibition, Achievements, opportunities and challenges. HYDRO 2016. Montreux, Switzerland, 10-12 october 2016]},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2589,

title = {A simulation tool for tccp programs},

author = {María Mar Gallardo and Leticia Lavado and Laura Panizo},

year  = {2016},

date = {2016-09-01},

booktitle = {[Proc. of 24th International Workshop on Functional and (Constraint) Logic Programming (wflp 2016), september 13-14, 2016]},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-bs,

title = {Using models at runtime to adapt self-managed agents for the IoT},

author = {Inmaculada Ayala and José Miguel Horcas and Mercedes Amor and Lidia Fuentes},

doi = {10.1007/978-3-319-45889-2_12},

isbn = {978-3-319-45889-2},

year  = {2016},

date = {2016-09-01},

booktitle = {Matthias Klusch, [et al.] (eds.). Multiagent system technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, september 27-30, 2016. Proceedings},

pages = {155--173},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

abstract = {One of the most important challenges of this decade is the Internet of Things (IoT) that pursues the integration of real-world objects in the virtual world of the Internet. One property that characterises IoT systems is that they have to react to variable and continuous changes. This means that IoT systems need to work as self-managed systems to effectively manage context changes. The autonomy property inherent to software agents makes them a suitable choice for developing self-managed IoT systems. By embedding agents in the devices that compose the IoT is possible to realize a decentralized system with self-management capacities. However, in this scenario new problems arise. Firstly, current agent development approaches lack mechanisms to deal with the heterogeneity present in the IoT domain. Secondly, agents must simultaneously deal with potentially conflicting changes in their behaviour, concerning self-management and application goals. In order to afford these challenges we propose to use an approach based on Dynamic Software Product Lines (D-SPL) and preference-based reasoning. The D-SPL provides to the preference-based reasoning of the agent with the necessary information to adapt its behaviour at runtime making a trade-off between the self-management of the system and the accomplishment of its application goals. 

Keywords 

Software Product Lines Dynamic Software Product Lines Goal-oriented Internet of Things Preference-based reasoning},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2584,

title = {Competición CAEPIA-APP: DOWNTOWN-APP},

author = {Inmaculada Ayala and Lorenzo Mandow and Mercedes Amor and Lidia Fuentes},

isbn = {978-84-9012-632-5},

year  = {2016},

date = {2016-09-01},

booktitle = {Oscar Luaces,...[et. al](eds.). Actas de la XVII Conferencia de la Asociación Española para la Inteligencia Artificial},

pages = {981--982},

publisher = {Ediciones Universidad},

address = {Salamanca},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2586,

title = {River basin management with SPIN (resumen)},

author = {María Mar Gallardo and Pedro Merino and Laura Panizo and Alberto Salmerón},

year  = {2016},

date = {2016-09-01},

booktitle = {Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, septiembre de 2016.},

publisher = {Sistedes},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2598,

title = {An end-to-end testing ecosystem for 5G},

author = {Andrea F Cattoni and German Corrales and Michael Dieudonne and Pedro Merino and Almudena Díaz-Zayas and Alberto Salmerón and Frederik Carlier and Bart Saint Germain and Donald Morris and Ricardo Figueiredo and Jeanne Caffrey and Janie Baños and Carlos Cardenas and Alastair Moore and Niall Roche},

doi = {10.1109/EuCNC.2016.7561053},

isbn = {978-1-5090-2893-1},

year  = {2016},

date = {2016-07-01},

booktitle = {European Conference on Networks and Communications, EuCNC 2016, Athens, Greece, June 27-30, 2016},

pages = {307--312},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2578,

title = {A formal approach to automatic analysis of extra-functional properties in mobile apps},

author = {Ana-Rosario Espada and María-del-Mar Gallardo and Alberto Salmerón and Pedro Merino},

isbn = {978-84-16478-90-3},

year  = {2016},

date = {2016-06-01},

booktitle = {Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016},

pages = {225--239},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-bw,

title = {Conferencia invitada: A testbed for research and experimentation on protocols, applications and devices for 5G networks},

author = {Pedro Merino},

isbn = {978-84-16478-90-3},

year  = {2016},

date = {2016-06-01},

booktitle = {Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016},

pages = {1--1},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2579,

title = {Implementing a Hy-tccp interpreter for simulation},

author = {María-del-Mar Gallardo and Leticia Lavado and Laura Panizo},

isbn = {978-84-16478-90-3},

year  = {2016},

date = {2016-06-01},

booktitle = {Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016},

pages = {173--186},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2580,

title = {LTE para IoT},

author = {Almudena Díaz-Zayas and Javier F Rivas-Tocado and Pedro Merino},

isbn = {978-84-16478-90-3},

year  = {2016},

date = {2016-06-01},

booktitle = {Miguel J. Hornos Barranco, (ed.). Actas de las XXIV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2016), Granada, 15-17 de junio de 2016},

pages = {53--59},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-bt,

title = {CTPATH: a real world system to enable green tranportation by optimizing environmentlay friendly routing paths},

author = {Cristian Cintrano and Daniel H. Stolfi and Jamal Toutouh and Francisco Chicano and Enrique Alba},

doi = {10.1007/978-3-319-39595-1_7},

isbn = {978-3-319-39594-4},

year  = {2016},

date = {2016-06-01},

booktitle = {Enrique Alba, Francisco Chicano, Gabriel Luque,(eds.).Smart Cities: First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Proceedings},

pages = {63--75},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2641b,

title = {Mixed integer linear programming formulation for the taxi sharing problem},

author = {Houssem E Ben-Smida and Saoussen Krichen and Francisco Chicano and Enrique Alba},

doi = {https://doi.org/10.1007/978-3-319-39595-1_11},

isbn = {978-3-319-39594-4},

year  = {2016},

date = {2016-06-01},

booktitle = {En Enrique Alba, Francisco Chicano, Gabriel Luque,(eds.).Smart Cities: First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Proceedings},

pages = {106--117},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2649b,

title = {Stability-Based adaptation of asynchronously communicating software},

author = {C Canal and G Salaün},

doi = {https://doi.org/10.1007/978-3-319-41591-8_22},

isbn = {978-3-319-41590-1},

year  = {2016},

date = {2016-06-01},

booktitle = {De Nicola R., Kühn E. (eds) Software Engineering and Formal Methods. SEFM 2016},

pages = {321--336},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2574,

title = {Adaptive application management over multiple clouds},

author = {M Barrientos and A Brogi and M Buccarella and J Carrasco and J Cubo and Francesco DÁndria and Di E Nitto and A Nieto and M Oriol and D Pérez and E Pimentel and S Zenzaro},

doi = {10.1007/978-3-319-33313-7},

isbn = {978-3-319-33312-0},

year  = {2016},

date = {2016-05-01},

booktitle = {Antonio Celesti; Philipp Leitner (Eds). Advances in Service-Oriented and Cloud Computing: Workshop of ESOCC 2015},

pages = {422--424},

publisher = {Springer},

address = {Switzerland},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2648b,

title = {Situational-Context: a unified view of everything involved at a particular situation},

author = {Javier Berrocal and Jose García and Jose Carlos Canal and Juan M Murillo},

doi = {https://link.springer.com/chapter/10.1007/978-3-319-38791-8_34},

isbn = {978-3-319-38790-1},

year  = {2016},

date = {2016-05-01},

booktitle = {Alessandro Bozzon; Philippe Cudre-Maroux; Cesare Pautasso, eds. Web Engineering: 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings},

pages = {476--483},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2680,

title = {Bidimensional cross-cloud management with TOSCA and Brooklyn},

author = {José Carrasco and Javier Cubo and Francisco Durán and Ernesto Pimentel},

doi = {10.1109/CLOUD.2016.0143},

isbn = {978-1-5090-2619-7},

year  = {2016},

date = {2016-02-01},

booktitle = {Ian Foster; Nimish Radia, eds.: 2016 IEEE 9th International Conference on Cloud Computing. CLOUD 2016, 27 june- 2 july 2016, San Francisco , California. Proceedings},

pages = {951--955},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2684,

title = {Deployment over heterogeneous Clouds with TOSCA and CAMP},

author = {José Carrasco and Javier Cubo and Ernesto Pimentel and Francisco Durán},

doi = {10.5220/0005804501700177},

isbn = {978-989-758-182-3},

year  = {2016},

date = {2016-02-01},

booktitle = {Jorge S. Cardoso, Donald Ferguson, Víctor Méndez Muñoz, Markus Helfert: CLOSER 2016 - Proceedings of the 6th International Conference on Cloud Computing and Services Science, Volume 1, Rome, Italy, April 23-25, 2016},

pages = {170--177},

publisher = {SciTePress},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-bu,

title = {Towards contractual interfaces to reusable functional quality attribute operationalisations},

author = {José Miguel Horcas and Steffen Zschaler and Mónica Pinto and Lidia Fuentes},

year  = {2016},

date = {2016-02-01},

booktitle = {[Proc. of Modularity'16; Modularity in Modelling Workshop. MOMO'16]},

pages = {to appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-bv,

title = {Towards the dynamic reconfiguration of quality attributes},

author = {José Miguel Horcas and Mónica Pinto and Lidia Fuentes},

year  = {2016},

date = {2016-02-01},

booktitle = {[Proc. Workshop on Live Adaptation of Software SYstems. LASSY 2016; 15th International Conference on MODULARITY; 14-17 March, Málaga, Spain]},

pages = {to appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2587,

title = {Abstract analysis of universal properties for tccp},

author = {Marco Comini and María Mar Gallardo and Laura Titolo and Alicia Villanueva},

year  = {2016},

date = {2016-01-01},

booktitle = {Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, septiembre de 2016},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2592,

title = {Un middleware centrado en datos para el control en Tiempo Real de redes de energía inteligentes},

author = {Jaime Chen and Eduardo Cañete and Manuel Díaz and Daniel Garrido and Krzysztof Piotrowski},

isbn = {978-84-9012-631-8},

year  = {2016},

date = {2016-01-01},

booktitle = {J. Javier Gutiérrez y Michael González Harbour,(eds.). V Simposio de Sistemas de Tiempo Real},

pages = {19--30},

publisher = {Ediciones Universidad},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2632,

title = {DisMatch results for OAEI 2016},

author = {Maciek Rybinski and María Mar Roldán-García and José García-Nieto and José F Aldana-Montes},

year  = {2016},

date = {2016-01-01},

booktitle = {Proc. of the 11th International Workshop on Ontology Matching, co-located with the 15th International Semantic Web Conference. OM 2016, Ontology Matching. Kobe, Japan, october 16, 2016. CEUR- Workshop Proceeding; 1766},

pages = {161--165},

series = {CEUR- Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2016-2573b,

title = {River Basin Management with SPIN},

author = {María-del-Mar Gallardo and Pedro Merino and Laura Panizo and Alberto Salmerón},

doi = {10.1007/978-3-319-32582-8},

isbn = {978-3-319-32582-8},

year  = {2016},

date = {2016-01-01},

booktitle = {Dragan Bošnački; Anton Wijs (Eds.). Model Checking Software: 23rd. International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, april 7-8, 2016. Proceedings},

pages = {78--96},

publisher = {Springer},

address = {Switzerland},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2566,

title = {An Evolutionary algorithm to generate real urban traffic flows},

author = {Daniel H Stolfi and Enrique Alba},

doi = {10.1007/978-3-319-24598-0_30},

isbn = {978-3-319-24597-3},

year  = {2015},

date = {2015-11-01},

booktitle = {José M. Puerta,...[et. al], eds. Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, november 9-12, 2015. Proceedings},

pages = {332--343},

publisher = {Springer},

address = {Heidelberg, New York},

series = {Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2559,

title = {Game artificial intelligence: challenges for the scientific community},

author = {Raul Lara-Cabrera and Mariela Nogueira and Carlos Cotta and Antonio J Fernández-Leiva},

year  = {2015},

date = {2015-10-01},

booktitle = {Proc. 2st Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2015, Barcelona, Spain, june 24, 2015. CEUR-Workshop Proceedings; vol. 1394},

pages = {1--12},

series = {CEUR- Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-bf,

title = {A Discretized operational semantics for the implementation of Hy-tccp},

author = {María Mar Gallardo and Laura Panizo and Laura Titolo},

year  = {2015},

date = {2015-09-01},

booktitle = {Proc. of XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, del 15 al 17 de septiembre de 2015},

pages = {2--20},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2583,

title = {Development of an objective method to perform quality classification of comminuted poultry meat},

author = {M Christensen and D Brüggemann and K Groves and R Burch and P Henckel and K Raudsepp and E Soler},

year  = {2015},

date = {2015-09-01},

booktitle = {Proc. of 61st. International Congress of Meat Science and Technology, 23-28th august 2015, Clermont-Ferrand, France},

pages = {4},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2552b,

title = {Runtime verification of expected energy consumption in Smartphones},

author = {Ana Rosario Espada and María Mar Gallardo and Alberto Salmerón and Pedro Merino},

doi = {10.1007/978-3-319-23404-5_10},

isbn = {978-3-319-23403-8},

year  = {2015},

date = {2015-09-01},

booktitle = {Bernd Fischer, Jaco Geldenhuys, eds. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings},

pages = {132--149},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2554,

title = {Using model checking to generate test cases for Android applications},

author = {Ana Rosario Espada and María Mar Gallardo and Alberto Salmerón and Pedro Merino},

year  = {2015},

date = {2015-09-01},

booktitle = {Proc. of XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, del 15 al 17 de septiembre de 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2549b,

title = {Dynamic deployment and monitoring of security policies},

author = {José Miguel Horcas and Mónica Pinto and Lidia Fuentes and Wissam Mallouli and Edgardo Montes Oca},

doi = {10.1007/978-3-319-22906-5_14},

isbn = {978-3-319-22905-8},

year  = {2015},

date = {2015-07-01},

booktitle = {12th International Conference, TrustBus2005, Valencia, Spain, September 1-2, 2015, Proceedings},

pages = {180--192},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-bg,

title = {Maintenance of reliable distributed applications with open-soruce middleware: fifteen years later},

author = {Manuel Díaz and Daniel Garrido},

doi = {10.1007/978-3-319-19584-1_8},

isbn = {978-3-319-19584-1},

year  = {2015},

date = {2015-07-01},

booktitle = {Juan Antonio de la Puente; Tullio Vardanega, (Eds.). Reliable software technologies-Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid, Spain, june 22-26, 2015, Proceedings},

pages = {116--128},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-bh,

title = {Smart mobility policies with evolutionary algorithms: the adapting info panel case},

author = {Daniel H. Stolfi and Enrique Alba},

doi = {10.1145/2739480.2754742},

isbn = {978-1-4503-3472-3},

year  = {2015},

date = {2015-07-01},

booktitle = {Proceedings of the 2015 on Genetic and Evolutionary Computation Conference. GECCO'15.},

pages = {1287},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2542,

title = {A Discretized operational semantic for the implementation of hy-tccp},

author = {María Mar Gallardo and Laura Panizo and Laura Titolo},

isbn = {978-84-606-8792-4},

year  = {2015},

date = {2015-06-01},

booktitle = {María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015, Málaga, 10,11 y 12 de junio de 2015},

pages = {101--106},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2543,

title = {A Framework to integrate SCPI compliant instruments into 4G/5G testbeds},

author = {César A García and Álvaro M Recio and Álvaro Rios and Almudena Díaz and Pedro Merino},

isbn = {978-84-606-8792-4},

year  = {2015},

date = {2015-06-01},

booktitle = {María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015},

pages = {43--56},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-bi,

title = {Protection of critical infrastructures through prevention and response},

author = {Lorena Cazorla and Cristina Alcaraz and Javier López},

isbn = {978-84-606-8792-4},

year  = {2015},

date = {2015-06-01},

booktitle = {María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015},

pages = {126--132},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2541,

title = {Runtime verification of expected energy consumption in smartphones},

author = {Ana Rosario Espada and María Mar Gallardo and Alberto Salmerón and Pedro Merino},

isbn = {978-84-606-8792-4},

year  = {2015},

date = {2015-06-01},

booktitle = {María del Mar Gallardo, ed. Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2015; Actas del Doctoral Consortium en Tecnologías Informáticas. DCTI 2015. Málaga, 10, 11 y 12 de junio de 2015},

pages = {22--23},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2520,

title = {Modeling hybrid systems in the concurrent constraint paradigm},

author = {Damián Adalid and Laura Titolo and María Mar Gallardo},

year  = {2015},

date = {2015-02-01},

booktitle = {S. Escobar [ed.]: XIV Jornadas sobre programación y lenguajes. PROLE 2014. Revised selected papers},

pages = {1--15},

series = {Electronic Proceedings in Theoretical Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2519,

title = {Un Algoritmo evolutivo para la reducción de tiempos de viaje y emisiones utilizando paneles LED},

author = {Daniel H Stolfi and Enrique Alba},

isbn = {978-84-697-2150-6},

year  = {2015},

date = {2015-02-01},

booktitle = {Actas del X Congreso Español sobre metaheurísticas, algoritmos evolutivos y bioinspirados. MAEB 2015, Mérida, Almendralejo 4, 5 y 6 de febrero de 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2522,

title = {Docking Inter/Intra-Molecular mediante metaheurísticas multi-objetivo},

author = {Esteban López and María Jesús García and José Manuel García and Antonio J Nebro and José F Aldana-Montes},

isbn = {978-84-697-2150-6},

year  = {2015},

date = {2015-01-01},

booktitle = {Actas del X Congreso Español sobre metaheurísticas, algoritmos evolutivos y bioinspirados. MAEB 2015, Mérida, Almendralejo, del 4, 5 y 6 de febrero},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2560,

title = {Optimización en videojuegos: retos para la comunidad científica},

author = {R Lara-Cabrera and M Nogueira-Collazo and C Cotta and A J Fernández-Leiva},

isbn = {978-84697-2150-6},

year  = {2015},

date = {2015-01-01},

booktitle = {Actas del X Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. MAEB 2015, Mérida, España},

pages = {463--470},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2567,

title = {Overview of the Image CLEF 2015 liver CT annotation task},

author = {Neda Barzegar and María Mar Roldán and Suzan Uskudarli and José Francisco Aldana and Burak Acar},

year  = {2015},

date = {2015-01-01},

booktitle = {Working Notes of CLEF 2015- Conference and Labs of the Evaluation forum.CLEF 2015, Working Notes. Toulouse, France, september 8-11, 2015. CEUR Workshop Proceedings; 1391},

publisher = {CEUR-WS},

series = {CEUR- Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2553,

title = {SeaClouds: agile management of complex applications across multiple heterogeneous clouds},

author = {D Athanasopoulos and M Barrientos and L Bartoloni and A Brogi and M Buccarella and J Carrasco and J Cubo and F D`Andria and Di E Nitto and A Nieto and M Oriol and E Pimentel and S Zenzaro},

year  = {2015},

date = {2015-01-01},

booktitle = {Marco Autili; Tom Ritter; Andrey Sadovykh; Massimo Tivolo, eds.: Proceedings of the projects Showcase @STAF'15: L´Aquila, Italy, July 22, 2015},

pages = {54--61},

publisher = {CEUR-WP},

series = {CEUR- Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2550,

title = {The e-balance security solution for the Smart Grid},

author = {Krzysztof Piotrowski and Daniel Garrido and Wojciech Ciemniewski and Juan Jacobo Peralta},

year  = {2015},

date = {2015-01-01},

booktitle = {Proc. of European Conference on Networks and Communitacions. EUCNC 2015; Citizens Engagement to the Iot: Security and Privacy Challenges. Workshop 6. Paris, France, june 29/2 july, 2015},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2015-2546,

title = {Using model checking to generate test cases for Android applications},

author = {Ana Rosario Espada and María Mar Gallardo and Alberto Salmerón and Pedro Merino},

doi = {10.4204/EPTCS.180.1},

year  = {2015},

date = {2015-01-01},

booktitle = {Proc. Tenth Workshop on Model Based Testing. London, UK, 18th April 2015. EPTCS; 180},

pages = {1--6},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-2562,

title = {Eryna: una herramienta de apoyo a la revolución de los videojuegos},

author = {Mariela Nogueira-Collazo and Antonio J Fernández-Leiva and Carlos Cotta},

year  = {2014},

date = {2014-10-01},

booktitle = {Proc. 1st. Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2014, Barcelona, Spain, june 24, 2014. CEUR-Workshop Proceedings; vol. 1196},

pages = {173--184},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-2561,

title = {Generación automática de contenido para un nuevo juego basado en el problema de los 3 cuerpos},

author = {Alejandro Gutiérrez and Raul Lara-Cabrera and A J Fernández-Leiva},

year  = {2014},

date = {2014-10-01},

booktitle = {Proc. 1st. Congreso de la Sociedad Española para las Ciencias del Videojuego. CoSECiVi 2014, Barcelona, Spain, june 24, 2014. CEUR-Workshop Proceedings; vol. 1196},

pages = {199--210},

series = {CEUR- Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-2511,

title = {A DSS for reservoir operation based on the execution of formal models},

author = {Antonio Linares and Jesús Regodón and Laura Panizo and María-del-Mar Gallardo and Pedro Merino},

isbn = {978-0-692-28129-1},

year  = {2014},

date = {2014-10-01},

booktitle = {Proc of [11th International conference on hydroinformatics. HIC 2014, New York, USA, 17-21 august, 2014]},

pages = {8},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-b,

title = {Using self-adaptive evolutionary algorithms to evolve dynamism-oriented madps for a real time strategy game},

author = {Raúl Lara-Cabrera and Carlos Cotta and Antonio J. Fernández-Leiva},

doi = {10.1007/978-3-662-43880-0_28},

isbn = {978-3-662-43879-4},

year  = {2014},

date = {2014-10-01},

booktitle = {Large-Scale scientific computing: 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013, Revised Selected Papers},

pages = {256--263},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Reyes-Álvarez2014,

title = {Actualización incremental de grafos RDF a partir de bases de datos relacionales},

author = {Liudmila Reyes-Álvarez and Yusniel Hidalgo-Delgado and Katerin Martínez Rojas and María Mar Roldán García and José F. Aldana-Montes},

isbn = {978-84-697-1152-1},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_101,

title = {Análisis y desarrollo de un canal encubierto en un red de sensores},

author = {J A Onieva and R Rios and Palenciano. press]},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Nieto2014,

title = {Herramienta para la compensación de parámetros de QoS y seguridad},

author = {A. Nieto and J. Lopez and press]},

year  = {2014},

date = {2014-09-01},

pages = {to to},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Nieto2014b,

title = {A Context-based parametric relationship model [CPRM] to measure the security and QoS tradeoff in configurable environments},

author = {Ana Nieto and Javier López},

year  = {2014},

date = {2014-09-01},

pages = {755--760},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_187,

title = {Cellular genetic algorithms},

author = {Enrique Alba},

isbn = {978-1-4503-2881-4},

year  = {2014},

date = {2014-09-01},

pages = {733--748},

address = {New York NY. USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_188,

title = {Closing the gap between the specification and enforcement of security policies},

author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes},

isbn = {978-3-319-09769-5},

year  = {2014},

date = {2014-09-01},

pages = {106--118},

publisher = {Springer},

address = {Berlin},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_189,

title = {Enhancing problem frames wht trust and reputation for analyzing Smart Grid security requirements},

author = {Francisco Moyano and Carmen Fernández-Gago and Kristian Beckers and Maritta Heisel},

isbn = {978-3-319-10328-0},

year  = {2014},

date = {2014-09-01},

pages = {166--180},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{press]press]2014,

title = {Evaluation in CPRM-based systems},

author = {A. Nieto press]},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_190,

title = {Injecting quality attributes into software architectures with the common variability language},

author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes},

isbn = {978-1-4503-2577-6},

year  = {2014},

date = {2014-09-01},

pages = {35--44},

publisher = {ACM},

address = {New York, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Alcaraz2014bb,

title = {Multi-round attacks on structural controllability properties for non-complete random graphs},

author = {C. Alcaraz and E. Etcheves Miciolino and S. Wolthusen press]},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Lopez2014,

title = {Preserving receiver-location privacy in wireless sensor networks},

author = {Javier López and Rubén Ríos and Jorge Cuellar.},

isbn = {978-3-319-06320-1},

year  = {2014},

date = {2014-09-01},

pages = {15--27},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Alcaraz2014bc,

title = {Recovery of structural controllability for control systems},

author = {C. Alcaraz and S. Wolthusen press]},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Horcas2014,

title = {Runtime enforcement of dynamic security policies},

author = {Jose-Miguel Horcas and Mónica Pinto and Lidia Fuentes},

isbn = {978-3-319-09970-5},

year  = {2014},

date = {2014-09-01},

pages = {340--356},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Nieto2014bb,

title = {Security and QoS tradeoff recommendation system [SQT-RS] for dynamic assessing CPRM-based systems},

author = {A. Nieto and J. López press]},

year  = {2014},

date = {2014-09-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Moyano2014b,

title = {Trust-aware decision-making methodology for cloud sourcing},

author = {Francisco Moyano and Kristian Beckers and Carmen Fernández-Gago},

isbn = {978-3-319-07880-9},

year  = {2014},

date = {2014-09-01},

pages = {136--149},

publisher = {Springer},

address = {Berlin},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yAlba2014,

title = {Eco-friendly reduction of travel times in european smart cities},

author = {Daniel H. Stolfi and Enrique Alba},

isbn = {978-1-4503-2662-9},

year  = {2014},

date = {2014-07-01},

booktitle = {Dirk V. Arnold, Ed. Genetic and Evolutionary Computation Conference, GECCO'14, Vancouver, BC, Canada, July 12-16, 2014},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{inproceedingsb,

title = {Local Optimal Sets and Bounded Archiving on Multi-objective NK-Landscapes with Correlated Objectives},

author = {Manuel López-Ibáñez and Arnaud Liefooghe and Sebastien Verel},

doi = {10.1007/978-3-319-10762-2_61},

isbn = {978-3-319-10761-5},

year  = {2014},

date = {2014-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-bd,

title = {Analyzing the correctness of Smartphones applications using Formal Methods (Doctoral Consortium)},

author = {Ana-Rosario Espada and María-del-Mar Gallardo},

isbn = {978-84-697-1154-5},

year  = {2014},

date = {2014-01-01},

booktitle = {Actas del I Doctoral Consortium de la Sociedad de Ingeniería de Software y Tecnologías de Software (Sistedes), Cádiz, 19 de septiembre 2014},

pages = {15--19},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Rudolph2014,

title = {A Security engineering process for systems of systems using security patterns},

author = {J. Ruiz; Carsten Rudolph and A. Maña and M. Arjona Fernández},

year  = {2014},

date = {2014-01-01},

pages = {to appear},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-bb,

title = {A Self-adaptive evolutionary approach to the evolution of aesthetic maps for a RTS game},

author = {R. Lara-Cabrera and C. Cotta and A. J. Fernández-Leiva},

doi = {10.1109/CEC.2014.6900562},

isbn = {978-1-4799-6626-4},

year  = {2014},

date = {2014-01-01},

booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China, july 6-11, 2014},

pages = {298--304},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-bc,

title = {A Virtual channel-based framework for the integration of wireless sensor networks in the Cloud},

author = {J. Barbarán and M. Díaz and B. Rubio},

doi = {10.1109/FiCloud.2014.59},

isbn = {978-1-4799-4358-6},

year  = {2014},

date = {2014-01-01},

booktitle = {Proc. of 2014 International Conference on Future Internet of Things and Cloud. 27-29 august 2014, Barcelona, Spain},

pages = {334--339},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_191,

title = {BM2LOD: platform for publishing bibliographic data as linked open data},

author = {Yusniel Hidalgo-Delgado and Liudmila Reyes-Álvarez and Amed Leiva-Mederos and María Mar Roldán-García and José F Aldana-Montes},

year  = {2014},

date = {2014-01-01},

booktitle = {Proc. of 7th IADIS International Conference on Information Systems},

publisher = {IADIS Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-2394b,

title = {Comparator: a tool for quantifying behavioural compatibility},

author = {Meriem Ouederni and Gwen Salaün and Javier Cámara and Ernesto Pimentel},

isbn = {978-3-642-54804-8},

year  = {2014},

date = {2014-01-01},

booktitle = {Stefania Gnesi, Arend Rensink (Eds.): Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-1},

pages = {306--309},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_192,

title = {Context-awareness using anomaly-based detectors for smart grid domains},

author = {C Alcaraz and L Cazorla and G. Fernández},

year  = {2014},

date = {2014-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Reyes-Álvarez2014b,

title = {Exploring incremental reasoning approaches based on module extration},

author = {Liudmila Reyes-Álvarez and Yusniel Hidalgo-Delgado and María Mar Roldán-García and José F. Aldana-Montes},

isbn = {978-959-234-094-7},

year  = {2014},

date = {2014-01-01},

booktitle = {Proc. of XII Congreso Internacional de Información. INFO 2014. Palacio de convenciones de la Habana, Cuba 14 al 18 de abril de 2014},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2014-2521,

title = {Modeling hybrid systems in Hy-tccp},

author = {Damián Adalid and María Mar Gallardo and Laura Titolo},

year  = {2014},

date = {2014-01-01},

booktitle = {Proc. of the Third International Workshop on Formal Techniques for Safety-Critical Systems. FTSCS 2014.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Garcia-Nieto2014,

title = {Optimising traffic lights with metaheuristics: reduction of car emissions and consumption},

author = {José García-Nieto and Javier Ferrer and Enrique Alba},

isbn = {978-1-4799-1484-5},

year  = {2014},

date = {2014-01-01},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_193,

title = {Towards a CVL process to develop agents for the IoT},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-3-319-13101-6},

year  = {2014},

date = {2014-01-01},

pages = {304--311},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_102,

title = {A Study of the combination of variation operators in the NSGA-II algorithm},

author = {Antonio J Nebro and Juan J Durillo and Mirialys Machín and Bernabé Dorronsoro and Carlos A Coello},

isbn = {978-3-642-40643-0},

year  = {2013},

date = {2013-12-01},

pages = {269--278},

series = {Lecture Notes in Artificial Intelligence; Subseries of Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Lara-Cabrera2013,

title = {A Procedural balanced map generator with self-adaptive complexity for the real-time strategy game planet wars},

author = {Raúl Lara-Cabrera and Carlos Cotta and Antonio J. Fernández-Leiva},

editor = {Anna I. Esparcia-Alcázar and},

isbn = {978-3-642-37191-2},

year  = {2013},

date = {2013-12-01},

booktitle = {Applications of evolutionary computation. 16th European Conference, EvoApplications 2013. Vienna, Austria, april 3-5, 2013. Proceedings},

pages = {274--283},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_194,

title = {A Review of computational intelligence in RTS games},

author = {R Lara-Cabrera and C Cotta and A J Fernandez-Leiva},

isbn = {978-1-4673-5901-6},

year  = {2013},

date = {2013-12-01},

pages = {114--121},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yCoello2013,

title = {Analysis of leader selection strategies in a multi-objective particle Swarm optimizer},

author = {Antonio J. Nebro; Juan J. Durillo Carlos A. Coello Coello},

isbn = {978-1-4799-0454-9},

year  = {2013},

date = {2013-12-01},

booktitle = {Proc. 2013 IEEE Congress on Evolutionary Computation. CEC 2013. Cancún, México, June 20-23},

pages = {3153--3160},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_195,

title = {Designing and evolving an unreal tournament™ 2004 expert bot},

author = {Antonio M Mora and Francisco Aisa and Ricardo Caballero and Pablo García and Juan Julián Merelo and Pedro A Castillo and Raúl Lara-Cabrera},

isbn = {978-3-642-38682-4},

year  = {2013},

date = {2013-12-01},

pages = {312--323},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_196,

title = {Multi-objective optimal test suite computation for software product line pairwise testing},

author = {Roberto E López and Francisco Chicano and Javier Ferrer and Alexander Egyed and Enrique Alba},

isbn = {978-0-7685-4981-1},

year  = {2013},

date = {2013-12-01},

pages = {404--407},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_197,

title = {Performance study of internet traffic on high speed railways},

author = {Francisco Javier Rivas and Almudena Díaz and Pedro Merino},

isbn = {978-1-4673-5828-6},

year  = {2013},

date = {2013-12-01},

pages = {1--9},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yHorcas2013,

title = {How to develop secure applications with aspect-oriented programming},

author = {Mónica Pinto and José M. Horcas},

year  = {2013},

date = {2013-11-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Aguilera2013,

title = {Modeling of quality attributes using and aspect-oriented software-product line approach},

author = {José Miguel Horcas Aguilera},

year  = {2013},

date = {2013-11-01},

booktitle = {Proc. of European Conference on Software Architecture (ECSA), 2013. Doctoral Symposium: PhD Students Workshop},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Horcas2013,

title = {Variability and dependency modeling of quality attributes},

author = {J. M. Horcas and M. Pinto and L. Fuentes},

isbn = {978-0-7695-5091-6},

year  = {2013},

date = {2013-11-01},

booktitle = {Proc. of 39th Euromicro Conference Series on Software Engineering and Advanced Applications. SEAA 2013, 4-6 september 2013, Santander, Spain},

pages = {185--188},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ayala2013,

title = {Abordando la heterogeneidad en la Internet de las cosas: una solución de agentes auto-configurables},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {84-616-5597-4},

year  = {2013},

date = {2013-10-01},

pages = {365--372},

publisher = {Universidad de Granada},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_103,

title = {Performance analysis of a sensor linear network and priority queueing systems: network layer Vs. data link layer},

author = {Eduardo Cañete and Jaime Chen and Manuel Díaz and Bartolomé Rubio},

isbn = {978-84-695-8334-0},

year  = {2013},

date = {2013-09-01},

pages = {57--62},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Stolfi2013,

title = {Reducing gas emissions in smart cities by using the red swarm architecture},

author = {Daniel H. Stolfi and Enrique Alba},

isbn = {978-3-642-40642-3},

year  = {2013},

date = {2013-09-01},

pages = {289--299},

publisher = {Springer},

series = {Lecture Notes in Artificial Intelligence; Subseries of Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_104,

title = {Verifying hybrid systems with explicit model checkers},

author = {Laura Panizo and María Mar Gallardo},

isbn = {978-84-695-8331-9},

year  = {2013},

date = {2013-09-01},

pages = {1--15},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_198,

title = {Developing pervasive agent-based applications: a comparison of two coordination approches},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes and Marco Mamei and Franco Zambonelli},

isbn = {978-3-642-39865-0},

year  = {2013},

date = {2013-09-01},

pages = {73--98},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_199,

title = {Enhancing agent metamodels with self-management for AmI environments},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-3-642-40668-3},

year  = {2013},

date = {2013-09-01},

booktitle = {Luís Correira; Luís Paulo Reis; José Cascalho (Eds.). Progess in artificial intelligence: 16th Portuguese conference on artificial intelligence, EPIA 2013; Angra do Heroísmo, Azores, Portugal, september 9-12, 2013. Proceedings},

publisher = {Springer},

series = {Lecture Notes in Artificial Intelligence; Subseries of Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_200,

title = {Composition and self-adaptation of service-based systems with feature models},

author = {Javier Cubo and Nadia Gámez and Lidia Fuentes and Ernesto Pimentel},

isbn = {978-3-642-38976-4},

year  = {2013},

date = {2013-07-01},

booktitle = {John Favaro; Maurizio Morisio, (eds.). Safe and secure software reuse: 13th international conference on software reuse, ICSR 2013. Pisa, Italy, june 18-20, 2013. Proceedings},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_201,

title = {A Metamodel for measuring accountability attributes in the Cloud},

author = {David Nuñez and Carmen Fernandez-Gago and Siani Pearson and Massimo Felici},

isbn = {978-0-7685-5095-4},

year  = {2013},

date = {2013-04-01},

pages = {355--362},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Muñoz2013,

title = {Bridging the GAP between software certification and trusted computing for securing Cloud computing},

author = {Antonio Muñoz and Antonio Maña},

isbn = {978-0-7695-5024-4},

year  = {2013},

date = {2013-04-01},

booktitle = {En Proc. of 2013 IEEE ninth world congress on services. 27 june-2 july 2013, Santa Clara, California},

pages = {103--110},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nadFernández-Gago2013,

title = {Building trust and reputation in: a development framework for trust models implementation},

author = {Francisco Moyano and Carmen Fernández-Gago and Javier López},

editor = {Audun Josang and Pierangela Samarati and Marinella Petrocchi},

isbn = {978-3-642-38003},

year  = {2013},

date = {2013-04-01},

booktitle = {Security and trust management: 8th International Workshop, STM 2012, Pisa, Italy, september 13-14. Revised selected papers},

pages = {113--128},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yAlba2013,

title = {Distributed evolutionary algorithms in heterogeneous environments},

author = {Carolina Salto and Francisco Luna and Enrique Alba},

editor = {Fatos Xhafa and Leonard Barolli and Dritan Nace and Salvatore Vinticinque and Alain Bui},

isbn = {978-0-7695-5094-7},

year  = {2013},

date = {2013-04-01},

booktitle = {2013 Eightn international conference on P2P, parallel, grid, cloud and internet computing. 3PGCIC 2013. 28-30 october},

pages = {606--611},

publisher = {IEEE Computer Society},

address = {Compiègne, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Salto2013,

title = {Enhancing distributed EAs using proactivity},

author = {Carolina Salto and Francisco Luna and Enrique Alba},

isbn = {978-1-4503-1964-5},

year  = {2013},

date = {2013-04-01},

booktitle = {Proc. of the 15th annual conference companion on genetic and evolutionary computation. GECCO'13 Companion, july 6-10, Amsterdam, The Netherlands},

pages = {1747--1748},

publisher = {ACM},

address = {New York, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_202,

title = {Improvement heuristic for solving the one-dimensional bin-packing problem},

author = {Sofiene Abidi and Saoussen Krichen and Enrique Alba and Juan M Molina},

isbn = {978-1-4673-5814-9},

year  = {2013},

date = {2013-04-01},

pages = {1--5},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Abidi2013,

title = {Improving interoperability of digital certificates for software & services},

author = {Sofiene Abidi and Saoussen Krichen and Enrique Alba and Juan M. Molina},

isbn = {978-0-7695-5024-4},

year  = {2013},

date = {2013-04-01},

booktitle = {Proc. of 2013 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), april, 28-30, 2013. Hammamet, Tunisia},

pages = {185--192},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_203,

title = {Improving security assurance of services through certificate profiles},

author = {Marioli Montenegro and Antonio Maña and Hristo Koshutanski},

isbn = {978-3-642-45363-2},

year  = {2013},

date = {2013-04-01},

pages = {288--302},

publisher = {Springer-Verlag},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_204,

title = {Math oracles: a new way of designing efficient self-adaptive algorithms},

author = {Gabriel Luque and Enrique Alba},

isbn = {978-1-4503-1964-5},

year  = {2013},

date = {2013-04-01},

pages = {217--218},

address = {New York, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_205,

title = {Micro-differential evolution with local search for high dimensional problems},

author = {M Olguin-Carbajal and J Arellano-Verdejo and Enrique Alba},

isbn = {978-1-4799-0453-2},

year  = {2013},

date = {2013-04-01},

pages = {48--54},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Alcaraz2013,

title = {PDR: A Prevention, Detection and Response Mechanism for Anomalies in Energy Control Systems},

author = {Cristina Alcaraz and Meltem Sönmez Turan},

editor = {Bernhard M. Hämmerli and Nils Kalstad Svendsen and Javier Lopez},

isbn = {978-3-642-41484-8 (Print)},

year  = {2013},

date = {2013-04-01},

booktitle = {7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers},

pages = {22--33},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Chicano2013,

title = {Problem understanding through landscape theory},

author = {Francisco Chicano and Gabriel Luque and Enrique Alba},

isbn = {978-1-4503-1964-5},

year  = {2013},

date = {2013-04-01},

booktitle = {En Proc. of the 15th annual conference companion on genetic and evolutionary computation. GECCO'13 Companion. Amsterdam, The Netherlands, july 06-10},

pages = {1055--1062},

publisher = {ACM},

address = {New York, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_206,

title = {Run-Time verification of behaviour-aware mashups in the internet of things},

author = {Laura González and Javier Cubo and Antonio Brogi and Ernesto Pimentel and Rául Ruggia},

isbn = {978-3-642-45363-2},

year  = {2013},

date = {2013-04-01},

pages = {318--330},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_207,

title = {Security assurance of services through digital security certificates},

author = {Samuel Paul Kaluvuri and Hristo Koshutanski and Francesco Di Cerbo and Antonio Maña},

isbn = {978-0-7685-5025-1},

year  = {2013},

date = {2013-04-01},

pages = {539--546},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_208,

title = {Structural controllability of networks for non-interactive adversarial vertex removal},

author = {Cristina Alcaraz and Estefanía Etchevés and Stephen Wolthusen},

isbn = {978-3-319-03963-3 (Print)},

year  = {2013},

date = {2013-04-01},

booktitle = {Eric Luiijf; Pieter Hartel, eds. Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_209,

title = {Towards automatic critical infrastructure protection through machine learning},

author = {Lorena Cazorla and Cristina Alcaraz and Javier Lopez},

isbn = {978-3-319-03963-3},

year  = {2013},

date = {2013-04-01},

booktitle = {Eric Luiijf; Pieter Hartel, eds. Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yLopez2013,

title = {Towards engineering trust-aware future internet systems},

author = {Lorena Cazorla and Cristina Alcaraz and Javier López},

editor = {Eric Luiijf; Pieter Hartel},

isbn = {978-3-642-38489-9},

year  = {2013},

date = {2013-04-01},

booktitle = {Critical Information Infrastructures Security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers},

pages = {490--301},

publisher = {Springer-Verlag},

series = {Lecture Notes in Business Information Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_210,

title = {Towards trust-aware and self-adaptive systems},

author = {Francisco Moyano and Benoit Baudry and Javier Lopez},

isbn = {978-3-642-38322-9},

year  = {2013},

date = {2013-04-01},

pages = {255--262},

publisher = {Springer-Verlag},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_211,

title = {Using theory to self-tune migration periods in distributed genetic algorithms},

author = {Karel Osorio and Gabriel Luque and Enrique Alba},

isbn = {978-1-4799-0453-2},

year  = {2013},

date = {2013-04-01},

pages = {2595--2601},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Espinar2013,

title = {Workflow operational assurance platform for security-by-desing certified service-based coalitions},

author = {Javier Espinar and Antonio Maña and Hristo Koshutanski},

isbn = {978-8-7695-5024-4},

year  = {2013},

date = {2013-04-01},

booktitle = {Proc. of 2013 IEEE ninth world congress on services. 27 june-2 july 2013, Santa Clara, California},

pages = {84--91},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_212,

title = {Architecting infrastructures for Cloud-Enabled mobile devices},

author = {Javier Miranda and Joaquín Guillén and Javier Berrocal and Jose García and Juan Manuel Murillo and Jose Carlos Canal},

isbn = {978-3-642-45363-2},

year  = {2013},

date = {2013-03-01},

pages = {277--287},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Miranda2013,

title = {Assisting Cloud Service Migration Using Software Adaptation Techniques},

author = {Javier Miranda and Joaquín Guillén and Juan Manuel Murillo and Carlos Canal},

isbn = {978-0-7685-5028-2},

year  = {2013},

date = {2013-03-01},

booktitle = {Proc. of 2013 IEEE sixth international conference on cloud computing. 27 june-2 july, 2013, Santa Clara, California},

pages = {573--580},

publisher = {IEEE Computer Society},

address = {Los Alamitos, California},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_213,

title = {Development of adaptive multi-cloud applications: a model-driven approach},

author = {Javier Miranda and Joaquín Guillén and Juan Manuel Murillo and Carlos Canal},

isbn = {978-989-8565-42-6},

year  = {2013},

date = {2013-03-01},

pages = {321--330},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2013-2530,

title = {A ns-2 module for objective VoIP call quality evaluation},

author = {Alberto Salmerón and Pedro Merino},

year  = {2013},

date = {2013-03-01},

booktitle = {[Actas] de las XXI Jornadas de Concurrencia de Sistemas Distribuidos (JCSD 2013), celebradas en San Sebastián, junio},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2013-2529,

title = {A Runtime verification framework for ANDROID applications},

author = {Ana-Rosario Espada and María-del-Mar Gallardo and Damián Adalid},

year  = {2013},

date = {2013-03-01},

booktitle = {[Actas] de las XXI Jornadas de Concurrencia de Sistemas Distribuidos (JCSD 2013), celebradas en San Sebastián, junio},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{gisum-2013-2528,

title = {DRAGONFLY: Encapsulating Android for instrumentation},

author = {Ana-Rosario Espada and María-del-Mar Gallardo and Damián Adalid},

isbn = {978-84-695-8331-9},

year  = {2013},

date = {2013-03-01},

booktitle = {Actas de las XIII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF): Madrid, 17-20 de Septiembre de 2013},

pages = {1--14},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_105,

title = {MULTICLAPP: a framework for modeling and developing multicloud migratable applications},

author = {Joaquín Guillén and Javier Miranda and Juan Manuel Murillo and Carlos Canal},

isbn = {978-84-695-8310-4},

year  = {2013},

date = {2013-03-01},

pages = {399--412},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_106,

title = {Towards cloud-enabled mobile devices and applications},

author = {Javier Miranda and Joaquín Guillén and Javier Berrocal and Juan Manuel Murillo and Carlos Canal},

isbn = {978-84-695-8351-7},

year  = {2013},

date = {2013-03-01},

pages = {97--102},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_107,

title = {Towards run-time verification of compositions in the web of things using complex event processing},

author = {Javier Cubo and Laura González and Antonio Brogi and Ernesto Pimentel and Rául Ruggia},

isbn = {978-84-695-8351-7},

year  = {2013},

date = {2013-03-01},

pages = {147--154},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_214,

title = {A UML profile for modeling multicloud applications service-oriented and cloud computing},

author = {Joaquín Guillén and Javier Miranda and Juan Manuel Murillo and Jose Carlos Canal},

isbn = {978-3-642-40650-8},

year  = {2013},

date = {2013-01-01},

pages = {180--187},

publisher = {Springer-Verlag},

address = {Berlin Heidelberg},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_215,

title = {Automated throughput optimization of Cloud services via Model-driven adaptation},

author = {Javier Troya and Javier Cubo and José Antonio Martín and Ernesto Pimentel and Antonio Vallecillo},

isbn = {978-989-8565-42-6},

year  = {2013},

date = {2013-01-01},

booktitle = {Proc. of the 1st. International Conference on Model-Driven Engineering and Software Development. MODELSWARD 2013. Barcelona, Spain, 19-21 february, 2013},

publisher = {SciTePress},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Cotta2013,

title = {Car setup optimization via evolutionary algorithms},

author = {Carlos Cotta and Antonio J. Fernández-Leiva and Alberto Fuentes Sánchez and Raúl Lara-Cabrera},

editor = {Ignacio Rojas; Gonzalo Joya; Joan Cabestany},

isbn = {978-3-642-38682-4},

year  = {2013},

date = {2013-01-01},

booktitle = {Advances in Computational Intelligence: 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, juner 12-14, 2013. Proceedings, part II},

pages = {346--354},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_216,

title = {Developing migratable multicloud applications based on MDE and adaptation techniques},

author = {Joaquín Guillén and Javier Miranda and Juan Manuel Murillo and Carlos Canal},

isbn = {978-1-4503-2307-9},

year  = {2013},

date = {2013-01-01},

pages = {30--37},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_217,

title = {Emergency systems modelling using a security engineering process},

author = {Jose Fran. Ruiz and Antonio Maña and Marcos Arjona and Janne Paatero},

isbn = {978-989-8565-20-4},

year  = {2013},

date = {2013-01-01},

pages = {117--124},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_218,

title = {Energy aware software evolution for wireless sensor networks},

author = {Danny Hughes and Eduardo Cañete and Wilfried Daniels and Gowri Sankar R},

isbn = {978-1-4673-5828-6},

year  = {2013},

date = {2013-01-01},

pages = {1--9},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_219,

title = {On-the-fly VoIP call quality evaluation with improved E-model},

author = {Alberto Salmeron and Pedro Merino},

isbn = {978-1-4503-2371-0},

year  = {2013},

date = {2013-01-01},

pages = {145--151},

address = {New York},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_220,

title = {RAISE: RAIlway in infrastructure health monitoring using wireless SEnsor networks},

author = {Jaime Chen and Manuel Díaz and Bartolomé Rubio and José Mª Troya},

year  = {2013},

date = {2013-01-01},

booktitle = {Proc. of 4th International Conference on Sensor Systems and Software. S-CUBE 2013. June 11-12, Lucca, Italy},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Stolfi2013b,

title = {Red Swarm: Smart Mobility in Cities with EAs},

author = {Daniel H. Stolfi and Enrique Alba},

isbn = {978-1-4503-1963-8},

year  = {2013},

date = {2013-01-01},

booktitle = {Proc. of the 2013 Genetic and Evolutionary Computation Conference. GECCO'13. July 6-10, 2013, Amsterdam, The Netherlands},

publisher = {ACM},

address = {New York},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_221,

title = {Secure engineering and modelling of a metering devices system},

author = {Jose Fran. Ruiz and Arjona M Fernández and Maña A Gómez and Niklas Carstens},

isbn = {978-0-7695-5008-4},

year  = {2013},

date = {2013-01-01},

pages = {418--427},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_108,

title = {TEAM_K: a service oriented Kernel for soft real time simulations},

author = {Manuel Díaz and Daniel Garrido and Luis Llopis and Enrique Soler and Sergio Romero},

year  = {2013},

date = {2013-01-01},

booktitle = {Actas de las XVI Jornadas de Tiempo Real. JTR 2013, Universitat Politècnica de València, 31 de enero y 1 de febrero},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Navas2013MultiobjectiveAM,

title = {Multiobjective Adaptive Metaheuristics},

author = {Mirialys Machin Navas and Antonio Jes'us Nebro Urbaneja},

year  = {2013},

date = {2013-01-01},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Dervos2013,

title = {A DBTechNet prohect for VET teacher training on database SQL transactions},

author = {Dimitris A. Dervos and Martii Laiho and José F. Aldana-Montes and Päivi Riihelä},

isbn = {978-1-4503-1851-8},

year  = {2013},

date = {2013-01-01},

booktitle = {Proc. of the 6th Balkan conference in informatics. BCI 2013, 19-21 september, Thessaloniki, Greece},

pages = {149--155},

publisher = {ACM},

address = {New York NY. USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_222,

title = {An Evaluation of multiobjective urban tourist route planning with mobile devices},

author = {Inmaculada Ayala and Lawrence Mandow and Mercedes Amor and Lidia Fuentes},

isbn = {978-3-642-35376-5},

year  = {2012},

date = {2012-12-01},

booktitle = {José Bravo; Diego López-de-Ipiña; Francisco Moya (Eds.). Ubiquitous computing and ambient intelligence: 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Díaz2012,

title = {A Distributed simulation tool on Windows Phone 7},

author = {Manuel Díaz and Daniel Garrido and Luis Llopis and Enrique Soler},

editor = {Matthias Klumpp},

isbn = {978-90-77381-73-1},

year  = {2012},

date = {2012-11-01},

booktitle = {Matthias Klumpp, (ed.). The 2012 European Simulation and Modelling Conference. Modelling and Simulation 2012. ESM 2012, october 22-24, 2012. Fom University of Appied Science. Essen, Germany},

publisher = {Eurosis-ETI},

address = {Belgium},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Alcaraz2012,

title = {Addressing situational awareness in critical domains of a Smart Grid},

author = {Cristina Alcaraz and Javier López},

editor = {Li Xu and Elisa Bertino and Yi Mu},

isbn = {978-3-642-34600-2},

year  = {2012},

date = {2012-11-01},

booktitle = {Li Xu; Elisa Bertino; Yi Mu (eds.). Network and System Security. 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_223,

title = {Available and reliable services},

author = {J L Pastrana and E Pimentel and M Katrib},

year  = {2012},

date = {2012-11-01},

pages = {233--238},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_224,

title = {Component and aspect-based service product line for pervasive systems},

author = {Gustavo García Pascual and Mónica Pinto Alarcón and Lidia Fuentes Fernández},

editor = {Vincenzo Grassi and Raffaela Mirandola and Nenad Medvidovic and Magnus Larsson},

isbn = {978-1-4503-1345-2},

year  = {2012},

date = {2012-11-01},

urldate = {2012-11-01},

booktitle = {Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering. CBSE 2012, Bertinoro, Italy, june 25-28, 2012},

pages = {115--124},

publisher = {ACM},

address = {New York, NY, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_225,

title = {Finding fast solutions to the game of Mastermind},

author = {J J Merelo and A M Mora and C Cotta},

isbn = {978-9077381-74-8},

year  = {2012},

date = {2012-11-01},

booktitle = {Antonio José Fernández-Leiva; Carlos Cotta Porras y Raúl Lara Cabrera, (eds.). 13th International Conference on Intelligent Games and Simulation. GAME-ON 2012},

publisher = {EUROSIS-ETI},

address = {Málaga, España},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_226,

title = {Hall-of-Fame competitive coevolutionary algorithms for optimizing opponent strategies in a new game},

author = {Mariela Nogueira and Juan M Gálvez and Carlos Cotta and Antonio J Fernández-Leiva},

isbn = {978-9077381-74-8},

year  = {2012},

date = {2012-11-01},

booktitle = {Antonio José Fernández-Leiva; Carlos Cotta Porras y Raúl Lara Cabrera, (eds.). 13th International Conference on Intelligent Games and Simulation. GAME-ON 2012},

publisher = {EUROSIS-ETI},

address = {Málaga, España},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Lara-Cabrera2012,

title = {Procedural map generation for a RTS game},

author = {Raúl Lara-Cabrera and Carlos Cotta and Antonio J. Fernández-Leiva},

editor = {Antonio José Fernández-Leiva and Carlos Cotta Porras and Raúl Lara Cabrera},

isbn = {978-9077381-74-8},

year  = {2012},

date = {2012-11-01},

booktitle = {13th International Conference on Intelligent Games and Simulation. GAME-ON 2012},

publisher = {EUROSIS-ETI},

address = {Málaga, España},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Díaz2012b,

title = {TEAM_K: a new Kernel for soft real time simulations},

author = {Manuel Díaz and Daniel Garrido and Luis Llopis and Enrique Soler and Sergio Romero},

editor = {Matthias Klumpp},

isbn = {978-90-77381-73-1},

year  = {2012},

date = {2012-11-01},

booktitle = {The 2012 European Simulation and Modelling Conference. Modelling and Simulation 2012. ESM 2012, october 22-24, 2012. Fom University of Appied Science. Essen, Germany},

publisher = {Eurosis-ETI},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Moyano2012,

title = {A Task ordering approach for automatic trust establishment},

author = {Francisco Moyano and Carmen Fernández-Gago and Isaac Agudo and Javier López},

editor = {Gilles Barthe and Benjamin Livshits and Riccardo Scandariato},

isbn = {978-3-642-28165-5},

year  = {2012},

date = {2012-10-01},

booktitle = {Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012. Eindhoven, The Netherlands, february 16-17, 2012. Proceedings},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_227,

title = {A Tool for the synthesis of cryptographic orchestrators},

author = {V Ciancia and Fabio Martinelli and I Matteucci and M Petrocchi and J A Martín and E Pimentel},

isbn = {978-1-4503-1806-8},

year  = {2012},

date = {2012-10-01},

pages = {1--21},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_228,

title = {Exploiting dynamic weaving for self-managed agents in the IoT},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-3-642-33689-8},

year  = {2012},

date = {2012-10-01},

booktitle = {Ingo J. Timm, Christian Guttmann; (eds.). Multiagent System Technologies: 10th German Conference, MATES 2012, Trier, Germany, october 10-12, 2012. Proceedings},

publisher = {Springer},

address = {Berlin},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ríos2012,

title = {HIDE_DHCP: covert communications through network configuration messages},

author = {Rubén Ríos and José A. Onieva and Javier López},

editor = {Dimitris Gritzalis and Steven Furnell and Marianthi Theoharidou},

isbn = {978-3-642-30435-4},

year  = {2012},

date = {2012-10-01},

booktitle = {Information Security and Privacy Research: 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012. Heraklion, Crete, Greece, june 4-6, 2012. Proceedings. IFIP Advances in Información and Communication Technology; 376},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_229,

title = {Robust probabilistic fake packet injection for receiver-location privacy in WSN},

author = {Ruben Rios and Jorge Cuellar and Javier Lopez},

isbn = {978-3-642-33166-4},

year  = {2012},

date = {2012-10-01},

booktitle = {Sara Foresti; Moti Yung and Fabio Martinelli (Eds.). Computer Security. ESORICS 2012: 17th European Symposium on Research in Computer Security. Pisa, Italy, september 10-12, 2012. Proceedings},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Nieto2012,

title = {Traffic classifier for heterogeneous and cooperative routing through wireless sensor networks},

author = {Ana Nieto and Javier López},

editor = {Leornard Barolli and Tomoya Enokido and Fatos Xhafa and Makoto Takizawa},

isbn = {978-0-7695-4652-0},

year  = {2012},

date = {2012-10-01},

booktitle = {26th International Conference on Advanced Information Networking and Applications Workshops. Fukuoka Institute of Technology, Fukuoka, Japan, 26-29 march 2012. Proceedings},

publisher = {IEEE Computer Society},

address = {Los Alamitos, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_230,

title = {A Conceptual framework for trust models},

author = {Francisco Moyano and Carmen Fernandez-Gago and Javier Lopez},

isbn = {978-3-642-32286-0},

year  = {2012},

date = {2012-09-01},

booktitle = {Simone Fischer-Hübner; Sokratis Katsikas and Gerald Quirchmayr (Eds.). Trust, Privacy and Security in Digital Business: 9th International Conference, TrustBus 2012, Vienna, Austria, september 3-7, 2012. Proceedings},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_109,

title = {Analyzing hybrid systems with JPF},

author = {Laura Panizo and María Mar Gallardo},

isbn = {978-84-15487-27-2},

year  = {2012},

date = {2012-09-01},

booktitle = {María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012},

publisher = {Universidad de Almería},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_110,

title = {Testing temporal logic on infinite Java traces},

author = {Damián Adalid and Alberto Salmerón and María Mar Gallardo and Pedro Merino},

isbn = {978-84-15487-27-2},

year  = {2012},

date = {2012-09-01},

booktitle = {María del Mar Gallardo; Mateu Villaret and Luis Iribarne (eds.). XII Jornadas sobre programación y lenguajes. (PROLE), Almería, 17 al 19 de septiembre de 2012},

publisher = {Universidad de Almería},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ayala2012,

title = {An Agent platform for self-configuring agents in the internet of things},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-84-8363-850-7},

year  = {2012},

date = {2012-06-01},

booktitle = {Proceedings of the Thirds International Workshop on Infrastructures and Tools for Multiagent Systems. ITMAS 2012. June 5, 2012 Valencia, Spain},

publisher = {Universidad Politècnica de València},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{yLopez2012,

title = {Secure architecture for the integration of RFID and sensors in personal networks},

author = {Pablo Nájera and Rodrigo Román Javier López},

editor = {Catherine Meadows and Carmen Fernández-Gago},

isbn = {978-3-642-29962-9},

year  = {2012},

date = {2012-06-01},

booktitle = {Security and Trust Managemtn: 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011. Revised Selected Papers},

publisher = {Springer},

address = {Berlin},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_231,

title = {Self-management of ambient intelligence systems: a pure agent-based approach},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-0-9817381-6},

year  = {2012},

date = {2012-06-01},

pages = {1427--1428},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_111,

title = {Generation of safe operations for dam management using formal methods},

author = {Laura Panizo and Maria-del-Mar Gallardo},

year  = {2012},

date = {2012-06-01},

booktitle = {XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_112,

title = {Integration of model checking and simulation for protocol analysis},

author = {Alberto Salmerón and Pedro Merino},

year  = {2012},

date = {2012-06-01},

booktitle = {XX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_232,

title = {Behaviour-Aware compositions of things},

author = {Javier Cubo and Antonio Brogi and Ernesto Pimentel},

year  = {2012},

date = {2012-03-01},

booktitle = {Proc. of 2012 IEEE International Conference on Green Computing and Communications Conference on Internet of Things, and Conference Cyber, Physical and Social Computing. GreenCom 2012.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_233,

title = {Mobile application profiling with TestelDroid},

author = {Andrés Álvarez and Almudena Díaz Zayas and Pedro Merino and Francisco Rivas},

doi = {10.1109/CCNC.2012.6181039},

isbn = {978-1-4577-2069-7},

year  = {2012},

date = {2012-03-01},

urldate = {2012-03-01},

booktitle = {Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV},

publisher = {IEEE Communications Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_234,

title = {On the Service discovery using context-awareness, semantic matching and behavioural compatibility},

author = {Javier Cubo and Ernesto Pimentel},

doi = {10.1109/ICCSE.2012.43},

isbn = {978-0-7695-4914-9},

year  = {2012},

date = {2012-03-01},

urldate = {2012-03-01},

booktitle = {Proc. of the 15th IEEE International Conference on Computational Science and Engineering. CSE 2012 and the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing. EUC 2012, 5-7 december 2012, Paphos, Cyprus},

pages = {259-266},

publisher = {IEEE Communications Society},

address = {Los Alamitos, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_235,

title = {Testing of LTE configurations and applications},

author = {Francisco Javier Rivas and Almudena Díaz Zayas and Pedro Merino},

isbn = {978-3-642-35575-2},

year  = {2012},

date = {2012-03-01},

urldate = {2012-03-01},

booktitle = {En T. Korakis, M. Zink, and M. Ott (Eds.): TridentCom 2012},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_236,

title = {Towards behaviour-aware compositions of things in the future internet},

author = {Javier Cubo and Antonio Brogi and Ernesto Pimentel},

isbn = {978-1-4503-1566-1},

year  = {2012},

date = {2012-03-01},

booktitle = {Proc. of the 2nd. International Workshop on Adaptative Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012). 19 september 2012, Bertinoro, Italy},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_237,

title = {Developing cross-cloud migratable applications through the use of adaptation},

author = {Joaquín Guillén and Javier Miranda and Juan Manuel Murillo and Carlos Canal},

year  = {2012},

date = {2012-01-01},

booktitle = {Proc. of 1st. Workshop on management of resources and services in Cloud and Sky computing (MICAS 2012) in conjunction with SYNASC 2012, Timisoara, Rumanía, 26 de september 2012},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_238,

title = {Distributed shared memory as an approach for integrating WSNs and cloud computing},

author = {Peter Langendoerfer and Krzysztof Piotrowski and Manuel Díaz and Bartolomé Rubio},

isbn = {978-1-4673-0229-6},

year  = {2012},

date = {2012-01-01},

pages = {1--6},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_239,

title = {Enough about standardization, Let´s build Cloud applications},

author = {Javier Miranda Carpintero and Joaquín Guillén and Juan Murillo and Carlos Canal},

isbn = {978-1-4503-1568-5},

year  = {2012},

date = {2012-01-01},

urldate = {2012-01-01},

booktitle = {Proceedings Companion Volume. WICSA/ECSA 2012, Helsinki, Finland, august 20-24, 2012},

publisher = {ACM},

address = {New York, NY, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_240,

title = {Evolutionary powr-aware routing in VANETs using Monte-Carlo simulation},

author = {Jamal Toutouh and Sergio Nesmachnow and Enrique Alba},

isbn = {978-1-4673-2362-8},

year  = {2012},

date = {2012-01-01},

booktitle = {Proceeding of the 10th International Conference on High Performance Computing and Simulation (HPCS 2012)},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_241,

title = {Field measurements of mobile services with Android smartphones},

author = {Andrés Álvarez and Almudena Díaz and Pedro Merino and Francisco Javier Rivas},

isbn = {978-1-4577-2069-7},

year  = {2012},

date = {2012-01-01},

booktitle = {Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV},

publisher = {IEEE Communications Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_242,

title = {Green OLSR in VANETs with differential evolution},

author = {Jamal Toutouh and Enrique Alba},

isbn = {978-1-4503-1178-6},

year  = {2012},

date = {2012-01-01},

booktitle = {Terence Soule (ed.). Proceedings of the fourteenth international conference on Genetic and Evolutionary Computation conference companion (GECCO Companion '12)},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_243,

title = {Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of Cloud SBAs},

author = {Javier Miranda Carpintero and Joaquín Guillén and Juan Murillo and Carlos Canal},

isbn = {978-1-4503-1566-1},

year  = {2012},

date = {2012-01-01},

urldate = {2012-01-01},

booktitle = {Proc. of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashup (WAS4FI-Mashups 2012). 19 september 2012, Bertinoro, Italy},

publisher = {ACM},

address = {New York, NY, USA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_244,

title = {Matching business process workflows across abstraction levels},

author = {Moisés Castelo and Javier Troya and Krzysztof Czarnecki and Jochen Küster and Hagen Völzer},

isbn = {978-3-642-33665-2},

year  = {2012},

date = {2012-01-01},

booktitle = {Robert B. France; Jürgen Kazmeier; Ruth Breu and Colin Atkinson (Eds.). Model driven engineering Languages and system: 15th international conference, MODELS 2012, Innsbruck, Austria, september 30-october 5, 2012, proceedings},

publisher = {Springer},

address = {Berlín},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_245,

title = {Multi-Objective OLSR optimization for VANETs},

author = {Jamal Toutouh and Enrique Alba},

isbn = {978-1-4673-1430-5},

year  = {2012},

date = {2012-01-01},

urldate = {2012-01-01},

booktitle = {Proceedings of the 2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 8-10 october 2012 in Barcelona, Spain},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_246,

title = {Parallel Swarm intelligence for VANETs optimization},

author = {Jamal Toutouh and Enrique Alba},

isbn = {978-0-7695-4881-8},

year  = {2012},

date = {2012-01-01},

urldate = {2012-01-01},

booktitle = {Proceedings of the seventh international conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2012), 12-14 november 2012, Victoria, British Columbia, Canada},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_247,

title = {Particle Swarm optimization aplicado a la programación de los ciclos de semáforos en Bahía Blanca},

author = {José García-Nieto and Enrique Alba and Ana C Olivera},

isbn = {978-087-1648-34-4},

year  = {2012},

date = {2012-01-01},

booktitle = {Anales del XVIII Congreso Argentino de Ciencias de la Computación. CACIC 2012, 8 al 12 de octubre de 2012, Bahía Blanca, Buenos Aires, Argentina},

publisher = {Universidad Nacional del Sur},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_248,

title = {Security and QoS tradeoffs: towards a FI perspective},

author = {Ana Nieto and Javier López},

isbn = {978-0-7695-4652-0},

year  = {2012},

date = {2012-01-01},

urldate = {2012-01-01},

booktitle = {Leornard Barolli; Tomoya Enokido; Fatos Xhafa and Makoto Takizawa, (Eds.). 26th International Conference on Advanced Information Networking and Applications Workshops. Fukuoka Institute of Technology, Fukuoka, Japan, 26-29 march 2012. Proceedings},

publisher = {IEEE Computer Society},

address = {Los Alamitos, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{nokey_249,

title = {Self-StarMAS: a multi-agent system for the self-management of AAL applications},

author = {Inmaculada Ayala and Mercedes Amor and Lidia Fuentes},

isbn = {978-0-7695-4684-1},

year  = {2012},

date = {2012-01-01},

booktitle = {Llsun You...[et al.], (eds.). Sixth international conference on innovative mobile and internet services ubiquitous computing. IMIS 2012. 4-6 july 2012, Palermo, Italy},

publisher = {IEEE Computer Society},

address = {Los Alamitos, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}