10 citations · 12 across the 5 of their papers we have counts for
6 papers
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specificat…
Retroactive Parametrized Monitoring
Paloma Pedregal, Felipe Gorostiaga, Cesar Sanchez
In online monitoring, we first synthesize a monitor from a formal specification, which later runs in tandem with the system under study, incrementally receiving its progress and ev…
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…