Deepak D'Souza
Deepak D'Souza
Department of CSA, Indian Institute of Science
Verified email at - Homepage
Cited by
Cited by
Fault diagnosis using timed automata
P Bouyer, F Chevalier, D D’Souza
Foundations of Software Science and Computational Structures: 8th …, 2005
An automata-theoretic approach to constraint LTL
S Demri, D d’Souza
Information and Computation 205 (3), 380-415, 2007
Timed control with partial observability
P Bouyer, D D’Souza, P Madhusudan, A Petit
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
Timed control synthesis for external specifications
D D’souza, P Madhusudan
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002
On the expressiveness of MTL in the pointwise and continuous semantics
D D’Souza, P Prabhakar
International Journal on Software Tools for Technology Transfer 9, 1-4, 2007
Horn-ICE learning for synthesizing invariants and contracts
P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
Scalable flow-sensitive pointer analysis for java with strong updates
A De, D D’Souza
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
On timed automata with input-determined guards
D d’Souza, N Tabareau
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006
A logical characterisation of event clock automata
D D'souza
International Journal of Foundations of Computer Science 14 (04), 625-639, 2003
An automata-theoretic approach to constraint LTL
S Demri, D D’souza
FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002
Product interval automata: A subclass of timed automata
D D’Souza, PS Thiagarajan
Foundations of Software Technology and Theoretical Computer Science: 19th …, 1999
Conflict-tolerant features
D D’Souza, M Gopinathan
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
A decidable temporal logic of repeating values
S Demri, D D’souza, R Gascon
Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007
An automata based approach for verifying information flow properties
D D'Souza, KR Raghavendra, B Sprick
Electronic Notes in Theoretical Computer Science 135 (1), 39-58, 2005
Temporal logics of repeating values
S Demri, D d’Souza, R Gascon
Journal of Logic and Computation 22 (5), 1059-1096, 2012
Analysing message sequence graph specifications
J Chakraborty, D D’Souza, K Narayan Kumar
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
Modern applications of automata theory
D D'Souza, P Shankar
World Scientific, 2012
Dataflow analysis for datarace-free programs
A De, D D’Souza, R Nasre
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
Model-checking trace-based information flow properties
D D'Souza, R Holla, KR Raghavendra, B Sprick
Journal of Computer Security 19 (1), 101-138, 2011
The system can't perform the operation now. Try again later.
Articles 1–20