|
 | Up a level |
Mukherjee, Suvam and Kumar, Arun and D'Souza, Deepak (2017) Detecting All High-Level Dataraces in an RTOS Kernel. In: 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 15-17, 2017, Paris, FRANCE, pp. 405-423.
Patil, Tejas and Komondoor, Raghavan and D'Souza, Deepak and Bhattacharya, Indrajit (2016) An Optimization Approach for Matching Textual Domain Models with Existing Code. In: 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), OCT 02-10, 2016, Releigh, NC, pp. 134-144.
Komondoor, Raghavan and Bhattacharya, Indrajit and D'Souza, Deepak and Kale, Sachin (2013) Using Relationships for Matching Textual Domain Models with Existing Code. In: 20th Working Conference on Reverse Engineering, OCT 14-17, 2013, Univ Koblenz, Koblenz, GERMANY, pp. 371-380.
Cheng, Shu and Woodcock, Jim and D'Souza, Deepak (2015) Using formal reasoning on a model of tasks for FreeRTOS. In: FORMAL ASPECTS OF COMPUTING, 27 (1). pp. 167-192.
D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2013) Conflict-tolerant specifications for hybrid systems. In: Journal of the Indian Institute of Science, 93 (3). pp. 403-417.
Demri, Stephane and D'Souza, Deepak and Gascon, Regis (2012) Temporal Logics of Repeating Values. In: JOURNAL OF LOGIC AND COMPUTATION, 22 (5). pp. 1059-1096.
