Meenakshi D'Souza

According to our database, Meenakshi D'Souza authored at least 47 papers between 2000 and 2024.

Collaborative distances:

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

2024

Coverage Criteria Based Testing of IoT Applications.

S. R. Nagalakshmi, Meenakshi D'Souza

Proceedings of the Distributed Computing and Intelligent Technology, 2024

Learning-based Approach on Mathematical Models of Microservices for Various Optimization.

Sulochan Naik, Meenakshi D'Souza

Proceedings of the 30th International DMS Conference on Visualization and Visual Languages, 2024

2023

Detection of Faults in Microservices using Petri Nets.

Sulochan Naik, Meenakshi D'Souza

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Static Data Race Detection in Multi-task Programs for Industrial Robots.

Ameena K. Ashraf, Meenakshi D'Souza

Proceedings of the Distributed Computing and Intelligent Technology, 2023

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

Proceedings of the 23rd IEEE/ACM International Symposium on Cluster, 2023

Fault Detection in Microservices using Petri Nets.

Sulochan Naik, Meenakshi D'Souza

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

2022

Bringing the missing women back: CS education for women in India's engineering institutions.

Bidisha Chaudhuri, Meenakshi D'Souza, Janaki Srinivasan

Commun. ACM, 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

Knowledge Value Stream Framework For Complex Product Design Decisions.

Ramakrishnan Raman, Meenakshi D'Souza

CoRR, 2021

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.

Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

LipBaB: Computing Exact Lipschitz Constant of ReLU Networks.

Aritra Bhowmick, Meenakshi D'Souza, G. Srinivasa Raghavan

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

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

Proceedings of the Artificial Intelligence in Education - 22nd International Conference, 2021

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

Coverage Criteria based Testing of Industrial Robots.

Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Decision learning framework for architecture design decisions of complex systems and system-of-systems.

Ramakrishnan Raman, Meenakshi D'Souza

Syst. Eng., 2019

FrAppLe: A Framework for Apprenticeship Learning.

Vijaya Sharvani, Kumar Abhinav, Alpana Dubey, Sakshi Jain, Veenu Arora, Meenakshi D'Souza

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

The ISEC 2019 Ph.D. Symposium.

Meenakshi D'Souza, Subhajit Roy

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Formalizing GPU Instruction Set Architecture in Coq.

Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Avionics Self-adaptive Software: Towards Formal Verification and Validation.

Meenakshi D'Souza, Rajanikanth Nagaraj Kashi

Proceedings of the Distributed Computing and Internet Technology, 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

Efficient Power Saving Method for WiFi Direct Devices in IoT based on Hidden Markov Model.

Sulochan Naik, Meenakshi D'Souza

Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018

Learning Framework For Maturing Architecture Design Decisions For Evolving Complex SoS.

Ramakrishnan Raman, Meenakshi D'Souza

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Safety Validation Using AADL System Architecture Models.

Gracy Philip, Varsha P. Suresh, Meenakshi D'Souza

Proceedings of the 11th Innovations in Software Engineering Conference, ISEC 2018, Hyderabad, India, February 09, 2018

Efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture.

Palani Kumar, Meenakshi D'Souza, Debabrata Das

Proceedings of the Distributed Computing and Internet Technology, 2018

Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS.

Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim

Proceedings of the 2018 International Conference on Advances in Computing, 2018

A Generic Static Analysis Framework for Domain-specific Languages.

Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS): Co-located with 10th Innovations in Software Engineering Conference (ISEC), Jaipur, India.

Swarup Kumar Mohalik, Ramamurthy Badrinath, Mahesh Babu Jayaraman, Meenakshi D'Souza

ACM SIGSOFT Softw. Eng. Notes, 2017

A Framework for Modeling and Verifying IoT Communication Protocols.

Maithily Diwan, Meenakshi D'Souza

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Knowledge based decision framework for architecting complex systems.

Ramakrishnan Raman, Meenakshi D'Souza

Proceedings of the Symposium on Applied Computing, 2017

A Static Analyzer for Industrial Robotic Applications.

Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Developmental aspects of Intelligent Adaptive Systems (DIAS).

Swarup Kumar Mohalik, Meenakshi D'Souza, Mahesh Babu Jayaraman

Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Static Vulnerability Analysis for Secure Mobile Platforms.

Dhinakar Kalyanasundaram, Meenakshi D'Souza

Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Method level power estimation and optimization in next generation smart phones.

Hilam Patel, Nagesh Tikare, Meenakshi D'Souza

Proceedings of the 2017 International Conference on Advances in Computing, 2017

Design a power aware methodology in IoT based on Hidden Markov Model.

Palani Kumar, Meenakshi D'Souza

Proceedings of the 9th International Conference on Communication Systems and Networks, 2017

Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems.

Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, Koyalkar Raman Kishore

Proceedings of the 10th Annual ACM India Compute Conference, 2017

2016

Formal verification of avionics self adaptive software: A case study.

Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 9th India Software Engineering Conference, 2016

Incorporating adaptivity using learning in avionics self adaptive software: A case study.

Rajanikanth Nagaraj Kashi, Meenakshi D'Souza, S. Kumar Baghel, Nitin Kulkarni

Proceedings of the 2016 International Conference on Advances in Computing, 2016

2013

Verification of Message Sequence Structures.

Meenakshi D'Souza, Teodor Knapik

Proceedings of the Distributed Computing and Internet Technology, 2013

2012

Improving estimation accuracy by using case based reasoning and a combined estimation approach.

Srinivasa Gopal, Meenakshi D'Souza

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

A Framework for Decentralized Physical Access Control using Finite State Automata.

Namit Chaturvedi, Atish Datta Chowdhury, Meenakshi Balasubramanian

Proceedings of the Modern Applications of Automata Theory., 2012

2007

A framework for decentralized access control.

Meenakshi Balasubramanian, Abhishek Bhatnagar, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

2006

A framework for rapid-prototyping of context based ubiquitous computing applications.

Meenakshi Balasubramanian, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh

Proceedings of the IEEE International Conference on Sensor Networks, 2006

Tool for Translating Simulink Models into Input Language of a Model Checker.

B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Reasoning about layered message passing systems.

B. Meenakshi, Ramaswamy Ramanujam

Comput. Lang. Syst. Struct., 2004

2001

Beyond Message Sequence Graphs.

P. Madhusudan, B. Meenakshi

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000

Reasoning about Message Passing in Finite State Environments.

B. Meenakshi, Ramaswamy Ramanujam

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000