Get started
Author

Carlos G. López Pombo

Observed names: C.G. Lopez Pombo, Carlos G. Lopez Pombo, Carlos Gustavo Lopez Pombo, Carlos Gustavo López Pombo, Carlos L. Pombo, Carlos López Pombo, Carlos Pombo, Lopez Pombo, Carlos G., Lopez Pombo, Carlos Gustavo, López Pombo, Carlos Gustavo, Pombo, Carlos G. Lopez, Pombo, Carlos Gustavo Lopez
ORCID: 0000-0002-0248-5019
Observed ORCID: 0000-0002-0248-5019
OpenAlex ID: A5080847587
DynAlloy
2005 · Marcelo F. Frias, Juan P. Galeotti, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 103
Analysis of invariants for efficient bounded verification
2010 · Juan Pablo Galeotti, Nicolás Rosner, et al. · International Symposium on Software Testing and Analysis · 93
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
2013 · Juan P. Galeotti, Nicolas Rosner, et al. · IEEE Transactions on Software Engineering · 59
DynAlloy: upgrading alloy with actions
2005 · M.F. Frias, J.R. Galeotti, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 31
Efficient Analysis of DynAlloy Specifications
2007 · Marcelo F. Frias, Carlos G. Lopez Pombo, et al. · ACM Transactions on Software Engineering and Methodology · 25
Reasoning about static and dynamic properties in alloy
2005 · Marcelo F. Frias, Carlos G. López Pombo, et al. · ACM Transactions on Software Engineering and Methodology · 22
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
2007 · Marcelo F. Frias., Carlos G. Lopez Pombo, et al. · Lecture notes in computer science · 16
PDF
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
2010 · Pablo F. Castro, Nazareno M. Aguirre, et al. · Lecture notes in computer science · 15
An Equational Calculus for Alloy
2004 · Marcelo F. Frias, Carlos G. López Pombo, et al. · Lecture notes in computer science · 13
Dynamite
2014 · Mariano M. Moscato, Carlos G. Lopez Pombo, et al. · ACM Transactions on Software Engineering and Methodology · 12
Interpretability of first-order linear temporal logics in fork algebras
2005 · Marcelo F. Frias, Carlos G. López Pombo · The Journal of Logic and Algebraic Programming · 10
Automatic Quality-of-Service Evaluation in Service-Oriented Computing
2019 · Agustín E. Martinez Suñé, Carlos G. Lopez Pombo · Lecture notes in computer science · 9
Taking Alloy to the Movies
2003 · Marcelo F. Frias, Carlos G. López Pombo, et al. · Lecture notes in computer science · 9
Categorical foundations for structured specifications in Z
2015 · Pablo F. Castro, Nazareno Aguirre, et al. · Formal Aspects of Computing · 7
Parallel Bounded Verification of Alloy Models by TranScoping
2014 · Nicolás Rosner, Carlos Gustavo López Pombo, et al. · Lecture notes in computer science · 7
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
2023 · Carlos G. Lopez Pombo, Agustín E. Martinez Suñé, et al. · Lecture notes in computer science · 6
Communicating machines as a dynamic binding mechanism of services
2016 · Ignacio Vissani, Carlos Gustavo Lopez Pombo, et al. · Electronic Proceedings in Theoretical Computer Science · 4
PDF
A Categorical Approach to Structuring and Promoting Z Specifications
2013 · Pablo F. Castro, Nazareno Aguirre, et al. · Lecture notes in computer science · 4
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
2010 · Nicolás Rosner, Juan P. Galeotti, et al. · Lecture notes in computer science · 4
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements
2010 · Mariano M. Moscato, Carlos G. López Pombo, et al. · Lecture notes in computer science · 4
Fork Algebras as a Sufficiently Rich Universal Institution
2006 · Carlos G. Lopez Pombo, Marcelo F. Frias · Lecture notes in computer science · 4
Automated Static Analysis of Quality of Service Properties of Communicating Systems
2024 · Carlos G. Lopez Pombo, Agustín Eloy Martinez Suñé, et al. · Lecture notes in computer science · 3
PDF
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
2015 · Valentín Cassano, Carlos Gustavo Lopez Pombo, et al. · Lecture notes in computer science · 3
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
2014 · Manuel Giménez, Mariano M. Moscato, et al. · Electronic Proceedings in Theoretical Computer Science · 3
PDF
A dynamic temporal logic for quality of service in choreographic models
2025 · Carlos G. Lopez Pombo, Agustín E. Martinez-Suñé, et al. · Theoretical Computer Science · 2
Works count: 65
Citation count: 481
H-index: 10
I10-index: 11
Year
Topic
Type