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
- Learning algorithms for computation
models of formal languages. Applications include model
construction for systems and symbolic model checking based on
learning
Tool:
LeVer
- Model checking algorithms for probabilistic systems based on statistical
sampling of executions and numerical computation
Tool:
VeStA
- Randomized algorithms to check
approximate correctness of data with respect to a property under
different computational models
- Monitoring and checking a system at runtime to see if the exhibited execution
conforms to a formal requirement
Tool:
Java MaC