Skip to content

Talks

Extending QuAK with Nested Quantitative Automata

Jul '26: 38th Intl. Conf. on Computer Aided Verification (CAV)

Quantitative Monitoring of Signal First-Order Logic

Jun '26: AIT Center for Digital Safety & Security Seminar Series
May '26: 27th Intl. Symp. on Formal Methods (FM)

Quantitative Language Automata

Oct '25: 19th Intl. Conf. on Reachability Problems (RP)
Aug '25: 36th Intl. Conf. on Concurrency Theory (CONCUR)

Approximate Distributed Monitoring under Partial Synchrony

Oct '24: 24th Intl. Conf. on Runtime Verification (RV)
Oct '24: AIT Center for Digital Safety & Security Seminar Series

Safety and Liveness of Quantitative Properties and Automata

Mar '25: RWTH Aachen Software Modeling and Verification Group Seminar Series
Feb '25: CISPA Reactive Systems Group Seminar Series
Jan '25: TU Dresden Algebraic and Logical Foundations of Computer Science Seminar Series
Sep '24: 18th Intl. Conf. on Reachability Problems (RP)
Sep '24: TU Wien CPS Research Unit Seminar Series
Sep '24: 16th Alpine Verification Meeting
Jun '24: DEVINE Research Team (Inria and IRISA) Formal Methods Seminar
Oct '23: AIT Center for Digital Safety & Security Seminar Series
Apr '23: 26th Intl. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS)

Advancing the Theory of Quantitative and Approximate Monitoring

Sep '22: FBK Embedded Systems Seminar Series
Apr '22: IMT Lucca It-Matters Seminar Series

Quantitative and Approximate Monitoring

Jun '21: 36th Ann. ACM/IEEE Symp. on Logic in Computer Science (LICS)
Jun '21: ISTA & TU Wien FORSYTE Joint Seminar Series

Monitorability Under Assumptions

Dec '20: ISTA & TU Wien FORSYTE Joint Seminar Series