Miriam C. Bergue Alves

According to our database, Miriam C. Bergue Alves authored at least 6 papers between 2010 and 2016.

Collaborative distances:

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

2016

Formal Verification of a Space System's User Interface With the IVY Workbench.

José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison

IEEE Trans. Hum. Mach. Syst., 2016

2014

Formal Verification of Safety-Critical User Interfaces: a space system case study.

Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software.

Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing

IEEE Syst. J., 2013

2012

Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case.

Miriam C. Bergue Alves, Cynthia Feitosa Leal

Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

2011

Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring.

Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

2010

AGRUPE - A Knowledge Management Tool.

Ana Marlene Morais, Miriam C. Bergue Alves

Proceedings of the KMIS 2010, 2010