| 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 | 137 | 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 | 91 | 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 | 53 | 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 | 32 | 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 | 27 | 2007 |
| An equational calculus for Alloy MF Frias, CGL Pombo, NM Aguirre International Conference on Formal Engineering Methods, 162-175, 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, CGL Pombo, TSE Maibaum International Colloquium on Theoretical Aspects of Computing, 306-321, 2010 | 20 | 2010 |
| 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 |
| Taking Alloy to the Movies MF Frias, CGL Pombo, GA Baum, NM Aguirre, T Maibaum International Symposium of Formal Methods Europe, 678-697, 2003 | 10 | 2003 |
| Time is on my side MF Frias, CG Lopez Pombo Proceedings of the 7th. Conference on Relational Methods in Computer Science …, 2003 | 10 | 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 | 9 | 2014 |
| ParAlloy: Towards a framework for efficient parallel analysis of Alloy models N Rosner, JP Galeotti, CGL Pombo, MF Frias International Conference on Abstract State Machines, Alloy, B and Z, 396-397, 2010 | 9 | 2010 |
| Parallel bounded verification of Alloy models by TranScoping N Rosner, CGL Pombo, N Aguirre, A Jaoua, A Mili, MF Frias Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013 | 7 | 2013 |
| Fork algebras as a sufficiently rich universal institution CGL Pombo, MF Frias International Conference on Algebraic Methodology and Software Technology …, 2006 | 6 | 2006 |
| 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 | 5 | 2014 |
| Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements MM Moscato, CGL Pombo, MF Frias International Colloquium on Theoretical Aspects of Computing, 275-289, 2010 | 5 | 2010 |
| A Categorical Approach to Structuring and Promoting Z Specifications PF Castro, N Aguirre, CGL Pombo, T Maibaum International Workshop on Formal Aspects of Component Software, 73-91, 2012 | 4 | 2012 |
| A compositional automata-based approach for model checking multi-agent systems M Benevides, C Delgado, C Pombo, L Lopes, R Ribeiro Electronic Notes in Theoretical Computer Science 195, 133-149, 2008 | 3 | 2008 |
| Dynamite: Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications MF Frias, CGL Pombo, MM Moscato Proceedings of the 1st ACM SIGSOFT Alloy Workshop (Portland, Oregon, USA …, 2006 | 3 | 2006 |
