# Camilo Rocha

According to our database

Collaborative distances:

^{1}, Camilo Rocha authored at least 29 papers between 2006 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Stochastic analysis of BPMN with time in rewriting logic.

Sci. Comput. Program., 2018

Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming.

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Proving Structural Properties of Sequent Systems in Rewriting Logic.

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT.

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Proving Ground Confluence of Equational Specifications Modulo Axioms.

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Computing the Parallelism Degree of Timed BPMN Processes.

Proceedings of the Software Technologies: Applications and Foundations, 2018

Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion.

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Guarded Terms for Rewriting Modulo SMT.

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Double-spend Attack Models with Time Advantange for Bitcoin.

Electr. Notes Theor. Comput. Sci., 2016

2015

The Formal System of Dijkstra and Scholten.

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Synchronous set relations in rewriting logic.

Sci. Comput. Program., 2014

Rewriting Modulo SMT and Open System Analysis.

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.

Proceedings of the Specification, Algebra, and Software, 2014

2013

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

Revista Colombiana de Computación, 2013

2012

Order-Sorted Equality Enrichments Modulo Axioms.

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

A formal library of set relations and its application to synchronous languages.

Theor. Comput. Sci., 2011

Simulation and Verification of Synchronous Set Relations in Rewriting Logic.

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Proving Safety Properties of Rewrite Theories.

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Tool Interoperability in the Maude Formal Environment.

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Towards a Maude Formal Environment.

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

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

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Formal Semantics of OWL-S with Rewrite Logic.

JSEA, 2009

Rewriting Logic Semantics of a Plan Execution Language

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

2008

Extend OWL-S Dynamic Semantics with Rewrite Logic.

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Theorem Proving Modulo Based on Boolean Equational Procedures.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

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

Revista Colombiana de Computación, 2007

2006

Una Semántica de Ensamblaje y Composición de Servicios y Componentes.

Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006