EUROPEAN SPACE ROBOTICS CONTROL AND OPERATING SYSTEM (ESROCOS)

You are here: Home » Documents » Scientific publications

Scientific publications

Scientific Publications & Conference papers

Type of document  Title Conference/Journal Authors   Date
ConferencePaper 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
ConferencePaper The Refinement Calculus of Reactive Systems Toolset  TACAS 2018  UGA  PU  October 2018
ConferencePaper 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