Ana Maria Ambrosio

According to our database1, Ana Maria Ambrosio authored at least 16 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Integrating model checking and model based testing for industrial software development.
Computers in Industry, 2019

2016
An Approach for Verification of a Satellite Simulator - An Evolving System.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015
A benchmarking process to assess software requirements documentation for space applications.
Journal of Systems and Software, 2015

2014
Contributions of model checking and CoFI methodology to the development of space embedded software.
Empirical Software Engineering, 2014

Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper).
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.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012
Applying Data Mining for Detecting Anomalies in Satellites.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2010
Benchmarking Software Requirements Documentation for Space Application.
Proceedings of the Computer Safety, 2010

Errors on Space Software Requirements: A Field Study and Application Scenarios.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2007
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.
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.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006
A Conformance Testing Process for Space Applications Software Services.
JACIC, 2006

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

2000
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1999
An Experience in Testing an Object-Oriented Satellite Control System.
Software Quality Journal, 1999


  Loading...