Giovanni Bernardi - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

Registered user since Tue 15 Jan 2019

Name:Giovanni Bernardi

Affiliation:IRIF, Université Paris Cité

Personal website: https://www.irif.fr/~gio/index.xhtml

GitHub: https://github.com/gbtito

Contributions

2025

ECOOP

A theory of (linear-time) timed monitors

Show activities from other conferences

ECOOP 2025-profile
View general profile