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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the Coordination Models and Languages, 2024
2023
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems.
CoRR, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
2022
CoRR, 2022
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022
2021
2020
Proceedings of the Coordination Models and Languages, 2020
2019
Fundam. Informaticae, 2019
Proceedings of the Coordination Models and Languages, 2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2015
Formal Aspects Comput., 2015
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
2014
ACM Trans. Softw. Eng. Methodol., 2014
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
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
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
2010
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
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
Proceedings of the Abstract State Machines, 2010
2007
ACM Trans. Softw. Eng. Methodol., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
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
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
2004
Proceedings of the Formal Methods and Software Engineering, 2004
2003
2002
Proceedings of the Theory and Practice of Timed Systems, 2002