Ana Maria Ambrosio

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