| 2020 | ISSRE | Generating test cases to evaluate and improve processes of safety-critical systems development. | Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio |
| 2014 | EDCC | Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
| 2013 | PRDC | HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
| 2012 | EDCC | Applying Data Mining for Detecting Anomalies in Satellites. | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
| 2010 | ISSRE | Errors on Space Software Requirements: A Field Study and Application Scenarios. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira |
| 2010 | SAFECOMP | Benchmarking Software Requirements Documentation for Space Application. | Paulo C. Vras, Emlia Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira |
| 2007 | SEKE | QSEE Project: An Experience in Outsourcing Software Development for Space Applications. | Valdivino Alexandre de Santiago Jr., Maria de Ftima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio |