Dileep Kini

Dept of Computer Science, UIUC

Office: 3301, Siebel Center

E-Mail :


Research Interests



Publications

Probabilistic Automata for Safety LTL Specifications, VMCAI 2014
with M Viswanathan

Quantitative Information Flow in Boolean Programs, POST 2014
with R Chadha, M Viswanathan

Automated Grading of DFA Constructions, IJCAI 2013
with R Alur, L D’Antoni, S Gulwani, M Viswanathan

Using non-convex Approximations for Efficient Analysis of Timed Automata, FSTTCS 2011 
with F Herbreteau, B Srivathsan, I Walukiewicz

On Construction of Safety Signal Automata for MITL[U,S], FORMATS 2011
with S Krishna, P Pandya


Talks
 
Using non-convex abstractions for efficient analysis of timed automata  [Slides - coming soon]
FM Seminar - UIUC (April 2012)

Last updated: January 2014