Dileep Kini

Dept of Computer Science
University of Illinois at Urbana Champaign
Office: 3301 Siebel Center, 201 N Goodwin Ave, Urbana, IL 61801

E-Mail :


I am a fourth year PhD student in the Computer Science department at the University of Illinois at Urbana-Champaign advised by Mahesh Viswanathan.

I work in the area of formal methods, my interests span probabilisitic systems, program synthesis, computer-aided education and computer security.


Publications

Probabilistic Büchi Automata for LTL\GU. [PDF]
Dileep Kini, Mahesh Viswanathan
21st Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2015

Decidable Problems for Unary PFAs. [PDF]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
11th Intl. Conf. on Quantitative Evaluation of SysTems (QEST) 2014

Probabilistic Automata for Safety LTL Specifications. [PDF, Slides]
Dileep Kini, Mahehsh Viswanathan
15th Intl. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2014

Quantitative Information Flow in Boolean Programs. [PDF, Slides]
Rohit Chadha, Dileep Kini, Mahesh Viswanathan
3rd Conf. on Principles of Security and Trust (POST) 2014

Automated Grading of DFA Constructions. [PDF]
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
23rd Intl. Joint Conf. on Artificial Intelligence (IJCAI) 2013

Using non-convex Approximations for Efficient Analysis of Timed Automata. [PDF]
Frederic Herbreteau, Dileep Kini, B Srivathsan, Igor Walukiewicz
IARCS Annual Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2011

On Construction of Safety Signal Automata for MITL[U, S]. [PDF]
Dileep Kini, S Krishna, Paritosh Pandya
9th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS) 2011


Talks
 
Using non-convex abstractions for efficient analysis of timed automata 
FM Seminar - UIUC (April 2012)

Last updated: January 2014