Camilo Rocha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2010–2023
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FMICS | Statistical Model Checking for sf P. | Francisco Durn, Nicols Pozas, Carlos Ramrez, Camilo Rocha |
| 2020 | FASE | Algorithmic Analysis of Blockchain Efficiency with Communication Delay. | Carlos Pinzn, Camilo Rocha, Jorge Finke |
| 2019 | ICSOC | Analysis of Resource Allocation of BPMN Processes. | Francisco Durn, Camilo Rocha, Gwen Salan |
| 2012 | IFM | A Formal Interactive Verification Environment for the Plan Execution Interchange Language. | Camilo Rocha, Hctor Cadavid, Csar A. Muoz, Radu Siminiceanu |
| 2011 | CALCO | Tool Interoperability in the Maude Formal Environment. | Francisco Durn, Camilo Rocha, Jos Mara lvarez |
| 2011 | CALCO | Proving Safety Properties of Rewrite Theories. | Camilo Rocha, Jos Meseguer |
| 2010 | LPAR | Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories. | Camilo Rocha, Jos Meseguer |