Carlos López Pombo

18 papers A* 1A 2C 3Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A dynamic temporal logic for quality of service in choreographic models.
Theor. Comput. Sci.
Carlos López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
2025 C conf
Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services.
COORDINATION
Carlos López Pombo, Hernán C. Melgratti, Agustín E. Martinez Suñé, Diego Senarruzza Anabia, Emilio Tuosto
2019 J jnl
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.
Fundam. Informaticae
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
2015 J jnl
Categorical foundations for structured specifications in Z.
Formal Aspects Comput.
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
2014 J jnl
Dynamite: A tool for the verification of alloy models based on PVS.
ACM Trans. Softw. Eng. Methodol.
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
2010 A conf
Analysis of invariants for efficient bounded verification.
ISSTA
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
2010 C conf
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.
ICTAC
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
2010 — conf
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.
ASM
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
2007 A conf
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.
TACAS
Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato
2007 J jnl
Efficient Analysis of DynAlloy Specifications.
ACM Trans. Softw. Eng. Methodol.
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
2006 — conf
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
SBMF
Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro
2006 — conf
Fork Algebras as a Sufficiently Rich Universal Institution.
AMAST
Carlos López Pombo, Marcelo F. Frias
2006 J jnl
Interpretability of first-order linear temporal logics in fork algebras.
J. Log. Algebraic Methods Program.
Marcelo F. Frias, Carlos López Pombo
2005 A* conf
DynAlloy: upgrading alloy with actions.
ICSE
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
2005 J jnl
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol.
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
2004 C conf
An Equational Calculus for Alloy.
ICFEM
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
2003 — conf
Taking
FME
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
2002 — conf
On Improving Backwards Verification of Timed Automata.
Theory and Practice of Timed Systems @ ETAPS
Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero