Name: Angelo
Type: User
Company: University of Modena and Reggio Emilia
Bio: Angelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia, Italy. Interested in: MAS, Formal Verification, Robotics
Location: Modena
Blog: https://angeloferrando.github.io/website/
Angelo's Projects
Website for the AREA 2020 workshop.
Tool which implements an Incrementally Predictive Monitor, where the predictions are obtained by a model of the system learnt through Process Mining
The LaTeX beamerposter package
Final project for the master degree exam, academic year 2022/2023
Prototype of a Multi-Model Predictive Runtime Monitor in Python
prettyPhoto is a jQuery based lightbox clone. Not only does it support images, it also add support for videos, flash, YouTube, iFrames. Itβs a full blown media lightbox. The setup is easy and quick, plus the script is compatible in every major browser.
RVPlan: Runtime Verification of Assumptions in Automated Planning
A collection of service worker tools for offlining runtime requests