Suivre
Dileep Kini
Titre
Citée par
Citée par
Année
Automated grading of DFA constructions
R Alur, L D’Antoni, S Gulwani, D Kini
IJCAI'13 Proceedings of the Twenty-Third international joint conference on …, 2013
1032013
Dynamic race prediction in linear time
D Kini, U Mathur, M Viswanathan
ACM SIGPLAN Notices 52 (6), 157-170, 2017
782017
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
722015
Flashnormalize: Programming by examples for text normalization
D Kini, S Gulwani
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
392015
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
342018
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
292011
Using non-convex approximations for efficient analysis of timed automata
F Herbreteau, D Kini, B Srivathsan, I Walukiewicz
arXiv preprint arXiv:1110.3704, 2011
292011
Limit deterministic and probabilistic automata for LTL∖ GU
D Kini, M Viswanathan
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
272015
Optimal translation of LTL to limit deterministic automata
D Kini, M Viswanathan
International Conference on Tools and Algorithms for the Construction and …, 2017
172017
Data race detection on compressed traces
D Kini, U Mathur, M Viswanathan
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
152018
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
Decidable problems for unary PFAs
R Chadha, D Kini, M Viswanathan
International Conference on Quantitative Evaluation of Systems, 329-344, 2014
102014
Quantitative information flow in boolean programs
R Chadha, D Kini, M Viswanathan
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
72014
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
Complexity of model checking MDPs against LTL specifications
D Kini, M Viswanathan
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
22018
Verification of linear-time properties for finite probabilistic systems
DR Kini
University of Illinois at Urbana-Champaign, 2017
12017
On Construction of Safety Signal Automata for Using Temporal Projections
DR Kini, SN Krishna, PK Pandya
Formal Modeling and Analysis of Timed Systems, 0
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–18