Technical Reports

A Random Network Model for the Analysis of Blockchain Designs with Communication Delay.

Carlos Pinzón, Camilo Rocha, and Jorge Finke. arXiv:1909.06435. Cali, September 2019.

report | local copy | bibtex

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification.

Miguel Romero, Sergio Ramírez, Camilo Rocha, and Frank Valencia. arXiv:1909.03819. Cali, September 2019.

report | local copy | bibtex

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks.

Jan Medina, Jorge Finke, and Camilo Rocha. arXiv:1809.03372. Cali, September 2018.

report | local copy | bibtex

Proving Ground Confluence of Equational Specifications Modulo Axioms.

Francisco Durán, José Meseguer, and Camilo Rocha. Technical Report, University of Illinois at Urbana-Champaign. Urbana, March 2018.

report | local copy | bibtex

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion.

Carlos Pinzón and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/484. Bogotá, December 2016.

report | local copy | bibtex

Double-spend Attack Models with Time Advantage for Bitcoin.

Carlos Pinzón and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/484. Bogotá, December 2016.

report | local copy | bibtex

Library Management for PVS.

Miguel Romero and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/464. Bogotá, October 2016.

report | local copy | bibtex | tool

Rewriting Modulo SMT and Open System Analysis.

Camilo Rocha, José Meseguer, and César Muñoz. Technical Report, University of Illinois at Urbana-Champaign. Urbana, October 2016.

report | local copy | bibtex

Executable Calculational Expressions.

Francisco Cháves and Camilo Rocha. Technical Report, Escuela Colombiana de Ingeniería 001/301. Bogotá, August 2015.

report | local copy | bibtex | tool

Rewriting Modulo SMT.

Camilo Rocha, José Meseguer, and César Muñoz. Technical Memorandum, NASA TM-2013-218033. Langley, August 2013.

report | local copy | bibtex

Order-sorted Equality Enrichments Modulo Axioms.

Raúl Gutiérrez, José Meseguer, and Camilo Rocha. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2011.

report | local copy | bibtex | tool

Proving Safety Properties of Rewrite Theories.

Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, November 2010.

report | local copy | bibtex | tool

Constructors, Sufficient Completeness, and Deadlock Freedom of Generalized Rewrite Theories.

Camilo Rocha and José Meseguer. Technical Report, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, May 2010.

report | local copy | bibtex | tool

Rewriting Logic Semantics of a Plan Execution Language.

Gilles Dowek, César Muñoz and Camilo Rocha. Technical Memorandum, NASA TM-2009-215770. Langley, June 2009.

report | local copy | bibtex | tool

Theorem Proving Modulo Based on Boolean Procedures.

Camilo Rocha and José Meseguer. Technical Report TR-2007-2922, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.

report | local copy | bibtex

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

Camilo Rocha and José Meseguer. Technical Report TR-2007-2921, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, December 2007.

report | local copy | bibtex

Five Isomorphic Boolean Theories and Four Decision Procedures.

Camilo Rocha and José Meseguer. Technical Report TR-2007-2818, Department of Computer Science in the University of Illinois at Urbana-Champaign. Urbana, March 2007.

report | local copy | bibtex