Denise Rotondi Azevedo

According to our database, Denise Rotondi Azevedo authored at least 4 papers between 2012 and 2016.

Collaborative distances:

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

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

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

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