Juan Valverde-Alcalá

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 2

Top Topics

Genetic Algorithm

Implementation Issues

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

SAFECOMP Workshops

Publications

Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis
ReForm: A Tool for Rapid Requirements Formalization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020)
Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. SAFECOMP Workshops (2017)