activity
20182022
most citedA Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks

16 citations · 17 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2020

Verification of the IBOS Browser Security Properties in Reachability Logic

Stephen Skeirik, José Meseguer, Camilo Rocha

This paper presents a rewriting logic specification of the Illinois Browser Operating System (IBOS) and defines several security properties, including the same-origin policy (SOP)…

cs.LO2018

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion

Miguel Romero, Camilo Rocha

Spatial concurrent constraint programming (SCCP) is an algebraic model of spatial modalities in constrained-based process calculi; it can be used to reason about spatial informatio…