Carlos Gustavo Lopez Pombo
Carlos Gustavo Lopez Pombo
Professor, Department of Computing, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Verified email at dc.uba.ar - Homepage
TitleCited byYear
DynAlloy: upgrading alloy with actions
MR Frias, JP Galeotti, CGL Pombo, NM Aguirre
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
1192005
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
802010
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
432013
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
282005
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
International Conference on Formal Engineering Methods, 162-175, 2004
252004
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
242007
Efficient analysis of DynAlloy specifications
MF Frias, CG Lopez Pombo, JP Galeotti, NM Aguirre
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (1), 4, 2007
232007
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
162010
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
132006
Time is on my side
MF Frias, CG Lopez Pombo
Proceedings of the 7th. Conference on Relational Methods in Computer Science …, 2003
92003
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), 20, 2014
82014
ParAlloy: towards a framework for efficient parallel analysis of alloy models
N Rosner, JP Galeotti, CG Lopez Pombo, MF Frias
Proceedings of the Second international conference on Abstract State …, 2010
82010
Taking Alloy to the Movies
MF Frias, CGL Pombo, GA Baum, NM Aguirre, T Maibaum
International Symposium of Formal Methods Europe, 678-697, 2003
82003
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
62013
Fork algebras as a sufficiently rich universal institution
CGL Pombo, MF Frias
International Conference on Algebraic Methodology and Software Technology …, 2006
62006
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
52010
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
42014
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
42012
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
32006
The specification language Ag
MF Frıas, CGL Pombo, GA Baum
32002
The system can't perform the operation now. Try again later.
Articles 1–20