Papers

Automatic Test Generation for Space

Ulisses Costa, Daniela Cruz, Pedro Rangel Henriques

SLATE 2012

Download PDF

GreenSSCM: Green Software for Space Control Missions

Ulisses Costa, Luis Teixeira, Miguel Lordelo, Tiago Carvalho, Orlando Belo, Victor Fonte, Pedro Henriques, Antonio Ribeiro, Joao Saraiva

IT4Energy 2015

Download PDF