Deepak D'Souza

According to our database, Deepak D'Souza authored at least 67 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Maximal Quantified Precondition Synthesis for Linear Array Loops.

Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza

Proceedings of the Programming Languages and Systems, 2024

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., October, 2023

Towards Efficient Controller Synthesis Techniques for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

CoRR, 2023

Symbolic Fixpoint Algorithms for Logical LTL Games.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Data-Driven Learning of Strong Conjunctive Invariants.

Arkesh Thakkar, Deepak D'Souza

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

BNSynth: Bounded Boolean Functional Synthesis.

Ravi Raja, Stanly Samuel, Chiranjib Bhattacharyya, Deepak D'Souza, Aditya Kanade

CoRR, 2022

Static executes-before analysis for event driven programs.

Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy, Pranshul Kushwaha, Deepak D'Souza

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Static Race Detection for Periodic Programs.

Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the Programming Languages and Systems, 2022

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

GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.

Stanly Samuel, Deepak D'Souza, Raghavan Komondoor

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics.

Raveendra Holla, Nabarun Deka, Deepak D'Souza

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

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

Verifying Band Convergence for Sampled Control Systems.

P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Static Race Detection for RTOS Applications.

Rishi Tulsyan, Rekha R. Pai, Deepak D'Souza

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Verification of a Generative Separation Kernel.

Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Static Analysis for Detecting High-Level Races in RTOS Kernels.

Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Data Races and Static Analysis for Interrupt-Driven Kernels.

Nikita Chopra, Rekha R. Pai, Deepak D'Souza

Proceedings of the Programming Languages and Systems, 2019

2018

Horn-ICE learning for synthesizing invariants and contracts.

P. Ezudheen, Daniel Neider, Deepak D'Souza, Pranav Garg, P. Madhusudan

Proc. ACM Program. Lang., 2018

2017

Presburger-Definable Parameterized Typestates.

Ashish Mishra, Deepak D'Souza, Y. N. Srikant

CoRR, 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

Detecting All High-Level Dataraces in an RTOS Kernel.

Suvam Mukherjee, Arun Kumar, Deepak D'Souza

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky

Proceedings of the Static Analysis - 24th International Symposium, 2017

RATCOP: Relational Analysis Tool for Concurrent Programs.

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Model-checking trace-based information flow properties for infinite-state systems.

Deepak D'Souza, R. K. Ramesh

J. Comput. Secur., 2016

An Optimization Approach for Matching Textual Domain Models with Existing Code.

Tejas Patil, Raghavan Komondoor, Deepak D'Souza, Indrajit Bhattacharya

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015

Using formal reasoning on a model of tasks for FreeRTOS.

Shu Cheng, Jim Woodcock, Deepak D'Souza

Formal Aspects Comput., 2015

Refinement-Based Verification of the FreeRTOS Scheduler in VCC.

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Efficient Refinement Checking in VCC.

Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

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

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

Using relationships for matching textual domain models with existing code.

Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, Sachin Kale

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

2012

Temporal Logics of Repeating Values.

Stéphane Demri, Deepak D'Souza, Régis Gascon

J. Log. Comput., 2012

A Compositional Hierarchical Monitoring Automaton Construction for LTL.

Deepak D'Souza, Raj Mohan Matteplackel

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.

Deepak D'Souza, K. R. Raghavendra

Proceedings of the Computer Security - ESORICS 2012, 2012

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates.

Arnab De, Deepak D'Souza

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Automata and Logics over Signals.

Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Model-checking trace-based information flow properties.

Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick

J. Comput. Secur., 2011

Dataflow Analysis for Datarace-Free Programs.

Arnab De, Deepak D'Souza, Rupesh Nasre

Proceedings of the Programming Languages and Systems, 2011

2010

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.

Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan

Proceedings of the TIME 2010, 2010

WOMM: A Weak Operational Memory Model.

Arnab De, Abhik Roychoudhury, Deepak D'Souza

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Analysing Message Sequence Graph Specifications.

Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Conflict-tolerant specifications in temporal logic.

Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

A case study in matching service descriptions to implementations in an existing system.

Hari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009

Automata and logics over finitely varying functions.

Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar

Ann. Pure Appl. Log., 2009

Supervisory control for real-time systems based on conflict-tolerant controllers.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Conflict-Tolerant Real-Time Features.

Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Java memory model aware software validation.

Arnab De, Abhik Roychoudhury, Deepak D'Souza

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

On the Decidability of Model-Checking Information Flow Properties.

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick

Proceedings of the Information Systems Security, 4th International Conference, 2008

Conflict-Tolerant Features.

Deepak D'Souza, Madhu Gopinathan

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

On the expressiveness of MTL in the pointwise and continuous semantics.

Deepak D'Souza, Pavithra Prabhakar

Int. J. Softw. Tools Technol. Transf., 2007

An automata-theoretic approach to constraint LTL.

Stéphane Demri, Deepak D'Souza

Inf. Comput., 2007

A Decidable Temporal Logic of Repeating Values.

Stéphane Demri, Deepak D'Souza, Régis Gascon

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Counter-Free Input-Determined Timed Automata.

Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Computing Complete Test Graphs for Hierarchical Systems.

Deepak D'Souza, Madhu Gopinathan

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

On Continuous Timed Automata with Input-Determined Guards.

Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

On the Expressiveness of MTL with Past Operators.

Pavithra Prabhakar, Deepak D'Souza

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

An Automata Based Approach for Verifying Information Flow Properties.

Deepak D'Souza, K. R. Raghavendra, Barbara Sprick

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Eventual Timed Automata.

Deepak D'Souza, M. Raj Mohan

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Fault Diagnosis Using Timed Automata.

Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

On Timed Automata with Input-Determined Guards.

Deepak D'Souza, Nicolas Tabareau

Proceedings of the Formal Techniques, 2004

2003

A Logical Characterisation of Event Clock Automata.

Deepak D'Souza

Int. J. Found. Comput. Sci., 2003

Checking Consistency of SDL+MSC Specifications.

Deepak D'Souza, Madhavan Mukund

Proceedings of the Model Checking Software, 2003

Timed Control with Partial Observability.

Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Timed Control Synthesis for External Specifications.

Deepak D'Souza, P. Madhusudan

Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002

2000

A Logical Characterisation of Event Recording Automata.

Deepak D'Souza

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Product Interval Automata: A Subclass of Timed Automata.

Deepak D'Souza, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999