| Implementing and applying the Stocks-Carrington framework for model-based testing M Cristiá, PR Monetti International Conference on Formal Engineering Methods, 167-185, 2009 | 42 | 2009 |
| {log} as a Test Case Generator for the Test Template Framework M Cristiá, G Rossi, C Frydman International Conference on Software Engineering and Formal Methods, 229-243, 2013 | 38 | 2013 |
| Tool support for the test template framework M Cristiá, P Albertengo, C Frydman, B Plüss, PR Monetti Software Testing, Verification and Reliability 24 (1), 3-37, 2014 | 29 | 2014 |
| Solving quantifier-free first-order constraints over finite sets and binary relations M Cristiá, G Rossi Journal of Automated Reasoning 64, 295-330, 2020 | 24 | 2020 |
| A TLA+ encoding of DEVS models M Cristiá Proceedings of the International Modeling and Simulation Multiconference, 17-22, 2007 | 23 | 2007 |
| A decision procedure for restricted intensional sets M Cristiá, G Rossi International Conference on Automated Deduction, 185-201, 2017 | 22 | 2017 |
| A language for test case refinement in the Test Template Framework M Cristiá, D Hollmann, P Albertengo, C Frydman, PR Monetti International Conference on Formal Engineering Methods, 601-616, 2011 | 21 | 2011 |
| Pruning testing trees in the Test Template Framework by detecting mathematical contradictions M Cristiá, P Albertengo, PR Monetti 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 21 | 2010 |
| First Approximation to DHD Design and Implementation A Sartorio, M Cristiá Clei electronic journal 12 (1), 2009 | 20 | 2009 |
| Automated proof of Bell–LaPadula security properties M Cristiá, G Rossi Journal of Automated Reasoning 65 (4), 463-478, 2021 | 19 | 2021 |
| Introducción a la Ingenierıa de Requerimientos M Cristiá | 19 | 2011 |
| A decision procedure for sets, binary relations and partial functions M Cristiá, G Rossi Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 18 | 2016 |
| CML-DEVS: A specification language for DEVS conceptual models DA Hollmann, M Cristiá, C Frydman Simulation Modelling Practice and Theory 57, 100-117, 2015 | 16 | 2015 |
| Generating natural language descriptions of Z test cases M Cristiá, B Plüss | 16 | 2010 |
| Introducción al testing de software M Cristiá Recuperado el 14, 2009 | 16 | 2009 |
| Towards a formally verified implementation of the mimblewimble cryptocurrency protocol G Betarte, M Cristiá, C Luna, A Silveira, D Zanarini Applied Cryptography and Network Security Workshops: ACNS 2020 Satellite …, 2020 | 15 | 2020 |
| On comparing and complementing two MBT approaches M Cristiá, V Santiago, NL Vijaykumar 2010 11th Latin American Test Workshop, 1-6, 2010 | 15 | 2010 |
| Runtime enforcement of noninterference by duplicating processes and their memories M Cristiá, P Mata Workshop de Seguridad Informática WSEGI, 2009 | 15 | 2009 |
| Automated reasoning with restricted intensional sets M Cristiá, G Rossi Journal of Automated Reasoning 65 (6), 809-890, 2021 | 14 | 2021 |
| A set solver for finite set relation algebra M Cristiá, G Rossi International Conference on Relational and Algebraic Methods in Computer …, 2018 | 14 | 2018 |
