Follow
Raúl Nestor Neri Alborodo
Raúl Nestor Neri Alborodo
IMDEA Software Institute
Verified email at babel.ls.fi.upm.es
Title
Cited by
Cited by
Year
A testing-based approach to ensure the safety of shared resource concurrent systems
LÅ Fredlund, J Mariño, RNN Alborodo, Á Herranz
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016
82016
Synthesis of verifiable concurrent Java components from formal models
J Mariño, RNN Alborodo, LÅ Fredlund, Á Herranz
Software & Systems Modeling 18 (1), 71-105, 2019
52019
Análisis modular y recuperación de contraejemplos en TACO
R Alborodo, N Ricci, JP Galeotti, NM Aguirre
XVII Congreso Argentino de Ciencias de la Computación, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–3