| 2025 | ICANN | Robustness Verification for Object Detectors Using Set-Based Reachability Analysis. | Sayak Chowdhury, Hardik Khandelwal, Meenakshi D'Souza |
| 2024 | ICDCIT | Coverage Criteria Based Testing of IoT Applications. | S. R. Nagalakshmi, Meenakshi D'Souza |
| 2023 | CCGRID | CCGRID 2023: A Holistic Approach to Inclusion and Belonging. | Beth Plale, Preeti Malakar, Meenakshi D'Souza, Hemangee K. Kapoor, Yogesh Simmhan, Ilkay Altintas, Manohar Swaminathan |
| 2023 | ICDCIT | Static Data Race Detection in Multi-task Programs for Industrial Robots. | Ameena K. Ashraf, Meenakshi D'Souza |
| 2022 | ESOP | Static Race Detection for Periodic Programs. | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
| 2021 | AIED | RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair. | Kumar Abhinav, Vijaya Sharvani, Alpana Dubey, Meenakshi D'Souza, Nitish Bhardwaj, Sakshi Jain, Veenu Arora |
| 2021 | ICANN | LipBaB: Computing Exact Lipschitz Constant of ReLU Networks. | Aritra Bhowmick, Meenakshi D'Souza, G. Srinivasa Raghavan |
| 2021 | SAC | Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. | Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim |
| 2019 | COMSNETS | Efficient Power Saving Method for WiFi Direct Devices in IoT based on Hidden Markov Model. | Sulochan Naik, Meenakshi D'Souza |
| 2019 | FM | Static Analysis for Detecting High-Level Races in RTOS Kernels. | Abhishek Singh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza |
| 2019 | ICDCIT | Avionics Self-adaptive Software: Towards Formal Verification and Validation. | Meenakshi D'Souza, Rajanikanth Nagaraj Kashi |
| 2018 | ETFA | A Generic Static Analysis Framework for Domain-specific Languages. | Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza |
| 2018 | ICDCIT | Efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture. | Palani Kumar, Meenakshi D'Souza, Debabrata Das |
| 2017 | COMSNETS | Design a power aware methodology in IoT based on Hidden Markov Model. | Palani Kumar, Meenakshi D'Souza |
| 2017 | ISSRE | A Static Analyzer for Industrial Robotic Applications. | Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair |
| 2017 | SAC | Knowledge based decision framework for architecting complex systems. | Ramakrishnan Raman, Meenakshi D'Souza |
| 2017 | SETTA | A Framework for Modeling and Verifying IoT Communication Protocols. | Maithily Diwan, Meenakshi D'Souza |
| 2013 | ICDCIT | Verification of Message Sequence Structures. | Meenakshi D'Souza, Teodor Knapik |