Carlos López Pombo

According to our database, Carlos López Pombo authored at least 37 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

A Dynamic Temporal Logic for Quality of Service in Choreographic Models.

Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Integrating deduction and model finding in a language independent setting.

Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé

CoRR, 2022

Probabilistic Quality of Service aware Service Selection.

Agustín E. Martinez Suñé, Carlos Gustavo López Pombo

CoRR, 2022

Automated QoS-Aware Service Selection Based on Soft Constraints.

Elias Keis, Carlos Gustavo López Pombo, Agustín Eloy Martinez Suñé, Alexander Knapp

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

A proof theoretic basis for relational semantics.

Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum

CoRR, 2021

2020

On the construction of explosive relation algebras.

Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum

CoRR, 2020

Quality of Service Ranking by Quantifying Partial Compliance of Requirements.

Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo

Proceedings of the Coordination Models and Languages, 2020

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

Automatic Quality-of-Service Evaluation in Service-Oriented Computing.

Agustín E. Martinez Suñé, Carlos Gustavo López Pombo

Proceedings of the Coordination Models and Languages, 2019

2018

Boosting the Reuse of Formal Specifications.

Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

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

Communicating machines as a dynamic binding mechanism of services.

Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.

Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

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 Full Operational Semantics for Asynchronous Relational Networks.

Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

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

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications.

Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Parallel Bounded Verification of Alloy Models by TranScoping.

Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.

Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010

Analysis of invariants for efficient bounded verification.

Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Complete Calculi for Structured Specifications in Fork Algebra.

Carlos Gustavo López Pombo, Marcelo Fabiùn Frias

Proceedings of the Theoretical Aspects of Computing, 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

Proceedings of the Theoretical Aspects of Computing, 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

Proceedings of the Theoretical Aspects of Computing, 2010

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.

Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Abstract State Machines, 2010

2007

Efficient Analysis of DynAlloy Specifications.

Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre

ACM Trans. Softw. Eng. Methodol., 2007

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Interpretability of first-order linear temporal logics in fork algebras.

Marcelo F. Frias, Carlos López Pombo

J. Log. Algebraic Methods Program., 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, Ricardo Ribeiro

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Fork Algebras as a Sufficiently Rich Universal Institution.

Carlos López Pombo, Marcelo F. Frias

Proceedings of the Algebraic Methodology and Software Technology, 2006

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

DynAlloy: upgrading alloy with actions.

Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

An Equational Calculus for Alloy.

Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Taking <i>Alloy</i> to the Movies.

Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the FME 2003: Formal Methods, 2003

2002

On Improving Backwards Verification of Timed Automata.

Víctor A. Braberman, Carlos López Pombo, Alfredo Olivero

Proceedings of the Theory and Practice of Timed Systems, 2002