Ana Maria Ambrosio

ORCID

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 7

Top Venues

National Institute for Space Research, São José dos Campos, Brazil (PHD)

Education History

National Institute for Space Research, São José dos Campos, Brazil

PHD

Publications

Celso M. Hirata, Ana Maria Ambrosio
Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System. IEEE Syst. J. 16 (4) (2022)
Lilian Barros, Celso M. Hirata, Johnny Marques, Ana Maria Ambrosio
Generating test cases to evaluate and improve processes of safety-critical systems development. ISSRE Workshops (2020)
Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104 (2019)
Christopher Shneider Cerqueira, Ana Maria Ambrosio, Claudio Kirner
Tangible user interface vocabulary to physically enhance space systems engineering tools. Concurr. Eng. Res. Appl. 27 (4) (2019)
Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio, Emília Villani
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15 (5) (2018)
Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo
An Approach for Verification of a Satellite Simulator - An Evolving System. LADC (2016)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100 (2015)
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). EDCC (2014)
Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio, Emília Villani
Contributions of model checking and CoFI methodology to the development of space embedded software. Empir. Softw. Eng. 19 (1) (2014)
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. PRDC (2013)
Andre Corsetti, Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco
Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies. SBESC (2013)
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira
Applying Data Mining for Detecting Anomalies in Satellites. EDCC (2012)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE (2010)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP (2010)
Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Eliane Martins
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. LADC (2007)
Valdivino Alexandre de Santiago Jr., Maria de Fátima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio
QSEE Project: An Experience in Outsourcing Software Development for Space Applications. SEKE (2007)
Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Júnior, Ana Maria Ambrosio, Ricardo Costa, Leise Jogaib
Verificação e Validação na terceirização de software embarcado em aplicações espaciais. SBQS (2006)
Ana Maria Ambrosio, Eliane Martins, Nandamudi L. Vijaykumar, Solon V. Carvalho
A Conformance Testing Process for Space Applications Software Services. J. Aerosp. Comput. Inf. Commun. 3 (4) (2006)
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. HICSS (2000)
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. Softw. Qual. J. 8 (4) (1999)
Ana Maria Ambrosio, Luciana Seda C. Gonçalves, Paulo Eduardo Cardoso
An Experience in Testing an Object-Oriented Satellite Control System. Softw. Qual. J. 8 (4) (1999)
Ana Maria Ambrosio, Flávio Roberto Dias Velasco
Um Sistema para Execução de Especificações JSD. SBES (1988)

Ana Maria Ambrosio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ana Maria Ambrosio