10 citations · 10 across the 2 of their papers we have counts for
4 papers
Social Distance Characterization by means of Pedestrian Simulation
Daniel R. Parisi, Germán A. Patterson, Lucio Pagni +18
In the present work, we study how the number of simulated clients (occupancy) affects the social distance in an ideal supermarket. For this, we account for realistic typical dimens…
Declarative Stream Runtime Verification (hLola)
Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to…
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers
Pablo Chico de Guzman, Felipe Gorostiaga, Cesar Sanchez
Container technologies, like Docker, are becoming increasingly popular. Containers provide exceptional developer experience because containers offer lightweight isolation and ease…
A certified reference validation mechanism for the permission model of Android
Gustavo Betarte, Juan Campo, Felipe Gorostiaga +1
Android embodies security mechanisms at both OS and application level. In this platform application security is built primarily upon a system of permissions which specify restricti…