Um Sistema para Execução de Especificações JSD. - Ana Maria Ambrosio; Flávio Roberto Dias Velasco (SBES, 1988)

An Experience in Testing an Object-Oriented Satellite Control System. - Ana Maria Ambrosio; Luciana Seda C. Gonçalves; Paulo Eduardo Cardoso (Softw. Qual. J., 1999)

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. - Eliane Martins; Selma B. Sabião; Ana Maria Ambrosio (Softw. Qual. J., 1999)

COFI: an approach combining conformance test and fault injection for espace application software validation. - Ana Maria Ambrosio (2005)

Verificação e Validação na terceirização de software embarcado em aplicações espaciais. - Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Júnior; Ana Maria Ambrosio; Ricardo Costa; Leise Jogaib (SBQS, 2006)

A Conformance Testing Process for Space Applications Software Services. - Ana Maria Ambrosio; Eliane Martins; Nandamudi L. Vijaykumar; Solon V. Carvalho (J. Aerosp. Comput. Inf. Commun., 2006)

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. - Ana Maria Ambrosio; Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Jr.; Wendell Pereira da Silva; Eliane Martins (LADC, 2007)

QSEE Project: An Experience in Outsourcing Software Development for Space Applications. - Valdivino Alexandre de Santiago Jr.; Maria de Fátima Mattiello-Francisco; Ricardo Costa; Wendell Pereira da Silva; Ana Maria Ambrosio (SEKE, 2007)

Errors on Space Software Requirements: A Field Study and Application Scenarios. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Nuno Silva; Marco Vieira; Henrique Madeira (ISSRE, 2010)

Benchmarking Software Requirements Documentation for Space Application. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Rodrigo Pastl Pontes; Marco Vieira; Henrique Madeira (SAFECOMP, 2010)

Applying Data Mining for Detecting Anomalies in Satellites. - Denise Rotondi Azevedo; Ana Maria Ambrosio; Marco Vieira (EDCC, 2012)

HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. - Denise Rotondi Azevedo; Ana Maria Ambrosio; Marco Vieira (PRDC, 2013)

Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies. - Andre Corsetti; Ana Maria Ambrosio; Maria de Fátima Mattiello-Francisco (SBESC, 2013)

Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). - Denise Rotondi Azevedo; Ana Maria Ambrosio; Marco Vieira (EDCC, 2014)

Contributions of model checking and CoFI methodology to the development of space embedded software. - Rodrigo Pastl Pontes; Paulo Claudino Véras; Ana Maria Ambrosio; Emília Villani (Empir. Softw. Eng., 2014)

A benchmarking process to assess software requirements documentation for space applications. - Paulo C. Véras; Emília Villani; Ana Maria Ambrosio; Marco Vieira; Henrique Madeira (J. Syst. Softw., 2015)

An Approach for Verification of a Satellite Simulator - An Evolving System. - Paulo Diego Barbosa Da Silva; Ana Maria Ambrosio; Emília Villani; Denise Rotondi Azevedo (LADC, 2016)

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. - Juliana Galvani Greghi; Eliane Martins; Ariadne Maria Brito Rizzoni Carvalho; Ana Maria Ambrosio; Emília Villani (J. Aerosp. Inf. Syst., 2018)

Tangible user interface vocabulary to physically enhance space systems engineering tools. - Christopher Shneider Cerqueira; Ana Maria Ambrosio; Claudio Kirner (Concurr. Eng. Res. Appl., 2019)

Integrating model checking and model based testing for industrial software development. - Emília Villani; Rodrigo Pastl Pontes; Guilherme Kisseloff Coracini; Ana Maria Ambrosio (Comput. Ind., 2019)

Generating test cases to evaluate and improve processes of safety-critical systems development. - Lilian Barros; Celso M. Hirata; Johnny Cardoso Marques; Ana Maria Ambrosio (ISSRE Workshops, 2020)

Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System. - Celso M. Hirata; Ana Maria Ambrosio (IEEE Syst. J., 2022)