Carlos López Pombo

Orcid: 0000-0002-0248-5019

According to our database1, Carlos López Pombo authored at least 39 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Static Analysis of Quality of Service Properties of Communicating Systems.
Proceedings of the Formal Methods - 26th International Symposium, 2024

SEArch: An Execution Infrastructure for Service-Based Software Systems.
Proceedings of the Coordination Models and Languages, 2024

2023
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems.
CoRR, 2023

A Dynamic Temporal Logic for Quality of Service in Choreographic Models.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Integrating deduction and model finding in a language independent setting.
CoRR, 2022

Probabilistic Quality of Service aware Service Selection.
CoRR, 2022

Automated QoS-Aware Service Selection Based on Soft Constraints.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021
A proof theoretic basis for relational semantics.
CoRR, 2021

2020
On the construction of explosive relation algebras.
CoRR, 2020

Quality of Service Ranking by Quantifying Partial Compliance of Requirements.
Proceedings of the Coordination Models and Languages, 2020

2019
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.
Fundam. Informaticae, 2019

Automatic Quality-of-Service Evaluation in Service-Oriented Computing.
Proceedings of the Coordination Models and Languages, 2019

2018
Boosting the Reuse of Formal Specifications.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2015
Categorical foundations for structured specifications in Z.
Formal Aspects Comput., 2015

Communicating machines as a dynamic binding mechanism of services.
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.
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.
ACM Trans. Softw. Eng. Methodol., 2014

A Full Operational Semantics for Asynchronous Relational Networks.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.
IEEE Trans. Software Eng., 2013

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications.
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Parallel Bounded Verification of Alloy Models by TranScoping.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2012
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2010
Analysis of invariants for efficient bounded verification.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Complete Calculi for Structured Specifications in Fork Algebra.
Proceedings of the Theoretical Aspects of Computing, 2010

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.
Proceedings of the Theoretical Aspects of Computing, 2010

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing, 2010

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.
Proceedings of the Abstract State Machines, 2010

2007
Efficient Analysis of DynAlloy Specifications.
ACM Trans. Softw. Eng. Methodol., 2007

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.
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.
J. Log. Algebraic Methods Program., 2006

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

Fork Algebras as a Sufficiently Rich Universal Institution.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005

DynAlloy: upgrading alloy with actions.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
An Equational Calculus for Alloy.
Proceedings of the Formal Methods and Software Engineering, 2004

2003
Taking <i>Alloy</i> to the Movies.
Proceedings of the FME 2003: Formal Methods, 2003

2002
On Improving Backwards Verification of Timed Automata.
Proceedings of the Theory and Practice of Timed Systems, 2002


  Loading...