Seguir
Raúl Nestor Neri Alborodo
Raúl Nestor Neri Alborodo
IMDEA Software Institute
Dirección de correo verificada de babel.ls.fi.upm.es
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3