Ashutosh Trivedi PhD Student ( Formal Methods Group) Formal Methods and Quantum Information Processing Lab Department of Computer Science The University of Warwick Coventry, CV4 7AL United Kingdom Electronic Mail: trivedi [AT] dcs.warwick.ac.uk Phone: +44 2476 573801 Fax: +44 2476 573024

Research Interests

Publications

• Average-Time Games, to appear in the proceedings of FSTTCS'08, co-authored with Prof. Marcin Jurdziński.
  
• Concavely-Priced Timed Automata, appeared in the proceedings of FORMATS'08, co-authored with Prof. Marcin Jurdziński.
  
• Reachability-Time Games on Timed Automata, appeared in the proceedings of ICALP'07, co-authored with Prof. Marcin Jurdziński.
  
• Techniques In Symbolic Model Checking , Master's dissertation under Prof. Supratik Chakraborty.
  
• Bounded Model Checking Using Satisability Solving (CFDVS Tech Report)
  

Tool Development

• SIMA, Implementation of our ICALP 2007 paper
  
• Tota, Timed Automata Implementation in OCaml
  
• 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.)
  

Recent Talks

• Minimum reachability-price problem and minimum average-price problem for concave-priced timed automata . Presented at EU RTN GAMES 2007, The University of Lausanne, Switzerland (September 2007).
• Quantitative reachability problems for timed automata. Presented at WPCCS 2007, The University of Warwick, Coventry, UK (June 2007).
• A strategy improvement algorithm for optimal-time reachability games . Presented at Algorithms and Formal Methods Seminar, The University of Warwick, Coventry, UK (November 2006).
• A strategy improvement algorithm for optimal-time reachability games. Presented at EU RTN GAMES 2006, Issac Newton institute, Cambridge, UK (May 2006).
• Average payoff games. Presented at BCTCS 2006, Swansea University, UK (April 2006).

Current Teaching

• Tutor for CS240, 'Software Engineering Principles'
  
• Tutor for CS133, 'Professional Skills'
  
• Lab-instructor for CS410, 'Modelling and Algorithmic Analysis of Systems'
  

Alumnus of

• 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
  

Mobile Bookmarks