Carlos L. G. Batista

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Embedded Software

Sequence Diagrams

Selection Mechanism

Integrity Constraints

Top Venues

Publications

Carlos L. G. Batista, Fátima Mattiello-Francisco, András Pataricza
Heterogeneous Federated CubeSat System: problems, constraints and capabilities. CoRR (2022)
Carlos L. G. Batista, Eliane Martins, Maria de Fátima Mattiello-Francisco
On the use of a failure emulator mechanism at nanosatellite subsystems integration tests. LATS (2018)
Carlos A. P. L. Conceicao, Fátima Mattiello-Francisco, Carlos L. G. Batista
Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System. LADC (2016)