| DynAlloy: upgrading alloy with actions MF Frias, JP Galeotti, CG López Pombo, NM Aguirre Proceedings of the 27th international conference on Software engineering …, 2005 | 151 | 2005 |
| Analysis of invariants for efficient bounded verification JP Galeotti, N Rosner, CG López Pombo, MF Frias Proceedings of the 19th international symposium on Software testing and …, 2010 | 106 | 2010 |
| TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds JP Galeotti, N Rosner, CGL Pombo, MF Frias IEEE Transactions on Software Engineering 39 (9), 1283-1307, 2013 | 70 | 2013 |
| Fork algebras in algebra, logic and computer science MF n Frias World Scientific, 2002 | 52 | 2002 |
| BLISS: improved symbolic execution by bounded lazy initialization with SAT support N Rosner, J Geldenhuys, NM Aguirre, W Visser, MF Frias IEEE Transactions on Software Engineering 41 (7), 639-660, 2015 | 42 | 2015 |
| Improving test generation under rich contracts by tight bounds and incremental SAT solving P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ... 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 42 | 2013 |
| A finite axiomatization for fork algebras MF Frias, AM Haeberer, PAS Veloso Logic Journal of the IGPL 5 (3), 1-10, 1997 | 42 | 1997 |
| A finite axiomatization for fork algebras MF Frias, AM Haeberer, PAS Veloso Logic Journal of IGPL 5 (3), 1-10, 1997 | 42 | 1997 |
| Fork algebras in algebra, logic and computer science MF Frias, GA Baum, AM Haeberer Fundamenta Informaticae 32 (1), 1-25, 1997 | 40 | 1997 |
| Reasoning about static and dynamic properties in alloy: A purely relational approach MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005 | 33 | 2005 |
| Fork algebras are representable MF Frias, GA Baum, AM Haeberer, PAS Veloso Bulletin of the Section of Logic 24 (2), 64-75, 1995 | 33 | 1995 |
| Equational reasoning in non-classical logics M Frias, E Orlowska Journal of Applied Non-classical Logics 8 (1-2), 27-66, 1998 | 31 | 1998 |
| Efficient analysis of DynAlloy specifications MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 1-34, 2007 | 29 | 2007 |
| Dynalloy as a formal method for the analysis of java programs JP Galeotti, MF Frias Software engineering techniques: Design for quality, 249-260, 2007 | 29 | 2007 |
| A proof system for fork algebras and its applications to reasoning in logics based on intuitionism MF Frias, E Orlowska Logique et Analyse, 239-284, 1995 | 29 | 1995 |
| Model counting for complex data structures A Filieri, MF Frias, CS Păsăreanu, W Visser Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 27 | 2015 |
| On faults and faulty programs A Mili, MF Frias, A Jaoua Relational and Algebraic Methods in Computer Science: 14th International …, 2014 | 26 | 2014 |
| Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications MF Frias, CGL Pombo, MM Moscato Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 26 | 2007 |
| Field-exhaustive testing P Ponzio, N Aguirre, MF Frias, W Visser Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 25 | 2016 |
| An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 25 | 2004 |
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
