Paulo C. Véras

A benchmarking process to assess software requirements documentation for space applications

Marco Vieira, Henrique Madeira, Ana Maria Ambrosio, 2015, J. Syst. Softw..

Contributions of model checking and CoFI methodology to the development of space embedded software

Ana Maria Ambrosio, Emília Villani, Paulo C. Véras, 2012, Empirical Software Engineering.

Errors on Space Software Requirements: A Field Study and Application Scenarios

Nuno Silva, Marco Vieira, Henrique Madeira, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing

Emilia Villani, Ana Maria Ambrosio, Paulo C. Véras, 2009 .

Dependability Benchmark for PUS-based Satellite On-Board Software

Emilia Villani, Henrique Madeira, Ana Maria Ambrosio, 2010 .

Benchmarking Software Requirements Documentation for Space Application

Marco Vieira, Henrique Madeira, Ana Maria Ambrosio, 2010, SAFECOMP.