Publications

Papers related to timed systems

• Model checking time-constrained scenario-based specifications
  S Akshay, P Gastin, M Mukund and K Narayan Kumar
  Proc. FSTTCS 2010, LIPIcs Vol 8 (2010), 204-215.

• Distributed Timed Automata with Independently Evolving Clocks
  S Akshay, B Bollig, P Gastin, M Mukund and K Narayan Kumar
  Proc. CONCUR 2008, Springer LNCS (2008), to appear.

• Checking Coverage for Infinite Collections of Timed Scenarios
  S Akshay, M Mukund and K Narayan Kumar
  Proc. CONCUR 2007, Springer LNCS (2007), to appear.

• Matching Scenarios with Timing Constraints
  P Chandrasekaran and M Mukund
  Proc. FORMATS 2006, Springer LNCS 4202 (2006) 98-112.

• Distributed Timed Automata with Independently Evolving Clocks
  S Akshay, B Bollig, P Gastin, M Mukund and K Narayan Kumar
  Proc. CONCUR 2008, Springer LNCS (2008), to appear.

• Click here for a complete list of papers.

• Subject-wise classification
  • Asynchronous automata, Mazurkiewicz trace theory
  • Message-passing systems
  • Timed systems
  • Bounded time-stamping
  • Logics for concurrency based on partial-orders
  • Non-interleaved models for concurrency
  • Automated verification
  • Computer Security