| Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza Foundations of Software Science and Computational Structures: 8th …, 2005 | 137 | 2005 |
| An automata-theoretic approach to constraint LTL S Demri, D d’Souza Information and Computation 205 (3), 380-415, 2007 | 122 | 2007 |
| Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 105 | 2003 |
| Timed control synthesis for external specifications D D’souza, P Madhusudan STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002 | 97 | 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 | 63 | 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 | 54 | 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 | 52 | 2012 |
| On timed automata with input-determined guards D d’Souza, N Tabareau Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 43 | 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 | 42 | 2006 |
| A logical characterisation of event clock automata D D'souza International Journal of Foundations of Computer Science 14 (04), 625-639, 2003 | 40 | 2003 |
| An automata-theoretic approach to constraint LTL S Demri, D D’souza FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002 | 34 | 2002 |
| Product interval automata: A subclass of timed automata D D’Souza, PS Thiagarajan Foundations of Software Technology and Theoretical Computer Science: 19th …, 1999 | 28 | 1999 |
| Conflict-tolerant features D D’Souza, M Gopinathan Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 24 | 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 | 23 | 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 | 21 | 2005 |
| Temporal logics of repeating values S Demri, D d’Souza, R Gascon Journal of Logic and Computation 22 (5), 1059-1096, 2012 | 19 | 2012 |
| Analysing message sequence graph specifications J Chakraborty, D D’Souza, K Narayan Kumar Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 18 | 2010 |
| Modern applications of automata theory D D'Souza, P Shankar World Scientific, 2012 | 17 | 2012 |
| Dataflow analysis for datarace-free programs A De, D D’Souza, R Nasre Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 16 | 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 | 16 | 2011 |
Pavithra PrabhakarProfessor of Computer Science & Peggy and Gary Edwards Chair in Engineering, Kansas State UniversityVerified email at ksu.edu
