research
∙
07/13/2023
Retroactive Parametrized Monitoring
In online monitoring, we first synthesize a monitor from a formal specif...
share
research
∙
02/28/2020
Declarative Stream Runtime Verification (hLola)
Stream Runtime Verification is a formal dynamic analysis technique that ...
research
∙
02/28/2018
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers
Container technologies, like Docker, are becoming increasingly popular. ...
research
∙
09/12/2017