Meenakshi D’Souza

International Institute of Information Technology Bangalore — India

Computer Science · Physical Sciences

7h-index181citations54works0.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(15), Advanced Software Engineering Methodologies(12), Software Reliability and Analysis Research(12), Software Testing and Debugging Techniques(10), Real-Time Systems Scheduling(8)

Publications54 total

Reachability and Verification of Assertions for IoT Applications
Lecture notes in computer science·2025
Robustness Verification for Object Detectors Using Set-Based Reachability Analysis
Lecture notes in computer science·2025
A Survey on Investigating Machine Learning Approaches for Real-time Yoga Pose Rectification
2025
Coverage Criteria Based Testing of IoT Applications
Lecture notes in computer science·2024· 1 cited
Static Race Detection for Periodic Real-Time Programs with IPCP Locks
Lecture notes in computer science·2024· 2 cited
POS0397 SHORT-TERM (2 YEARS) FRACTURE RISK PREDICTION: A MACHINE LEARNING APPROACH
Annals of the Rheumatic Diseases·2023Open Access
CCGRID 2023: A Holistic Approach to Inclusion and Belonging
2023
Detection of Faults in Microservices using Petri Nets
2023· 2 cited
Static Data Race Detection in Multi-task Programs for Industrial Robots
Lecture notes in computer science·2023
Bringing the missing women back
Communications of the ACM·2022· 1 citedOpen Access
PePRacer (ESOP 2022 Artifact): Code and Benchmarks
2022Open Access
PePRacer (ESOP 2022 Artifact): Code and Benchmarks
2022Open Access
Static Race Detection for Periodic Programs
Lecture notes in computer science·2022· 3 citedOpen Access
Knowledge Value Stream Framework For Complex Product Design Decisions
arXiv (Cornell University)·2021Open Access
Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker
2021· 6 cited
A verifiable multi-agent framework for dependable and adaptable avionics
Sadhana·2021· 1 cited
Static analysis for detecting high-level races in RTOS kernels
Formal Methods in System Design·2021· 1 cited
LipBaB: Computing Exact Lipschitz Constant of ReLU Networks
Lecture notes in computer science·2021· 3 citedOpen Access
RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair
Lecture notes in computer science·2021· 7 cited
Coverage Criteria based Testing of Industrial Robots
2020· 4 cited
page 1 of 3Next →

Frequent Co-authors

Deepak D’Souza(6), R. Kashi(5), Raoul Jetley(5), Rekha Pai(5), Ramakrishnan Raman(4), Gracy Philip(4), Varsha P Suresh(4), Sujit Kumar Chakrabarti(4), Abhishek Singh(3), Abhik Roychoudhury(2), Shashank Baghel(2), Nitin Kulkarni(2), Avijit Mandal(2), Sreeja Nair(2), Vijaya Sharvani(2), Alpana Dubey(2), Veenu Arora(2), Arshad Ebrahim(2), Palani Kumar(2), Swarup Kumar Mohalik(2)