Sensing Anomalies as Potential Hazards: Datasets and Benchmarks.
Proceedings of the Towards Autonomous Robotic Systems - 23rd Annual Conference, 2022
Model-checking of space systems designed with TASTE/SDL.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Optimal Frontier-Based Autonomous Exploration in Unconstructed Environment Using RGB-D Sensor.
Sensors, 2020
High-order discontinuous Galerkin approximation for a three-phase incompressible Navier-Stokes/Cahn-Hilliard model.
CoRR, 2020
Greyfish: An Out-of-the-Box, Reusable, Portable Cloud Storage Service.
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.
Proceedings of the 26th International Conference on High Performance Computing, 2019
Upwind methods for the Baer-Nunziato equations and higher-order reconstruction using artificial viscosity.
J. Comput. Phys., 2016
Ontologies as knowledge representation structures for CACSD software.
Proceedings of the IEEE International Conference on Computer-Aided Control Systems, 2008