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.