Carlos Gustavo López Pombo

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Topics

Relation Algebra

Quality Of Service

Software Systems

Top Venues

Publications

Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
SEArch: An Execution Infrastructure for Service-Based Software Systems. COORDINATION (2024)
Carlos Gustavo López Pombo, Pablo Montepagano, Emilio Tuosto
SEArch: an execution infrastructure for service-based software systems. CoRR (2024)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC (2023)
Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. CoRR (2023)
Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp
Automated QoS-Aware Service Selection Based on Soft Constraints. WADT (2022)
Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé
Integrating deduction and model finding in a language independent setting. CoRR (2022)
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo
Probabilistic Quality of Service aware Service Selection. CoRR (2022)
Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
A proof theoretic basis for relational semantics. CoRR (2021)
Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. COORDINATION (2020)
Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum
On the construction of explosive relation algebras. CoRR (2020)
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. COORDINATION (2019)
Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú
Boosting the Reuse of Formal Specifications. ITP (2018)
Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto
Communicating machines as a dynamic binding mechanism of services. PLACES (2015)
Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. TABLEAUX (2015)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC (2014)
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro
A Full Operational Semantics for Asynchronous Relational Networks. WADT (2014)
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE (2013)
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39 (9) (2013)
Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. LAFM (2013)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT (2012)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
A Categorical Approach to Structuring and Promoting Z Specifications. FACS (2012)
Carlos Gustavo López Pombo, Marcelo Fabiùn Frias
Complete Calculi for Structured Specifications in Fork Algebra. ICTAC (2010)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC (2010)