Deepak D'Souza

81 papers A* 5A 7B 9C 4Misc 2Journal 23Unranked 28

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