Juan Valverde-Alcalá

According to our database, Juan Valverde-Alcalá authored at least 2 papers between 2017 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