AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Deepak D Souza

Deepak D Souza

Indian Institute of Science Bangalore - Bangalore / India
Engineering & Technology / Chemical Engineering
AD Scientific Index ID: 347552
भारतीय विज्ञान संस्थान, बेंगलुरु
person_outline Deepak D Souza's MOST POPULAR ARTICLES
1-) Fault diagnosis using timed automata International Conference on Foundations of Software Science and Computation …, 2005
2-) An automata-theoretic approach to constraint LTL Information and Computation 205 (3), 380-415, 2007
3-) Timed control with partial observability International Conference on Computer Aided Verification, 180-192, 2003
4-) Timed control synthesis for external specifications Annual Symposium on Theoretical Aspects of Computer Science, 571-582, 2002
5-) Horn-ICE learning for synthesizing invariants and contracts Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018