|
 | Up a level |
Prabhakar, Pavithra and D’Souza, Deepak (2006) On the Expressiveness of MTL with Past Operators. [Book Chapter]
Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. In: 24th International Symposium on Static Analysis, SAS 2017, 30 August 2017 - 1 September 2017, New York, pp. 253-276.
De, Arnab and D’Souza, Deepak and Nasre, Rupesh (2011) Dataflow analysis for data-race free programs. In: ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software, 2011, Heidelberg.
D’Souza, Deepak and Gopinathan, Madhu (2008) Conflict-Tolerant Features. In: 20th International Conference on Computer Aided Verification, JUL 07, 2008, Princeton, pp. 227-239.
Mukherjee, Suvam and Padon, Oded and Shoham, Sharon and D’Souza, Deepak and Rinetzky, Noam (2017) RATCOP: Relational Analysis Tool for Concurrent Programs. In: 13th International Haifa Verification Conference, HVC 2017, 13 November 2017 - 15 November 2017, Haifa, pp. 229-233.
D’Souza, Deepak and Matteplackel, Raj Mohan (2012) Compositional hierarchical monitoring automaton construction for LTL. In: Proceedings of 9th International Colloquium, September 24-27, 2012, Bangalore, India, pp. 16-29.
D’Souza, Deepak and Raghavendra, KR (2012) Model-checking bisimulation-based information flow properties for infinite state sstems. In: Proceedings of 17th European Symposium on Research in Computer Security, September 10-12, 2012, Pisa, Italy.
De, Arnab and D’Souza, Deepak (2012) Scalable flow-sensitive pointer analysis for fava with strong updates. In: Proceedings of 26th European Conference, June 11-16, 2012, Beijing, China.
D’Souza, Deepak and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model-Checking Information Flow Properties. In: ICISS 2008, Hyderabad, 16 - 20 December 2008, Hyderabad.
De, Arnab and Roychoudhury, Abhik and D’Souza, Deepak (2008) Java Memory Model aware Software validation. In: PASTE '08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, New York, NY.
Chevalier, Fabrice and D’Souza, Deepak and Prabhakar, Pavithra (2007) Counter-free input-determined timed automata. In: FORMATS 2007, Salzburg, Austria, October 2007, Salzburg.
Bhardwaj, Deepak and D’Souza, Deepak (2006) A unification-based decision procedure for cryptographic protocol analysis. In: Proc. 6th International Workshop on Issues in theory of Security (WITS), , 2006, Vienna.
Demri, Stephane and D’Souza, Deepak (2007) An automata-theoretic approach to constraint LTL. In: Information and Computation, 205 (3). pp. 380-415.
