Author Info
Name
Affiliation
Papers
ANA MARIA AMBROSIO
INPE, Space Engn & Technol, Natl Inst Space Res, Sao Jose Dos Campos, Brazil
15
Collaborators
Citations 
PageRank 
34
48
6.17
Referers 
Referees 
References 
93
265
134
Search Limit
100265
Title
Citations
PageRank
Year
Integrating model checking and model based testing for industrial software development.10.352019
An Approach for Verification of a Satellite Simulator - An Evolving System.00.342016
A benchmarking process to assess software requirements documentation for space applications.00.342015
Contributions of model checking and CoFI methodology to the development of space embedded software40.392014
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper).00.342014
Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies00.342013
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators10.352013
Applying Data Mining for Detecting Anomalies in Satellites20.392012
Errors on Space Software Requirements: A Field Study and Application Scenarios60.462010
Benchmarking software requirements documentation for space application30.382010
Designing fault injection experiments using state-based model to test a space software60.452007
QSEE Project: An Experience in Outsourcing Software Development for Space Applications60.552007
A Conformance Testing Process for Space Applications Software Services.50.452006
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems140.711999
An Experience in Testing an Object-Oriented Satellite Control System00.341999