Miriam C. Bergue Alves

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

AAAI Spring Symposia

IEEE Trans. Hum. Mach. Syst.

Publications

José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia (2014)
Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE Syst. J. 7 (4) (2013)
Miriam C. Bergue Alves, Cynthia Feitosa Leal
Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case. ISPE CE (2012)
Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. SoSE (2011)
Ana Marlene Morais, Miriam C. Bergue Alves
AGRUPE - A Knowledge Management Tool. KMIS (2010)