Talks
- Introduction to Model Checking.
Talk at Foundational Lecture Series on Theoretical Computer Science 2026 at The Institute of Mathematical Sciences, Chennai, June 2026.
- Model Checking for Real-time Systems.
Talk at Workshop on Verification and Learning for Quantitative Systems (QuantFormal 2025) at FSTTCS 2025, Goa, India, December 2025.
- Checking Consistency of Event-driven Traces.
Talk at Asian Symposium on Programming Languages and Systems (APLAS) 2025, Bangalore, October 2025.
- MITL Model Checking using Generalized Timed Automata.
Talk at seminar at IST Austria 2025, January 2025.
Short talk at Highlights of Logic, Games and Automata 2024, Bordeaux, September 2024.
- Reversible Transducers over Infinite Words.
Talk at CONCUR 2024, Calgary, Canada, September 2024.
- MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.
Talk at CONCUR 2024, Calgary, Canada, September 2024.
Talk at RP24: International Conference on Reachability Problems 2024, TU Wien, September 2024.
- Pre-condition and Program Synthesis for Polynomial Specifications over Integers.
Talk at Dagstuhl Seminar 24171 - Automated Synthesis: Functional, Reactive and Beyond, April 2024.
- One timed model to unify them all! - A foundation for efficient MITL Model-checking.
Talk at Highlights of Logic, Games and Automata 2023, Kassel, July 2023.
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.
Talk at CAV 2023, Paris, July 2023.
- Simulations for event-clock automata.
Talk at CONCUR 2022, Warsaw, September 2022.
Talk at Seminar at IRISA Rennes, September 2022.
Talk at IRIF Seminar, October 2022.
Talk at LMF Seminar at ENS Paris-Saclay, October 2022.
- Efficient Construction of Reversible Transducers from Regular Transducer Expressions.
Talk at LICS 2022 part of the Federated Logic Conference (FLOC 2022), Haifa, Israel, August 2022.
- Partial Order Reduction for Timed Systems.
Talk at Formal Methods Update Meeting 2021, July 2019.
- Logics for Reversible Regular Languages and Semigroups with Involution. [Slides]
Talk at Developments in Language Theory (DLT) 2019, Warsaw, August 2019.
- Partial Order Reduction for Networks of Timed Automata.
Short presentation at Methode Formelle meeting, LaBRI, November 2019.