Miguel Alexandre Ferreira

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Software Testing

Algebraic Geometry

Quality Attributes

Energy Minimization

Top Venues

Softw. Qual. J.

Publications

Erik Jagroep, Jan Martijn E. M. van der Werf, Slinger Jansen, Miguel Alexandre Ferreira, Joost Visser
Profiling energy profilers. SAC (2015)
José Nuno Oliveira, Miguel Alexandre Ferreira
Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. 39 (3) (2013)
Miguel Alexandre Ferreira, Eric Hoekstra, Bo Merkus, Bram Visser, Joost Visser
Seflab: A lab for measuring software energy footprints. GREENS (2013)
Dennis Bijlsma, Miguel Alexandre Ferreira, Bart Luijten, Joost Visser
Faster issue resolution with higher technical quality of software. Softw. Qual. J. 20 (2) (2012)
Miguel Alexandre Ferreira, Joost Visser
Governance of Spreadsheets through Spreadsheet Change Reviews. CoRR (2012)
José Pedro Correia, Miguel Alexandre Ferreira
Measuring maintainability of spreadsheets in the wild. ICSM (2011)
José Pedro Correia, Miguel Alexandre Ferreira
Requirements for Automated Assessment of Spreadsheet Maintainability CoRR (2011)
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35 (1) (2010)
Miguel Alexandre Ferreira, José Nuno Oliveira
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF (2009)