André Maroneze
Affiliations:- University of Rennes 1, France (PhD 2014)
According to our database1,
André Maroneze
authored at least 8 papers
between 2011 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
0
1
2
3
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Commun. ACM, 2021
2019
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
2015
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
2014
Certified Compilation and Worst-Case Execution Time Estimation. (Compilation formellement vérifiée et estimation du pire temps d'éxécution).
PhD thesis, 2014
Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014
2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Static Analysis - 20th International Symposium, 2013
2011
Introduction of statistical information in a syntactic analyzer for document image recognition.
Proceedings of the Document Recognition and Retrieval XVIII, 2011