Publications

Export 13 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Carlos Gustavo López Pombo  [Clear All Filters]
Conference Paper
P. F. Castro, N. Aguirre, C. G. López Pombo, and T. S. E. Maibaum, “A Categorical Approach to Structuring and Promoting Z Specifications”, in 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, USA, 2012.
I. Vissani, C. G. López Pombo, and E. Tuosto, “Communicating machines as a dynamic binding mechanism of services”, in Proceedings of the 8th Programming Language Approaches to Concurrency- and Communication-cEntric Software - PLACES 2015, 2015.
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting”, in Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014.PDF icon compodesign-main.pdf (413 KB)
M. Gimenez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.PDF icon lafm2013.pdf (238.7 KB)
N. Rosner, C. G. López Pombo, N. Aguirre, A. Jaoua, A. Mili, and M. F. Frias, “Parallel Bounded Verification of Alloy Models by TranScoping”, in Verified Software: Theories, Tools, Experiments - 5th International Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, 2013.
V. Cassano, C. G. López Pombo, and T. S. E. Maibaum, “A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules”, in Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, 2015.
C. G. López Pombo, P. F. Castro, N. Aguirre, and T. S. E. Maibaum, “Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics”, in Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012.