Camilo Rocha
Camilo Rocha
Associate Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα javerianacali.edu.co - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Double-spend attack models with time advantange for bitcoin
C Pinzón, C Rocha
Electronic Notes in Theoretical Computer Science 329, 79-103, 2016
682016
Rewriting modulo SMT and open system analysis
C Rocha, J Meseguer, C Muñoz
Journal of Logical and Algebraic Methods in Programming 86 (1), 269-297, 2017
472017
Rewriting modulo SMT and open system analysis
C Rocha, J Meseguer, C Muñoz
International Workshop on Rewriting Logic and its Applications, 247-262, 2014
372014
Proving safety properties of rewrite theories
C Rocha, J Meseguer
International Conference on Algebra and Coalgebra in Computer Science, 314-328, 2011
372011
Symbolic reachability analysis for rewrite theories
HCR Nino
University of Illinois at Urbana-Champaign, 2012
242012
Theorem proving modulo based on boolean equational procedures
C Rocha, J Meseguer
International Conference on Relational Methods in Computer Science, 337-351, 2008
222008
Towards a Maude formal environment
F Durán, C Rocha, JM Álvarez
Formal modeling: actors, open systems, biological systems, 329-351, 2011
212011
Rewriting logic semantics of a plan execution language
G Dowek, C Munoz, C Rocha
arXiv preprint arXiv:1002.2872, 2010
212010
Order-sorted equality enrichments modulo axioms
R Gutiérrez, J Meseguer, C Rocha
Science of Computer Programming 99, 235-261, 2015
202015
Formal semantics of owl-s with rewrite logic
N Huang, X Wang, C Rocha
Journal of Software Engineering and Applications 2 (01), 25, 2009
132009
Constructors, sufficient completeness, and deadlock freedom of rewrite theories
C Rocha, J Meseguer
International Conference on Logic for Programming Artificial Intelligence …, 2010
122010
A rewriting decision procedure for Dijkstra-Scholten's syllogistic logic with complements
C Rocha, J Meseguer
122007
Stochastic analysis of BPMN with time in rewriting logic
F Durán, C Rocha, G Salaün
Science of Computer Programming 168, 1-17, 2018
112018
A formal interactive verification environment for the plan execution interchange language
C Rocha, H Cadavid, C Munoz, R Siminiceanu
International Conference on Integrated Formal Methods, 343-357, 2012
112012
Towards the effective use of formal logic in the teaching of discrete math
J Bohórquez, C Rocha
2005 6th International Conference on Information Technology Based Higher …, 2005
102005
Guarded terms for rewriting modulo SMT
K Bae, C Rocha
International Conference on Formal Aspects of Component Software, 78-97, 2017
82017
The formal system of Dijkstra and Scholten
C Rocha
Logic, Rewriting, and Concurrency, 580-597, 2015
82015
Tool interoperability in the Maude formal environment
F Durán, C Rocha, JM Alvarez
International Conference on Algebra and Coalgebra in Computer Science, 400-406, 2011
82011
Formal verification of safety properties for a cache coherence protocol
S Ramírez, C Rocha
2015 10th Computing Colombian Conference (10CCC), 9-16, 2015
72015
A graphical environment for the semantic validation of a plan execution language
C Rocha, C Munoz, H Cadavid
2009 Third IEEE International Conference on Space Mission Challenges for …, 2009
72009
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20