Follow
Carlos Gustavo Lopez Pombo
Carlos Gustavo Lopez Pombo
Professor, Escuela de Ingeniería, Universidad Nacional de Río Negro
Verified email at dc.uba.ar - Homepage
Title
Cited by
Cited by
Year
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
1572005
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
1082010
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
742013
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
342005
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
322007
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
252007
An equational calculus for Alloy
MF Frias, CGL Pombo, NM Aguirre
Formal Methods and Software Engineering: 6th International Conference on …, 2004
252004
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
202010
A Semantic Embedding of the Dynamic Logic in PVS
CL Pombo, S Owre, N Shankar
Technical Report SRI-CSL-02-04, SRI International, Menlo Park, CA, 2003
162003
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
132014
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
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
112014
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
112003
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
102010
Time is on my side
MF Frias, CG Lopez Pombo
Proceedings of the 7th. Conference on Relational Methods in Computer Science …, 2003
102003
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
82019
Categorical foundations for structured specifications in
PF Castro, N Aguirre, CL Pombo, TSE Maibaum
Formal Aspects of Computing 27, 831-865, 2015
72015
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
62014
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
62010
A categorical approach to structuring and promoting Z specifications
PF Castro, N Aguirre, CG López Pombo, T Maibaum
International Workshop on Formal Aspects of Component Software, 73-91, 2012
52012
The system can't perform the operation now. Try again later.
Articles 1–20