Ana Maria Ambrosio

According to our database, Ana Maria Ambrosio authored at least 22 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System.

Celso M. Hirata, Ana Maria Ambrosio

IEEE Syst. J., 2022

2020

Generating test cases to evaluate and improve processes of safety-critical systems development.

Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

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

Tangible user interface vocabulary to physically enhance space systems engineering tools.

Christopher Shneider Cerqueira, Ana Maria Ambrosio, Claudio Kirner

Concurr. Eng. Res. Appl., 2019

2018

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., May, 2018

2016

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

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015

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

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

Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper).

Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

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

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators.

Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012

Applying Data Mining for Detecting Anomalies in Satellites.

Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

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

Proceedings of the Computer Safety, 2010

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

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

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

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

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

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

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

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

Proceedings of the 5th Brazilian Symposium on Software Quality, 2006

2005

COFI: an approach combining conformance test and fault injection for espace application software validation.

Ana Maria Ambrosio

PhD thesis, 2005

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

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

1988

Um Sistema para Execução de Especificações JSD.

Ana Maria Ambrosio, Flávio Roberto Dias Velasco

Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988