Publications

Filters: Author is Carlos Gustavo López Pombo [Clear All Filters]

2015

P. F. Castro, N. Aguirre, C. G. López Pombo, and T. S. E. Maibaum, “Categorical Foundations for Structured Specifications in Z”, Formal Aspects of Computing, vol. 27, p. TBD, 2015.

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.

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.

2014

C. G. López Pombo and T. S. E. Maibaum, “Concrete models for modal logics via proof theory”. 2014.

M. M. Moscato, C. G. López Pombo, and M. F. Frias, “Dynamite: A tool for the verification of alloy models based on PVS”, {ACM} Trans. Softw. Eng. Methodol., vol. 23, p. 20, 2014.

I. Vissani, C. G. López Pombo, I. Tutu, and J. e L. Fiadeiro, “A Full Operational Semantics of Asynchronous Relational Networks”. 2014.

TSARN.pdf (110.65 KB)

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.

compodesign-main.pdf (413 KB)

M. Giménez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications”, 2014.

gimenez-lafm14.pdf (241.92 KB)

2013

C. G. López Pombo, P. Chocron, I. Vissani, and T. S. E. Maibaum, “A canonical proof-theoretic approach to model theory”, 2013.

abstract.pdf (166.59 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.

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.

2012

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.

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.