Juan Valverde-Alcalá

According to our database, Juan Valverde-Alcalá authored at least 3 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

ReForm: A Tool for Rapid Requirements Formalization.

Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis

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

2017

Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach.

Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Run-Time Dynamically-Adaptable FPGA-Based Architecture for High-Performance Autonomous Distributed Systems.

Juan Valverde-Alcalá

PhD thesis, 2015