Meenakshi D'Souza

52 papers A 1B 3C 2Misc 11Journal 7Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings ATVA Meenakshi D'Souza, Raghavan Komondoor, B. Srivathsan
2026	J	`jnl`	SETA: Statistical Fault Attribution for Compound AI Systems. CoRR Sayak Chowdhury, Meenakshi D'Souza
2025	—	`conf`	Extensible Test Automation for Functional Testing of Low-Code ETL Workflows. BDA Afnan Ahmad, Preetodeep Dev, Arup Kumar Chattopadhyay, Meenakshi D'Souza
2025	—	`conf`	Mutation Testing of Programs for Industrial Robots. CASE Ameena K. Ashraf, Meenakshi D'Souza
2025	—	`conf`	Reachability and Verification of Assertions for IoT Applications. NETYS S. R. Nagalakshmi, Meenakshi D'Souza
2025	—	`conf`	Robustness Verification for Object Detectors Using Set-Based Reachability Analysis. ICANN (2) Sayak Chowdhury, Hardik Khandelwal, Meenakshi D'Souza
2024	Misc	`conf`	Coverage Criteria Based Testing of IoT Applications. ICDCIT S. R. Nagalakshmi, Meenakshi D'Souza
2024	—	`conf`	Learning-based Approach on Mathematical Models of Microservices for Various Optimization. DMSVIVA Sulochan Naik, Meenakshi 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
2023	B	`conf`	CCGRID 2023: A Holistic Approach to Inclusion and Belonging. CCGrid Beth Plale, Preeti Malakar, Meenakshi D'Souza, Hemangee K. Kapoor, Yogesh Simmhan, Ilkay Altintas, Manohar Swaminathan
2023	—	`conf`	Detection of Faults in Microservices using Petri Nets. ISEC Sulochan Naik, Meenakshi D'Souza
2023	—	`conf`	Fault Detection in Microservices using Petri Nets. PNSE@Petri Nets Sulochan Naik, Meenakshi D'Souza
2023	Misc	`conf`	Static Data Race Detection in Multi-task Programs for Industrial Robots. ICDCIT Ameena K. Ashraf, Meenakshi D'Souza
2022	J	`jnl`	Bringing the missing women back: CS education for women in India's engineering institutions. Commun. ACM Bidisha Chaudhuri, Meenakshi D'Souza, Janaki Srinivasan
2022	—	`ed.`	ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24 - 26, 2022 ISEC Saurabh Tiwari, Sanjay Chaudhary, Chanchal K. Roy, Meenakshi D'Souza, Richa Sharma, Lov Kumar
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
2021	Misc	`conf`	Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. SAC Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim
2021	J	`jnl`	Knowledge Value Stream Framework For Complex Product Design Decisions. CoRR Ramakrishnan Raman, Meenakshi D'Souza
2021	—	`conf`	LipBaB: Computing Exact Lipschitz Constant of ReLU Networks. ICANN (4) Aritra Bhowmick, Meenakshi D'Souza, G. Srinivasa Raghavan
2021	J	`jnl`	LipBaB: Computing exact Lipschitz constant of ReLU networks. CoRR Aritra Bhowmick, Meenakshi D'Souza, G. Srinivasa Raghavan
2021	—	`conf`	RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair. AIED (1) Kumar Abhinav, Vijaya Sharvani, Alpana Dubey, Meenakshi D'Souza, Nitish Bhardwaj, Sakshi Jain, Veenu Arora
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	—	`conf`	Coverage Criteria based Testing of Industrial Robots. CASE Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley
2020	Misc	`ed.`	Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings ICDCIT Dang Van Hung, Meenakshi D'Souza
2020	—	`conf`	Verifying Band Convergence for Sampled Control Systems. NFM P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
2019	Misc	`conf`	Avionics Self-adaptive Software: Towards Formal Verification and Validation. ICDCIT Meenakshi D'Souza, Rajanikanth Nagaraj Kashi
2019	J	`jnl`	Decision learning framework for architecture design decisions of complex systems and system-of-systems. Syst. Eng. Ramakrishnan Raman, Meenakshi D'Souza
2019	Misc	`conf`	Efficient Power Saving Method for WiFi Direct Devices in IoT based on Hidden Markov Model. COMSNETS Sulochan Naik, Meenakshi D'Souza
2019	—	`conf`	Formalizing GPU Instruction Set Architecture in Coq. ISEC Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti
2019	—	`conf`	FrAppLe: A Framework for Apprenticeship Learning. ISEC Vijaya Sharvani, Kumar Abhinav, Alpana Dubey, Sakshi Jain, Veenu Arora, Meenakshi 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
2019	—	`conf`	The ISEC 2019 Ph.D. Symposium. ISEC Meenakshi D'Souza, Subhajit Roy
2018	C	`conf`	A Generic Static Analysis Framework for Domain-specific Languages. ETFA Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza
2018	Misc	`conf`	Efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture. ICDCIT Palani Kumar, Meenakshi D'Souza, Debabrata Das
2018	—	`conf`	Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS. ICACCI Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim
2018	—	`conf`	Learning Framework For Maturing Architecture Design Decisions For Evolving Complex SoS. SoSE Ramakrishnan Raman, Meenakshi D'Souza
2018	—	`conf`	Safety Validation Using AADL System Architecture Models. ISEC Gracy Philip, Varsha P. Suresh, Meenakshi D'Souza
2017	Misc	`conf`	A Framework for Modeling and Verifying IoT Communication Protocols. SETTA Maithily Diwan, Meenakshi D'Souza
2017	—	`conf`	A Static Analyzer for Industrial Robotic Applications. ISSRE Workshops Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair
2017	Misc	`conf`	Design a power aware methodology in IoT based on Hidden Markov Model. COMSNETS Palani Kumar, Meenakshi D'Souza
2017	—	`conf`	Developmental aspects of Intelligent Adaptive Systems (DIAS). ISEC Swarup Kumar Mohalik, Meenakshi D'Souza, Mahesh Babu Jayaraman
2017	—	`conf`	Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems. COMPUTE Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, Koyalkar Raman Kishore
2017	Misc	`conf`	Knowledge based decision framework for architecting complex systems. SAC Ramakrishnan Raman, Meenakshi D'Souza
2017	—	`conf`	Method level power estimation and optimization in next generation smart phones. ICACCI Hilam Patel, Nagesh Tikare, Meenakshi D'Souza
2017	—	`conf`	Static Vulnerability Analysis for Secure Mobile Platforms. ISEC Dhinakar Kalyanasundaram, Meenakshi D'Souza
2017	J	`jnl`	Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India. ACM SIGSOFT Softw. Eng. Notes Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza
2016	—	`conf`	Formal verification of avionics self adaptive software: A case study. ISEC Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni
2016	—	`conf`	Incorporating adaptivity using learning in avionics self adaptive software: A case study. ICACCI Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni
2016	—	`ed.`	Joint Proceedings of the 2nd Modelling Symposium (ModSym) and the Workshop on Software Architectures for Adaptive Autonomous Systems (SAAAS) co-located with the 9th India Software Engineering Conference (ISEC 2016), Goa, India, February 18, 2016. ModSym+SAAAS@ISEC Atul Kumar, Vinay Kulkarni, Y. Raghu Reddy, Meenakshi D'Souza, Swarup Mohalik, Mahesh Babu Jayaraman
2013	Misc	`conf`	Verification of Message Sequence Structures. ICDCIT Meenakshi D'Souza, Teodor Knapik
2012	—	`conf`	Improving estimation accuracy by using case based reasoning and a combined estimation approach. ISEC Srinivasa Gopal, Meenakshi D'Souza
2012	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings ICTAC Abhik Roychoudhury, Meenakshi D'Souza