Carlos G. López Pombo

Available identifiers

Publication	Date of Publication	Type
A dynamic temporal logic for quality of service in choreographic models	2024-09-13	Paper
(Heterogeneous) structured specifications in logics without interpolation	2024-09-06	Paper
Automated QoS-aware service selection based on soft constraints	2024-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5057637	2022-12-16	Paper
Boosting the reuse of formal specifications	2018-10-04	Paper
A Full Operational Semantics for Asynchronous Relational Networks	2016-02-25	Paper
Categorical foundations for structured specifications in \(\mathsf{Z}\)	2016-01-06	Paper
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules	2015-12-11	Paper
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting	2015-01-13	Paper
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems	2014-01-24	Paper
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics	2013-09-13	Paper
On Improving Backwards Verification of Timed Automata (Extended Abstract)	2013-08-15	Paper
Complete Calculi for Structured Specifications in Fork Algebra	2010-08-31	Paper
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting	2010-08-31	Paper
Fork Algebras as a Sufficiently Rich Universal Institution	2009-04-28	Paper
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications	2007-09-03	Paper
Interpretability of first-order linear temporal logics in fork algebras	2006-03-16	Paper

This page was built for person: Carlos G. López Pombo