Deepak D'Souza
Deepak D'Souza
Department of CSA, Indian Institute of Science
Verified email at iisc.ac.in - Homepage
Title
Cited by
Cited by
Year
Fault diagnosis using timed automata
P Bouyer, F Chevalier, D D’Souza
International Conference on Foundations of Software Science and Computation …, 2005
1102005
Timed control with partial observability
P Bouyer, D D’Souza, P Madhusudan, A Petit
International Conference on Computer Aided Verification, 180-192, 2003
982003
An automata-theoretic approach to constraint LTL
S Demri, D D’Souza
Information and Computation 205 (3), 380-415, 2007
962007
Timed control synthesis for external specifications
D D’souza, P Madhusudan
Annual Symposium on Theoretical Aspects of Computer Science, 571-582, 2002
872002
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), 1-4, 2007
522007
A logical characterisation of event clock automata
D D'souza
International Journal of Foundations of Computer Science 14 (04), 625-639, 2003
392003
On timed automata with input-determined guards
D d’Souza, N Tabareau
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
362004
On the expressiveness of MTL with past operators
P Prabhakar, D D’Souza
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
352006
Scalable flow-sensitive pointer analysis for java with strong updates
A De, D D’Souza
European Conference on Object-Oriented Programming, 665-687, 2012
332012
An automata-theoretic approach to constraint LTL
S Demri, D D’souza
International Conference on Foundations of Software Technology and …, 2002
332002
Product interval automata: A subclass of timed automata
D D’Souza, PS Thiagarajan
International Conference on Foundations of Software Technology and …, 1999
251999
Conflict-tolerant features
D D’Souza, M Gopinathan
International Conference on Computer Aided Verification, 227-239, 2008
212008
A decidable temporal logic of repeating values
S Demri, D D’Souza, R Gascon
International Symposium on Logical Foundations of Computer Science, 180-194, 2007
212007
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
202018
Analysing message sequence graph specifications
J Chakraborty, D D’Souza, KN Kumar
International Symposium On Leveraging Applications of Formal Methods …, 2010
192010
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
192005
A logical characterisation of event recording automata
D D’souza
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000
162000
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
152011
On continuous timed automata with input-determined guards
F Chevalier, D D’Souza, P Prabhakar
International Conference on Foundations of Software Technology and …, 2006
152006
Checking consistency of SDL+ MSC specifications
D D’Souza, M Mukund
International SPIN Workshop on Model Checking of Software, 151-166, 2003
152003
The system can't perform the operation now. Try again later.
Articles 1–20