Carlos Redondo

11 papers Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Specification and model-checking of space systems in the TASTE toolset.
Innov. Syst. Softw. Eng.
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin
2022 — conf
Model-checking of space systems designed with TASTE/SDL.
MoDELS (Companion)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2022 — conf
Sensing Anomalies as Potential Hazards: Datasets and Benchmarks.
TAROS
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
2021 J jnl
Sensing Anomalies as Potential Hazards: Datasets and Benchmarks.
CoRR
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
2020 J jnl
High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model.
CoRR
Juan Manzanero, Carlos Redondo, Miguel Chávez-Modena, Gonzalo Rubio, Eusebio Valero, Susana Gómez-Álvarez, Ángel Rivero-Jiménez
2020 J jnl
Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor.
Sensors
Liang Lu, Carlos Redondo, Pascual Campoy
2019 — conf
Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service.
PEARC
Carlos Redondo, Ritu Arora
2019 — conf
Theoretical and Practical Approaches for Teaching Parallel Code Correctness.
HiPC Workshops
Carlos Redondo, Ritu Arora, Trung Nguyen Ba
2016 J jnl
Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity.
J. Comput. Phys.
François Fraysse, Carlos Redondo, Gonzalo Rubio, Eusebio Valero
2010 Misc ed.
Computational Intelligence in Security for Information Systems 2010 - Proceedings of the 3rd International Conference on Computational Intelligence in Security for Information Systems (CISIS'10), León, Spain, November 11-12, 2010
CISIS
Álvaro Herrero, Emilio Corchado, Carlos Redondo, Ángel Alonso
2008 — conf
Ontologies as knowledge representation structures for CACSD software.
CACSD
Carmen Benavides, Isaías García, Héctor Alaiz-Moretón, Javier Alfonso, Carlos Redondo, Ángel Alonso