Run-Time Dynamically-Adaptable FPGA-Based Architecture for High-Performance Autonomous Distributed Systems. - Juan Valverde-Alcalá (2015)

Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. - Pasquale Antonante; Juan Valverde-Alcalá; Stylianos Basagiannis; Marco Di Natale (SAFECOMP Workshops, 2017)

ReForm: A Tool for Rapid Requirements Formalization. - Georgios Giantamidis; Georgios Papanikolaou; Marcelo Miranda; Gonzalo Salinas-Hernando; Juan Valverde-Alcalá; Suresh Veluru 001; Stylianos Basagiannis (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)