Dileep Kini
Title
Cited by
Cited by
Year
Automated grading of DFA constructions
R Alur, L D’Antoni, S Gulwani, D Kini
712016
How can automatic feedback help students construct automata?
L D'antoni, D Kini, R Alur, S Gulwani, M Viswanathan, B Hartmann
ACM Transactions on Computer-Human Interaction (TOCHI) 22 (2), 1-24, 2015
432015
Dynamic race prediction in linear time
D Kini, U Mathur, M Viswanathan
ACM SIGPLAN Notices 52 (6), 157-170, 2017
402017
Flashnormalize: Programming by examples for text normalization
D Kini, S Gulwani
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
302015
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
242011
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
232011
Limit Deterministic and Probabilistic Automata for LTL∖ GU
D Kini, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2015
202015
On Construction of Safety Signal Automata for Using Temporal Projections
DR Kini, SN Krishna, PK Pandya
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
142011
Optimal translation of LTL to limit deterministic automata
D Kini, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2017
122017
What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection
U Mathur, D Kini, M Viswanathan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
112018
Decidable problems for unary PFAs
R Chadha, D Kini, M Viswanathan
International Conference on Quantitative Evaluation of Systems, 329-344, 2014
82014
Quantitative information flow in boolean programs
R Chadha, D Kini, M Viswanathan
International Conference on Principles of Security and Trust, 103-119, 2014
62014
Data race detection on compressed traces
D Kini, U Mathur, M Viswanathan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
32018
Probabilistic Büchi automata for LTL\GU
D Kini, M Viswanathan
32015
Probabilistic automata for safety LTL specifications
D Kini, M Viswanathan
International Conference on Verification, Model Checking, and Abstract …, 2014
32014
Verification of linear-time properties for finite probabilistic systems
DR Kini
University of Illinois at Urbana-Champaign, 2017
12017
Complexity of Model Checking MDPs against LTL Specifications
D Kini, M Viswanathan
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
2018
On Construction of Safety Signal Automata for Using Temporal Projections
DR Kini, SN Krishna, PK Pandya
Formal Modeling and Analysis of Timed Systems, 0
The system can't perform the operation now. Try again later.
Articles 1–18