Miguel Alexandre Ferreira

According to our database, Miguel Alexandre Ferreira authored at least 9 papers between 2009 and 2015.

Collaborative distances:

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

2015

Profiling energy profilers.

Erik Jagroep, Jan Martijn E. M. van der Werf, Slinger Jansen, Miguel Alexandre Ferreira, Joost Visser

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2013

Alloy Meets the Algebra of Programming: A Case Study.

José Nuno Oliveira, Miguel Alexandre Ferreira

IEEE Trans. Software Eng., 2013

Seflab: A lab for measuring software energy footprints.

Miguel Alexandre Ferreira, Eric Hoekstra, Bo Merkus, Bram Visser, Joost Visser

Proceedings of the 2nd International Workshop on Green and Sustainable Software, 2013

2012

Faster issue resolution with higher technical quality of software.

Dennis Bijlsma, Miguel Alexandre Ferreira, Bart Luijten, Joost Visser

Softw. Qual. J., 2012

Governance of Spreadsheets through Spreadsheet Change Reviews.

Miguel Alexandre Ferreira, Joost Visser

CoRR, 2012

2011

Requirements for Automated Assessment of Spreadsheet Maintainability

José Pedro Correia, Miguel Alexandre Ferreira

CoRR, 2011

Measuring maintainability of spreadsheets in the wild.

José Pedro Correia, Miguel Alexandre Ferreira

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010

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

2009

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.

Miguel Alexandre Ferreira, José Nuno Oliveira

Proceedings of the Formal Methods: Foundations and Applications, 2009