On Improving Backwards Verification of Timed Automata. - Víctor A. Braberman; Carlos López Pombo; Alfredo Olivero (Theory and Practice of Timed Systems @ ETAPS, 2002)

Taking Alloy to the Movies. - Marcelo F. Frias; Carlos López Pombo; Gabriel Baum; Nazareno Aguirre; T. S. E. Maibaum (FME, 2003)

An Equational Calculus for Alloy. - Marcelo F. Frias; Carlos López Pombo; Nazareno Aguirre (ICFEM, 2004)

DynAlloy: upgrading alloy with actions. - Marcelo F. Frias; Juan P. Galeotti; Carlos López Pombo; Nazareno Aguirre (ICSE, 2005)

Reasoning about static and dynamic properties in alloy: A purely relational approach. - Marcelo F. Frias; Carlos López Pombo; Gabriel A. Baum; Nazareno Aguirre; T. S. E. Maibaum (ACM Trans. Softw. Eng. Methodol., 2005)

Fork Algebras as a Sufficiently Rich Universal Institution. - Carlos López Pombo; Marcelo F. Frias (AMAST, 2006)

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. - Mario R. F. Benevides; Carla A. D. M. Delgado; Carlos López Pombo; Luis Lopes 003; Ricardo Ribeiro 002 (SBMF, 2006)

Interpretability of first-order linear temporal logics in fork algebras. - Marcelo F. Frias; Carlos López Pombo (J. Log. Algebraic Methods Program., 2006)

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. - Marcelo F. Frias; Carlos López Pombo; Mariano M. Moscato (TACAS, 2007)

Efficient Analysis of DynAlloy Specifications. - Marcelo F. Frias; Carlos López Pombo; Juan P. Galeotti; Nazareno Aguirre (ACM Trans. Softw. Eng. Methodol., 2007)

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. - Nicolás Rosner; Juan P. Galeotti; Carlos López Pombo; Marcelo F. Frias (ASM, 2010)

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; T. S. E. Maibaum (ICTAC, 2010)

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. - Mariano M. Moscato; Carlos López Pombo; Marcelo F. Frias (ICTAC, 2010)

Complete Calculi for Structured Specifications in Fork Algebra. - Carlos Gustavo López Pombo; Marcelo Fabiùn Frias (ICTAC, 2010)

Analysis of invariants for efficient bounded verification. - Juan P. Galeotti; Nicolás Rosner; Carlos López Pombo; Marcelo F. Frias (ISSTA, 2010)

A Categorical Approach to Structuring and Promoting Z Specifications. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; Tom Maibaum (FACS, 2012)

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (WADT, 2012)

Parallel Bounded Verification of Alloy Models by TranScoping. - Nicolás Rosner; Carlos Gustavo López Pombo; Nazareno Aguirre; Ali Jaoua; Ali Mili 001; Marcelo F. Frias (VSTTE, 2013)

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. - Manuel Giménez; Mariano M. Moscato; Carlos Gustavo López Pombo; Marcelo F. Frias (LAFM, 2013)

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. - Juan P. Galeotti; Nicolás Rosner; Carlos Gustavo López Pombo; Marcelo F. Frias (IEEE Trans. Software Eng., 2013)

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (ICTAC, 2014)

A Full Operational Semantics for Asynchronous Relational Networks. - Ignacio Vissani; Carlos Gustavo López Pombo; Ionut Tutu; José Luiz Fiadeiro (WADT, 2014)

Dynamite: A tool for the verification of alloy models based on PVS. - Mariano M. Moscato; Carlos López Pombo; Marcelo F. Frias (ACM Trans. Softw. Eng. Methodol., 2014)

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. - Valentin Cassano; Carlos Gustavo López Pombo; Thomas Stephen Edward Maibaum (TABLEAUX, 2015)

Communicating machines as a dynamic binding mechanism of services. - Ignacio Vissani; Carlos Gustavo López Pombo; Emilio Tuosto (PLACES, 2015)

Categorical foundations for structured specifications in Z. - Pablo F. Castro; Nazareno Aguirre; Carlos López Pombo; T. S. E. Maibaum (Formal Aspects Comput., 2015)

Boosting the Reuse of Formal Specifications. - Mariano M. Moscato; Carlos Gustavo López Pombo; César A. Muñoz; Marco A. Feliú (ITP, 2018)

Automatic Quality-of-Service Evaluation in Service-Oriented Computing. - Agustín E. Martinez Suñé; Carlos Gustavo López Pombo (COORDINATION, 2019)

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. - Carlos López Pombo; Pablo F. Castro; Nazareno Aguirre; Thomas Stephen Edward Maibaum (Fundam. Informaticae, 2019)

Quality of Service Ranking by Quantifying Partial Compliance of Requirements. - Agustín Eloy Martinez Suñé; Carlos Gustavo López Pombo (COORDINATION, 2020)

On the construction of explosive relation algebras. - Carlos Gustavo López Pombo; Marcelo F. Frias; T. S. E. Maibaum (CoRR, 2020)

A proof theoretic basis for relational semantics. - Carlos Gustavo López Pombo; Thomas Stephen Edward Maibaum (CoRR, 2021)

Automated QoS-Aware Service Selection Based on Soft Constraints. - Elias Keis; Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Alexander Knapp (WADT, 2022)

Probabilistic Quality of Service aware Service Selection. - Agustín E. Martinez Suñé; Carlos Gustavo López Pombo (CoRR, 2022)

Integrating deduction and model finding in a language independent setting. - Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé (CoRR, 2022)

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (CoRR, 2023)

SEArch: An Execution Infrastructure for Service-Based Software Systems. - Carlos Gustavo López Pombo; Pablo Montepagano; Emilio Tuosto (COORDINATION, 2024)

Automated Static Analysis of Quality of Service Properties of Communicating Systems. - Carlos Gustavo López Pombo; Agustín Eloy Martinez Suñé; Emilio Tuosto (FM (2), 2024)

Behavioural, Functional, and Non-functional Contracts for Dynamic Selection of Services. - Carlos López Pombo; Hernán C. Melgratti; Agustín E. Martinez Suñé; Diego Senarruzza Anabia; Emilio Tuosto (COORDINATION, 2025)

A dynamic temporal logic for quality of service in choreographic models. - Carlos López Pombo; Agustín E. Martinez Suñé; Emilio Tuosto (Theor. Comput. Sci., 2025)