Carlos López Pombo

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 1

Top Topics

Delay Insensitive

Structured Learning

Numerical Values

Top Venues

Fundam. Informaticae

Formal Aspects Comput.

ACM Trans. Softw. Eng. Methodol.

Publications

Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166 (4) (2019)
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27 (5-6) (2015)
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
Dynamite: A tool for the verification of alloy models based on PVS. ACM Trans. Softw. Eng. Methodol. 23 (2) (2014)
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM (2010)
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. ICTAC (2010)
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
Analysis of invariants for efficient bounded verification. ISSTA (2010)
Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 195 (2008)
Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. TACAS (2007)
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17 (1) (2007)
Marcelo F. Frias, Carlos López Pombo
Interpretability of first-order linear temporal logics in fork algebras. J. Log. Algebraic Methods Program. 66 (2) (2006)
Carlos López Pombo, Marcelo F. Frias
Fork Algebras as a Sufficiently Rich Universal Institution. AMAST (2006)
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
DynAlloy: upgrading alloy with actions. ICSE (2005)
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
An Equational Calculus for Alloy. ICFEM (2004)
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
to the Movies. FME (2003)
Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero
On Improving Backwards Verification of Timed Automata. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)