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