Márcio Cornélio
Affiliations:- Universidade Federal de Pernambuco, Brazil
According to our database1,
Márcio Cornélio
authored at least 19 papers
between 2000 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
1
1
1
2
1
2
2
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cin.ufpe.br
On csauthors.net:
Bibliography
2019
Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015).
Sci. Comput. Program., 2019
2017
Softw. Syst. Model., 2017
2014
Proceedings of the 13th International Conference on Modularity, 2014
Proceedings of the 13th International Conference on Modularity, 2014
2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program., 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
2010
GA-based method for feature selection and parameters optimization for machine learning regression applied to software effort estimation.
Inf. Softw. Technol., 2010
2009
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009
2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the First International Conference on Software Testing, 2008
2007
Proceedings of the 1st Workshop on Refactoring Tools, 2007
2005
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005
2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
2003
Proceedings of the ECOOP 2003, 2003
2002
Proceedings of the BCS FACS Refinement Workshop 2002, 2002
2000
Proceedings of the Software Reuse: Advances in Software Reusability, 2000