Journals

Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.

Francisco Durán, José Meseguer, and Camilo Rocha. Journal of Logical and Algebraic Methods in Programming (JLAMP), 111. February 2020.

paper | pre-print | bibtex

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models.

Francisco Durán, Camilo Rocha, and Gwen Salaün. Science of Computer Programming (SCP), 183. September 2019.

paper | pre-print | bibtex

Symbolic State Space Reduction with Guarded Terms for Rewriting Modulo SMT.

Kyungmin Bae and Camilo Rocha. Science of Computer Programming (SCP), 178. June 2019.

paper | pre-print | bibtex

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks.

Jan Medina, Jorge Finke, and Camilo Rocha. Journal of Physics A: Mathematical and Theoretical (JPhysA), 52 (9), February 2019.

paper | pre-print | bibtex

Stochastic Analysis of BPMN with Time in Rewriting Logic.

Francisco Durán, Camilo Rocha, and Gwen Salaün. Science of Computer Programming (SCP), 168, December 2018.

paper | pre-print | bibtex

Rewriting Modulo SMT and Open System Analysis.

Camilo Rocha, José Meseguer, and César Muñoz. Journal of Logical and Algebraic Methods in Programming (JLAMP), 86(1), January 2017.

paper | pre-print | bibtex

Double-spend Attack Models with Time Advantage for Bitcoin.

Carlos Pinzón and Camilo Rocha. Electronic Notes in Theoretical Computer Science (ENTCS), 329C, December 2016.

paper | pre-print | bibtex

Order-sorted Equality Enrichments Modulo Axioms.

Raúl Gutiérrez, José Meseguer, and Camilo Rocha. Science of Computer Programming (SCP), 99(1), March 2015.

paper | pre-print | bibtex

Synchronous Set Relations in Rewriting Logic.

Camilo Rocha and César Muñoz. Science of Computer Programming (SCP), 92(B), October 2014.

paper | pre-print | bibtex

Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool.

Camilo Rocha. Revista Colombiana de Computación (RCC), 14(2), December 2013.

paper | pre-print | bibtex

A Formal Library of Set Relations and its Application to Synchronous Languages.

Camilo Rocha, César Muñoz, and Gilles Dowek. Theoretical Computer Science (TCS), 412(37), August 2011.

paper | pre-print | bibtex

A Rewriting Decision Procedure for Dijkstra-Scholten’s Syllogistic Logic with Complements.

Camilo Rocha and José Meseguer. Revista Colombiana de Computación (RCC), 8(2), December 2007.

paper | pre-print | bibtex