Deepak D'Souza

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 34

Top Topics

Controller Synthesis

Top Venues

ESEC/SIGSOFT FSE

Publications

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich
Weakest Precondition Inference for Non-Deterministic Linear Array Programs. TACAS (2) (2024)
Aniket Modi, Rohan Tikmany, Tanu Malik, Raghavan Komondoor, Ashish Gehani, Deepak D'Souza
Kondo: Efficient Provenance-Driven Data Debloating. ICDE (2024)
Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza
Maximal Quantified Precondition Synthesis for Linear Array Loops. ESOP (2) (2024)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Symbolic Fixpoint Algorithms for Logical LTL Games. ASE (2023)
Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (10) (2023)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Towards Efficient Controller Synthesis Techniques for Logical LTL Games. CoRR (2023)
Arkesh Thakkar, Deepak D'Souza
Data-Driven Learning of Strong Conjunctive Invariants. FMCAD (2023)
Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy, Pranshul Kushwaha, Deepak D'Souza
Static executes-before analysis for event driven programs. ESEC/SIGSOFT FSE (2022)
Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade
BNSynth: Bounded Boolean Functional Synthesis. CoRR (2022)
Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti
Static Race Detection for Periodic Programs. ESOP (2022)
Raveendra Holla, Nabarun Deka, Deepak D'Souza
On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. FSTTCS (2021)
Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash
Static analysis for detecting high-level races in RTOS kernels. Formal Methods Syst. Des. 58 (1-2) (2021)
Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza
Specification synthesis with constrained Horn clauses. PLDI (2021)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces. ESEC/SIGSOFT FSE (2021)
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces. CoRR (2021)
P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
Verifying Band Convergence for Sampled Control Systems. NFM (2020)
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
Static Race Detection for RTOS Applications. CoRR (2020)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. CoRR (2020)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. CoRR (2020)
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
Static Race Detection for RTOS Applications. FSTTCS (2020)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. ATVA (2020)
Nikita Chopra, Rekha Pai, Deepak D'Souza
Data Races and Static Analysis for Interrupt-Driven Kernels. ESOP (2019)
Abhishek Singh, Rekha Pai, Deepak D'Souza, Meenakshi D'Souza
Static Analysis for Detecting High-Level Races in RTOS Kernels. FM (2019)
P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan
Horn-ICE learning for synthesizing invariants and contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Ashish Mishra, Deepak D'Souza, Y. N. Srikant
Presburger-Definable Parameterized Typestates. CoRR (2017)
Suvam Mukherjee, Arun Kumar, Deepak D'Souza
Detecting All High-Level Dataraces in an RTOS Kernel. VMCAI (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
RATCOP: Relational Analysis Tool for Concurrent Programs. Haifa Verification Conference (2017)
Deepak D'Souza, P. Ezudheen, Pranav Garg, P. Madhusudan, Daniel Neider
Horn-ICE Learning for Synthesizing Invariants and Contracts. CoRR (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. SAS (2017)
Deepak D'Souza, Akash Lal
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation. Comput. Lang. Syst. Struct. 47 (2017)
Deepak D'Souza, R. K. Ramesh
Model-checking trace-based information flow properties for infinite-state systems. J. Comput. Secur. 24 (5) (2016)
Tejas Patil, Raghavan Komondoor, Deepak D'Souza, Indrajit Bhattacharya
An Optimization Approach for Matching Textual Domain Models with Existing Code. ICSME (2016)
Shu Cheng, Jim Woodcock, Deepak D'Souza
Using formal reasoning on a model of tasks for FreeRTOS. Formal Aspects Comput. 27 (1) (2015)
Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar
Efficient Refinement Checking in VCC. VSTTE (2014)
Prakash Chandrasekaran, K. B. Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram
A multi-core version of FreeRTOS verified for datarace and deadlock freedom. MEMOCODE (2014)
Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, Sachin Kale
Using relationships for matching textual domain models with existing code. WCRE (2013)
Deepak D'Souza, Raj Mohan Matteplackel
A Compositional Hierarchical Monitoring Automaton Construction for LTL. ICTAC (2012)
Arnab De, Deepak D'Souza
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. ECOOP (2012)
Deepak D'Souza, K. R. Raghavendra
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. ESORICS (2012)
Stéphane Demri, Deepak D'Souza, Régis Gascon
Temporal Logics of Repeating Values. J. Log. Comput. 22 (5) (2012)
Arnab De, Deepak D'Souza, Rupesh Nasre
Dataflow Analysis for Datarace-Free Programs. ESOP (2011)
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick
Model-checking trace-based information flow properties. J. Comput. Secur. 19 (1) (2011)
Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel
Conflict-tolerant specifications in temporal logic. ISEC (2010)
Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. TIME (2010)
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama
A Case Study in Matching Service Descriptions to Implementations in an Existing System CoRR (2010)
Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama
A case study in matching service descriptions to implementations in an existing system. ICSM (2010)
Arnab De, Abhik Roychoudhury, Deepak D'Souza
WOMM: A Weak Operational Memory Model. ISoLA (1) (2010)
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar
Analysing Message Sequence Graph Specifications. ISoLA (1) (2010)
Marc D. Normandin, David Weinzimmer, Jim Ropchan, David Labaree, Kuo-Shyan Lin, Neale S. Mason, Richard E. Carson, Deepak D'Souza, Alexander Neumeister, Yiyun Huang
Modeling analysis of the CB1 PET tracer [11C]OMAR in rhesus monkeys and humans. NeuroImage 52 (Supplement-1) (2010)
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Supervisory control for real-time systems based on conflict-tolerant controllers. CASE (2009)
Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
Automata and logics over finitely varying functions. Ann. Pure Appl. Log. 161 (3) (2009)
Arnab De, Abhik Roychoudhury, Deepak D'Souza
Java memory model aware software validation. PASTE (2008)
Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick
On the Decidability of Model-Checking Information Flow Properties. ICISS (2008)
Deepak D'Souza, Madhu Gopinathan
Conflict-Tolerant Features. CAV (2008)
Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath
Conflict-Tolerant Real-Time Features. QEST (2008)
Stéphane Demri, Deepak D'Souza
An automata-theoretic approach to constraint LTL. Inf. Comput. 205 (3) (2007)
Stéphane Demri, Deepak D'Souza, Régis Gascon
A Decidable Temporal Logic of Repeating Values. LFCS (2007)
Deepak D'Souza, Pavithra Prabhakar
On the expressiveness of MTL in the pointwise and continuous semantics. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
Counter-Free Input-Determined Timed Automata. FORMATS (2007)
Deepak D'Souza, Nicolas Tabareau
On timed automata with input-determined guards CoRR (2006)
Pavithra Prabhakar, Deepak D'Souza
On the Expressiveness of MTL with Past Operators. FORMATS (2006)
Deepak D'Souza, Madhu Gopinathan
Computing Complete Test Graphs for Hierarchical Systems. SEFM (2006)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
On Continuous Timed Automata with Input-Determined Guards. FSTTCS (2006)
Deepak D'Souza, K. R. Raghavendra, Barbara Sprick
An Automata Based Approach for Verifying Information Flow Properties. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
Fault Diagnosis Using Timed Automata. FoSSaCS (2005)
Deepak D'Souza, M. Raj Mohan
Eventual Timed Automata. FSTTCS (2005)
Deepak D'Souza, Nicolas Tabareau
On Timed Automata with Input-Determined Guards. FORMATS/FTRTFT (2004)
Deepak D'Souza
A Logical Characterisation of Event Clock Automata. Int. J. Found. Comput. Sci. 14 (4) (2003)
Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
Timed Control with Partial Observability. CAV (2003)
Deepak D'Souza, Madhavan Mukund
Checking Consistency of SDL+MSC Specifications. SPIN (2003)
Deepak D'Souza, P. Madhusudan
Timed Control Synthesis for External Specifications. STACS (2002)
Stéphane Demri, Deepak D'Souza
An Automata-Theoretic Approach to Constraint LTL. FSTTCS (2002)
Deepak D'Souza
A Logical Characterisation of Event Recording Automata. FTRTFT (2000)
Deepak D'Souza, P. S. Thiagarajan
Product Interval Automata: A Subclass of Timed Automata. FSTTCS (1999)