My downloadable papers, listed in reverse chronological order, can be found here

Most of my research can be broadly classified into the following categories (an individual paper may fall in multiple ones)

- Automata Theory for finite state machines with limited auxiliary storage and its applications to software verification
- Verification of cyberphysical systems
- Model checking of stochastic models

*Tool:*VeStA - Randomized algorithms to check properties of programs and data
- Monitoring and checking a system at runtime to see if the exhibited execution
conforms to a formal requirement

*Tool:*Java MaC - Learning algorithms for computation
models of formal languages. Applications include model
construction for systems and symbolic model checking based on
learning

*Tool:*LeVer