Invited Talks in Conferences, Schools and Foreign Institutions:



  • TUM, Munich, Germany, 2018: Distribution-based objectives for Markov Decision Processes.
  • ACTS, Chennai, India, 2017: Controlling a population.
  • TCQV, Mysore, India, 2016: Languages of Markov Chains.
  • Nanyang Technological University(NTU), Singapore, 2015: Model Checking Probabilistic Systems approximately.
  • IFORS'14, Barcelona, Spain, 2014: Analysis of Stochastic Systems based on approximation (session talks by invitation only)
  • University of Oxford, UK, 2014: Model-Checking of stochastic systems based on approximation.
  • Tsinghua University, Beijing, China, 2012: Verifying Recursive Active Documents Modeled with rewritting rules.
  • Institute of Software, Chinese Academy of Science, Beijing, China, 2011: Symbolically Bounding the Drift in Time-Constrained MSC Graphs.
  • National University of Singapore, Singapore, 2011: Using formal models in analysis of Biological Pathways.
  • MOVEP'10, Aachen, Germany, 2010: Realisability of Message Sequence Charts (Invited Technical Talk).
  • Centre Fédéré en Vérification, Bruxelles, Belgium, 2008: Partial Order Techniques.
  • National University of Singapore, Singapore, 2008: Quasi-Static Scheduling.
  • CMI, Chennai, India, 2007: On the fly Distributed Verification.
  • IMSc, Chennai, India, 2007: Constructing Exponential-size Deterministic Zielonka Automata.