| 2022 | CLEI | An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. | Adrin Silveira, Gustavo Betarte, Maximiliano Cristi, Carlos Luna |
| 2020 | ACNS | Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. | Gustavo Betarte, Maximiliano Cristi, Carlos Daniel Luna, Adrin Silveira, Dante Zanarini |
| 2017 | CADE | A Decision Procedure for Restricted Intensional Sets. | Maximiliano Cristi, Gianfranco Rossi |
| 2017 | CLEI | Towards formal model-based analysis and testing of Android's security mechanisms. | Gustavo Betarte, Juan Diego Campo, Maximiliano Cristi, Felipe Gorostiaga, Carlos Luna, Camila Sanz |
| 2016 | CAV | A Decision Procedure for Sets, Binary Relations and Partial Functions. | Maximiliano Cristi, Gianfranco Rossi |
| 2015 | FM | Why, how and what should be taught about Formal Methods? | Maximiliano Cristi |
| 2015 | FM | Helping Programmers to Adopt Set-Based Specifications. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2014 | FASE | Integration Testing in the Test Template Framework. | Maximiliano Cristi, Joaqun Mesuro, Claudia S. Frydman |
| 2014 | ICCSA | A Functional Verification of a Web Voting System. | Maximiliano Cristi, Claudia S. Frydman |
| 2013 | SEFM | {log} as a Test Case Generator for the Test Template Framework. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |
| 2011 | ICFEM | A Language for Test Case Refinement in the Test Template Framework. | Maximiliano Cristi, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodrguez Monetti |
| 2011 | SEW | Applying the Test Template Framework to Aerospace Software. | Maximiliano Cristi, Pablo Albertengo, Claudia S. Frydman, Brian Plss, Pablo Rodrguez Monetti |
| 2010 | INLG | Generating Natural Language Descriptions of Z Test Cases. | Maximiliano Cristi, Brian Plss |
| 2010 | SEFM | Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. | Maximiliano Cristi, Pablo Albertengo, Pablo Rodrguez Monetti |
| 2009 | ICFEM | Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. | Maximiliano Cristi, Pablo Rodrguez Monetti |