Talks

Quantitative Language Automata
19th Intl. Conf. on Reachability Problems (RP) (Oct ‘25)
36th Intl. Conf. on Concurrency Theory (CONCUR) (Aug ‘25)

Approximate Distributed Monitoring under Partial Synchrony
24th Intl. Conf. on Runtime Verification (RV) (Oct ‘24)
AIT Dependable Systems Engineering Seminar Series (Oct ‘24)

Safety and Liveness of Quantitative Properties and Automata
RWTH Aachen Software Modeling and Verification Group Seminar Series (Mar ‘25)
CISPA Reactive Systems Group Seminar Series (Feb ‘25)
TU Dresden Algebraic and Logic Foundations of Computer Science Seminar Series (Jan ‘25)
18th Intl. Conf. on Reachability Problems (RP) (Sep ‘24)
TU Wien CPS Research Unit Seminar Series (Sep ‘24)
16th Alpine Verification Meeting (Sep ‘24)
DEVINE Research Team (Inria and IRISA) Formal Methods Seminar (Jun ‘24)
AIT Dependable Systems Engineering Seminar Series (Oct ‘23)
26th Intl. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS) (Apr ‘23)

Advancing the Theory of Quantitative Algorithmic Monitoring
FBK Embedded Systems Seminar Series (Sep ‘22)
IMT Lucca It-Matters Seminar Series (Apr ‘22)

Quantitative and Approximate Monitoring
36th Ann. ACM/IEEE Symp. on Logic in Computer Science (LICS) (Jul ‘21)
ISTA & TU Wien FORSYTE Joint Seminar Series (Jun ‘21)

Monitorability Under Assumptions
ISTA & TU Wien FORSYTE Joint Seminar Series (Dec ‘20)