Ashutosh Trivedi Postdoctoral Researcher Quantitative Analysis and Verification Group. Oxford University Computing Laboratory. Wolfson Building, Parks Road, Oxford OX1 3QD Phone: +44 (0)1865 610715 Electronic Mail: trivedi@comlab.ox.ac.uk

Research Interests

Technical Writings

Publications

• Quantitative Games on Probabilistic Timed Automata, manuscript, co-authored with Prof. M. Kwiatkowska and Dr. G. Norman.
  
• Concavely-Priced Probabilistic Timed Automata, in CONCUR'09, co-authored with Prof. M. Jurdziński, Prof. M. Kwiatkowska, and Dr. G. Norman. [ Full version ]
  
• Average-Time Games, in FSTTCS'08, co-authored with Prof. Marcin Jurdziński.[ Full version]
  
• Concavely-Priced Timed Automata, in FORMATS'08, co-authored with Prof. Marcin Jurdziński.
  
• Reachability-Time Games on Timed Automata, in ICALP'07, co-authored with Prof. Marcin Jurdziński. [ Full version ]
  

  Technical Reports and Dissertations

• Competitive Optimisation on Timed Automata , PhD dissertation under Prof. Marcin Jurdziński.
  
• Techniques In Symbolic Model Checking , Master's dissertation under Prof. Supratik Chakraborty.
  
• Bounded Model Checking Using Satisability Solving (CFDVS Literature Survey)
  

  Co-authored Tools

• SymC, A symbolic simulator being developed at Tuebingen University, Germany.
  
• NuSMV, A model checker from IRST, Italy.
  
• CFDVS ModelChecker, CFDVS, IIT Bombay, India. (source-code available on request.)
  

Alumnus of

• FroMaGe -- formal methods group,University of Warwick, UK
  
• Formal Methods Group ,University of Tübingen, Germany
  
• Centre for Formal Design and Verification of Software, IIT Bombay, India
  
• Automated Reasoning Group, IRST, Italy
  
• Center of Excellence, L&T Infotech, India
  
• IIT Bombay
  
• VNIT, Nagpur