| 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 | 158 | 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 | 113 | 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 | 79 | 2013 |
| 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 |
| 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 | 31 | 2007 |
| An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 26 | 2004 |
| Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications MF Frias, CGL Pombo, MM Moscato International Conference on Tools and Algorithms for the Construction and …, 2007 | 25 | 2007 |
| Towards managing dynamic reconfiguration of software systems in a categorical setting PF Castro, NM Aguirre, CG López Pombo, TSE Maibaum Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 21 | 2010 |
| A Semantic Embedding of the Dynamic Logic in PVS CL Pombo, S Owre, N Shankar | 17 | 2003 |
| Dynamite: A tool for the verification of alloy models based on PVS MM Moscato, CGL Pombo, MF Frias ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 1-37, 2014 | 14 | 2014 |
| Interpretability of first-order linear temporal logics in fork algebras MF Frias, CGL Pombo The Journal of Logic and Algebraic Programming 66 (2), 161-184, 2006 | 13 | 2006 |
| Parallel bounded verification of Alloy models by TranScoping N Rosner, CG López Pombo, N Aguirre, A Jaoua, A Mili, MF Frias Verified Software: Theories, Tools, Experiments: 5th International …, 2014 | 11 | 2014 |
| Taking Alloy to the Movies MF Frias, CG López Pombo, GA Baum, NM Aguirre, T Maibaum FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 11 | 2003 |
| ParAlloy: Towards a framework for efficient parallel analysis of Alloy models N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 10 | 2010 |
| Time is on my side MF Frias, CG Lopez Pombo Proceedings of the 7th. Conference on Relational Methods in Computer Science …, 2003 | 10 | 2003 |
| Automatic quality-of-service evaluation in service-oriented computing AE Martinez Suñé, CG Lopez Pombo Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019 | 9 | 2019 |
| Categorical foundations for structured specifications in PF Castro, N Aguirre, CL Pombo, TSE Maibaum Formal Aspects of Computing 27 (5), 831-865, 2015 | 8 | 2015 |
| HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications M Giménez, MM Moscato, CGL Pombo, MF Frias arXiv preprint arXiv:1401.0974, 2014 | 6 | 2014 |
| Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements MM Moscato, CG López Pombo, MF Frias International Colloquium on Theoretical Aspects of Computing, 275-289, 2010 | 6 | 2010 |
| Communicating machines as a dynamic binding mechanism of services I Vissani, CGL Pombo, E Tuosto arXiv preprint arXiv:1602.03597, 2016 | 5 | 2016 |
Marcelo FriasThe University of Texas at El PasoVerified email at utep.edu
