Scientific Publications & Conference papers
| Type of document | Title | Conference/Journal | Authors | Date | |
| Conference Paper | ESROCOS: A ROBOTIC OPERATING SYSTEM FOR SPACE AND TERRESTRIAL APPLICATIONS | ASTRA 2017 | GMV ES, ADS Ltd, GMV POR,DLR, DFKI, Intermodalics, ISAE, Ku Leuven, VTT, UGA | PU | July 2017 |
| Paper | Designing Systems with Detection and Recon guration Capabilities: A Formal Approach | ISOLA 2018 | UGA | PU | |
| Paper | The Refi nement Calculus of Reactive Systems (Theory) | Submitted to Journal of the ACM | UGA | PU | August 2018 |
| Paper | The Refi nement Calculus of Reactive Systems Toolset |
UGA | PU | February 2018 | |
| Conference Paper | The Refinement Calculus of Reactive Systems Toolset | TACAS 2018 | UGA | PU | October 2018 |
| Conference Paper | SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems |
ATVA 2018 | UGA | PU | 2018 |
| Paper | Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework |
IJCCBS 2018 – International Journal of Critical Computer-Based Systems, Inderscience |
UGA | PU | 2018 |
| Conference Paper | ESROCOS: Development and Validation of a Space Robotics Framework [Slides] | ASTRA 2019 | GMV ES, ADS Ltd, GMV POR,DLR, DFKI, Intermodalics, ISAE, Ku Leuven, VTT, UGA | PU | May 2019 |