Sriram Sankaranarayanan

Integer Programming Games

Verification, Model Checking, and Abstract Interpretation

Formal Modeling and Analysis of Timed Systems

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems