Product Interval Automata: A Subclass of Timed Automata. - Deepak D'Souza; P. S. Thiagarajan (FSTTCS, 1999)

A Logical Characterisation of Event Recording Automata. - Deepak D'Souza (FTRTFT, 2000)

Timed Control Synthesis for External Specifications. - Deepak D'Souza; P. Madhusudan (STACS, 2002)

Timed Control with Partial Observability. - Patricia Bouyer; Deepak D'Souza; P. Madhusudan; Antoine Petit 001 (CAV, 2003)

Checking Consistency of SDL+MSC Specifications. - Deepak D'Souza; Madhavan Mukund (SPIN, 2003)

A Logical Characterisation of Event Clock Automata. - Deepak D'Souza (Int. J. Found. Comput. Sci., 2003)

On Timed Automata with Input-Determined Guards. - Deepak D'Souza; Nicolas Tabareau (FORMATS/FTRTFT, 2004)

Fault Diagnosis Using Timed Automata. - Patricia Bouyer; Fabrice Chevalier; Deepak D'Souza (FoSSaCS, 2005)

Eventual Timed Automata. - Deepak D'Souza; M. Raj Mohan (FSTTCS, 2005)

An Automata Based Approach for Verifying Information Flow Properties. - Deepak D'Souza; K. R. Raghavendra; Barbara Sprick (ARSPA@ICALP, 2005)

On the Expressiveness of MTL with Past Operators. - Pavithra Prabhakar; Deepak D'Souza (FORMATS, 2006)

On Continuous Timed Automata with Input-Determined Guards. - Fabrice Chevalier; Deepak D'Souza; Pavithra Prabhakar (FSTTCS, 2006)

Computing Complete Test Graphs for Hierarchical Systems. - Deepak D'Souza; Madhu Gopinathan (SEFM, 2006)

Counter-Free Input-Determined Timed Automata. - Fabrice Chevalier; Deepak D'Souza; Pavithra Prabhakar (FORMATS, 2007)

A Decidable Temporal Logic of Repeating Values. - Stéphane Demri; Deepak D'Souza; Régis Gascon (LFCS, 2007)

An automata-theoretic approach to constraint LTL. - Stéphane Demri; Deepak D'Souza (Inf. Comput., 2007)

On the expressiveness of MTL in the pointwise and continuous semantics. - Deepak D'Souza; Pavithra Prabhakar (Int. J. Softw. Tools Technol. Transf., 2007)

Conflict-Tolerant Features. - Deepak D'Souza; Madhu Gopinathan (CAV, 2008)

On the Decidability of Model-Checking Information Flow Properties. - Deepak D'Souza; Raveendra Holla; Janardhan Kulkarni; Raghavendra K. Ramesh; Barbara Sprick (ICISS, 2008)

Java memory model aware software validation. - Arnab De; Abhik Roychoudhury; Deepak D'Souza (PASTE, 2008)

Conflict-Tolerant Real-Time Features. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (QEST, 2008)

Supervisory control for real-time systems based on conflict-tolerant controllers. - Deepak D'Souza; Madhu Gopinathan; S. Ramesh 002; Prahladavaradan Sampath (CASE, 2009)

Automata and logics over finitely varying functions. - Fabrice Chevalier; Deepak D'Souza; M. Raj Mohan; Pavithra Prabhakar (Ann. Pure Appl. Log., 2009)

A case study in matching service descriptions to implementations in an existing system. - Hari S. Gupta; Deepak D'Souza; Raghavan Komondoor; Girish M. Rama (ICSM, 2010)

Conflict-tolerant specifications in temporal logic. - Sumesh Divakaran; Deepak D'Souza; Raj Mohan Matteplackel (ISEC, 2010)

Analysing Message Sequence Graph Specifications. - Joy Chakraborty; Deepak D'Souza; K. Narayan Kumar (ISoLA (1), 2010)

WOMM: A Weak Operational Memory Model. - Arnab De; Abhik Roychoudhury; Deepak D'Souza (ISoLA (1), 2010)

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. - Sumesh Divakaran; Deepak D'Souza; M. Raj Mohan (TIME, 2010)

Dataflow Analysis for Datarace-Free Programs. - Arnab De; Deepak D'Souza; Rupesh Nasre (ESOP, 2011)

Model-checking trace-based information flow properties. - Deepak D'Souza; Raveendra Holla; K. R. Raghavendra; Barbara Sprick (J. Comput. Secur., 2011)

Automata and Logics over Signals. - Fabrice Chevalier; Deepak D'Souza; Raj Mohan Matteplackel; Pavithra Prabhakar (Modern Applications of Automata Theory, 2012)

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. - Arnab De; Deepak D'Souza (ECOOP, 2012)

Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. - Deepak D'Souza; K. R. Raghavendra (ESORICS, 2012)

A Compositional Hierarchical Monitoring Automaton Construction for LTL. - Deepak D'Souza; Raj Mohan Matteplackel (ICTAC, 2012)

Temporal Logics of Repeating Values. - Stéphane Demri; Deepak D'Souza; Régis Gascon (J. Log. Comput., 2012)

Using relationships for matching textual domain models with existing code. - Raghavan Komondoor; Indrajit Bhattacharya; Deepak D'Souza; Sachin Kale (WCRE, 2013)

A multi-core version of FreeRTOS verified for datarace and deadlock freedom. - Prakash Chandrasekaran; Kavum Muriyil Balachandran Shibu Kumar; Remish L. Minz; Deepak D'Souza; Lomesh Meshram (MEMOCODE, 2014)

Efficient Refinement Checking in VCC. - Sumesh Divakaran; Deepak D'Souza; Nigamanth Sridhar (VSTTE, 2014)

Refinement-Based Verification of the FreeRTOS Scheduler in VCC. - Sumesh Divakaran; Deepak D'Souza; Anirudh Kushwah; Prahladavaradan Sampath; Nigamanth Sridhar; Jim Woodcock 001 (ICFEM, 2015)

Using formal reasoning on a model of tasks for FreeRTOS. - Shu Cheng; Jim Woodcock 001; Deepak D'Souza (Formal Aspects Comput., 2015)

An Optimization Approach for Matching Textual Domain Models with Existing Code. - Tejas Patil; Raghavan Komondoor; Deepak D'Souza; Indrajit Bhattacharya (ICSME, 2016)

Model-checking trace-based information flow properties for infinite-state systems. - Deepak D'Souza; R. K. Ramesh 001 (J. Comput. Secur., 2016)

RATCOP: Relational Analysis Tool for Concurrent Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (Haifa Verification Conference, 2017)

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (SAS, 2017)

Detecting All High-Level Dataraces in an RTOS Kernel. - Suvam Mukherjee; Arun Kumar; Deepak D'Souza (VMCAI, 2017)

Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation. - Deepak D'Souza; Akash Lal (Comput. Lang. Syst. Struct., 2017)

Presburger-Definable Parameterized Typestates. - Ashish Mishra 002; Deepak D'Souza; Y. N. Srikant (CoRR, 2017)

Horn-ICE learning for synthesizing invariants and contracts. - P. Ezudheen; Daniel Neider; Deepak D'Souza; Pranav Garg 001; P. Madhusudan (Proc. ACM Program. Lang., 2018)

Data Races and Static Analysis for Interrupt-Driven Kernels. - Nikita Chopra; Rekha R. Pai; Deepak D'Souza (ESOP, 2019)

Static Analysis for Detecting High-Level Races in RTOS Kernels. - Abhishek Singh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza (FM, 2019)

Verification of a Generative Separation Kernel. - Inzemamul Haque; Deepak D'Souza; Habeeb P; Arnab Kundu; Ganesh Babu (ATVA, 2020)

Static Race Detection for RTOS Applications. - Rishi Tulsyan; Rekha R. Pai; Deepak D'Souza (FSTTCS, 2020)

Verifying Band Convergence for Sampled Control Systems. - P. Ezudheen; Zahra Rahimi Afzal; Pavithra Prabhakar; Deepak D'Souza; Meenakshi D'Souza (NFM, 2020)

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (CoRR, 2020)

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. - Raveendra Holla; Nabarun Deka; Deepak D'Souza (FSTTCS, 2021)

Specification synthesis with constrained Horn clauses. - Sumanth Prabhu S; Grigory Fedyukovich; Kumar Madhukar; Deepak D'Souza (PLDI, 2021)

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ESEC/SIGSOFT FSE, 2021)

Static analysis for detecting high-level races in RTOS kernels. - Rekha R. Pai; Abhishek Singh; Deepak D'Souza; Meenakshi D'Souza; Prathibha Prakash (Formal Methods Syst. Des., 2021)

Static Race Detection for Periodic Programs. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ESOP, 2022)

Static executes-before analysis for event driven programs. - Rekha R. Pai; Abhishek Uppar; Akshatha Shenoy 001; Pranshul Kushwaha; Deepak D'Souza (ESEC/SIGSOFT FSE, 2022)

BNSynth: Bounded Boolean Functional Synthesis. - Ravi Raja; Stanly Samuel; Chiranjib Bhattacharyya; Deepak D'Souza; Aditya Kanade 001 (CoRR, 2022)

Data-Driven Learning of Strong Conjunctive Invariants. - Arkesh Thakkar; Deepak D'Souza (FMCAD, 2023)

Symbolic Fixpoint Algorithms for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (ASE, 2023)

Towards Efficient Controller Synthesis Techniques for Logical LTL Games. - Stanly Samuel; Deepak D'Souza; Raghavan Komondoor (CoRR, 2023)

Verification of Camera-Based Autonomous Systems. - Habeeb P; Nabarun Deka; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Static Race Detection for Periodic Real-Time Programs with IPCP Locks. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (The Application of Formal Methods, 2024)

Maximal Quantified Precondition Synthesis for Linear Array Loops. - Sumanth Prabhu 001; Grigory Fedyukovich; Deepak D'Souza (ESOP (2), 2024)

Kondo: Efficient Provenance-Driven Data Debloating. - Aniket Modi; Rohan Tikmany; Tanu Malik; Raghavan Komondoor; Ashish Gehani; Deepak D'Souza (ICDE, 2024)

Weakest Precondition Inference for Non-Deterministic Linear Array Programs. - Sumanth Prabhu 001; Deepak D'Souza; Supratik Chakraborty; R. Venkatesh 001; Grigory Fedyukovich (TACAS (2), 2024)

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. - Habeeb P; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)