Ricardo Ruiz Nolasco

According to our database, Ricardo Ruiz Nolasco authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

Digital twin for the formal analysis of a depth of anesthesia controller.

Mohamed Abdelsalam, Saddek Bensalem, Antoine Delacourt, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Ricardo Ruiz Nolasco, Doron Peled, Matthieu Ponchant, Ismail Ryad, Anastasios Temperekidis, Changshun Wu

Simul., 2025

Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice.

Jose Luis de la Vara, Juan Manuel Morote, Clara Ayora, Giovanni Giachetti, Luis Alonso, Roy Mendieta, David Muñoz, Ricardo Ruiz Nolasco, Antonio González

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2023

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.

Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2022

Simulation Setup for a Closed-Loop Regulation of Neuro-Muscular Blockade.

Martin Hrubý, Antonio González, Ricardo Ruiz Nolasco, Peter Biro

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

Will safety-security co-engineering pay off? A quality and cost perspective in two case studies.

Imanol Urretavizcaya, Jabier Martinez, Giuseppe Satriani, Alejandra Ruiz, Ricardo Ruiz Nolasco, Antonio González, Isaac Moreno, Abel Balbis

Proceedings of the IEEE/ACM Joint 9th International Workshop on Software Engineering for Systems-of-Systems (SESoS) and 15th Workshop on Distributed Software Development, 2021

2020

Safety and Security Interference Analysis in the Design Stage.

Jabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

Simulation Infrastructure for Automated Anesthesia During Operations.

Martin Hrubý, Antonio Gonzáles, Ricardo Ruiz Nolasco, Ken Sharman, Sergio Sáez

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2018

Approach for Enabling Security Across PLC Phases: An Industrial Use Case.

Xabier Larrucea, Félix Nanclares, Izaskun Santamaría, Ricardo Ruiz Nolasco

Proceedings of the Systems, Software and Services Process Improvement, 2018