Carlos Redondo

According to our database, Carlos Redondo authored at least 11 papers between 2008 and 2025.

Collaborative distances:

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

2025

Specification and model-checking of space systems in the TASTE toolset.

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin

Innov. Syst. Softw. Eng., September, 2025

2022

Dataset for Sensing Anomalies as Potential Hazards in Mobile Robots.

Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jerome Guzzi

Dataset, September, 2022

Sensing Anomalies as Potential Hazards: Datasets and Benchmarks.

Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi

Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022

Model-checking of space systems designed with TASTE/SDL.

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Dataset for Sensing Anomalies as Potential Hazards in Mobile Robots.

Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jerome Guzzi

Dataset, September, 2021

2020

Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor.

Liang Lu, Carlos Redondo, Pascual Campoy

Sensors, 2020

High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model.

Juan Manzanero, Carlos Redondo, Miguel Chávez-Modena, Gonzalo Rubio, Eusebio Valero, Susana Gómez-Álvarez, Ángel Rivero-Jiménez

CoRR, 2020

2019

Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service.

Carlos Redondo, Ritu Arora

Proceedings of the Practice and Experience in Advanced Research Computing on Rise of the Machines (learning), 2019

Theoretical and Practical Approaches for Teaching Parallel Code Correctness.

Carlos Redondo, Ritu Arora, Trung Nguyen Ba

Proceedings of the 26th International Conference on High Performance Computing, 2019

2016

Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity.

François Fraysse, Carlos Redondo, Gonzalo Rubio, Eusebio Valero

J. Comput. Phys., 2016

2008

Ontologies as knowledge representation structures for CACSD software.

Carmen Benavides, Isaías García, Héctor Alaiz-Moretón, Javier Alfonso, Carlos Redondo, Ángel Alonso

Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008