Camilo Rocha

According to our database1, Camilo Rocha authored at least 32 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks.
CoRR, 2018

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion.
CoRR, 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

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
Rewriting modulo SMT and open system analysis.
J. Log. Algebr. Meth. Program., 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
Order-sorted equality enrichments modulo axioms.
Sci. Comput. Program., 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


  Loading...