Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. - Gabriel Huecas; Tomás Robles 001; L. M. Gonzalez; J. Serrano (FORTE, 1998)

GEODAS: An Industrial Experience with Component Frameworks for Data Acquisition and Analysis Systems. - J. Serrano; D. Ravier; J. Fraga; Vicente Orjales; Anastasio Molano (EUROMICRO, 2001)

Exploring Uncertainty for Clinical Acceptability in Head and Neck Deep Learning-Based OAR Segmentation. - Lucía Cubero; J. Serrano; Joël Castelli; Renaud de Crevoisier; Oscar Acosta; Javier Pascau (ISBI, 2023)