An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. - Miguel Alexandre Ferreira; José Nuno Oliveira (SBMF, 2009)

The overture initiative integrating tools for VDM. - Peter Gorm Larsen; Nick Battle; Miguel Alexandre Ferreira; John S. Fitzgerald; Kenneth Lausdahl; Marcel Verhoef (ACM SIGSOFT Softw. Eng. Notes, 2010)

Measuring maintainability of spreadsheets in the wild. - José Pedro Correia; Miguel Alexandre Ferreira (ICSM, 2011)

Requirements for Automated Assessment of Spreadsheet Maintainability - José Pedro Correia; Miguel Alexandre Ferreira (CoRR, 2011)

Governance of Spreadsheets through Spreadsheet Change Reviews. - Miguel Alexandre Ferreira; Joost Visser 001 (CoRR, 2012)

Faster issue resolution with higher technical quality of software. - Dennis Bijlsma; Miguel Alexandre Ferreira; Bart Luijten; Joost Visser 001 (Softw. Qual. J., 2012)

Seflab: A lab for measuring software energy footprints. - Miguel Alexandre Ferreira; Eric Hoekstra; Bo Merkus; Bram Visser; Joost Visser 001 (GREENS, 2013)

Alloy Meets the Algebra of Programming: A Case Study. - José Nuno Oliveira; Miguel Alexandre Ferreira (IEEE Trans. Software Eng., 2013)

Profiling energy profilers. - Erik Jagroep; Jan Martijn E. M. van der Werf; Slinger Jansen; Miguel Alexandre Ferreira; Joost Visser 001 (SAC, 2015)