Carlos Gustavo López Pombo

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