Meenakshi D'Souza

Affiliations:
  • IIITB, Bangalore, India


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Coverage Criteria Based Testing of IoT Applications.
Proceedings of the Distributed Computing and Intelligent Technology, 2024

2023
Detection of Faults in Microservices using Petri Nets.
Proceedings of the 16th Innovations in Software Engineering Conference, 2023

Static Data Race Detection in Multi-task Programs for Industrial Robots.
Proceedings of the Distributed Computing and Intelligent Technology, 2023

CCGRID 2023: A Holistic Approach to Inclusion and Belonging.
Proceedings of the 23rd IEEE/ACM International Symposium on Cluster, 2023

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

Static Race Detection for Periodic Programs.
Proceedings of the Programming Languages and Systems, 2022

2021
Static analysis for detecting high-level races in RTOS kernels.
Formal Methods Syst. Des., 2021

Knowledge Value Stream Framework For Complex Product Design Decisions.
CoRR, 2021

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

LipBaB: Computing Exact Lipschitz Constant of ReLU Networks.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2021, 2021

RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair.
Proceedings of the Artificial Intelligence in Education - 22nd International Conference, 2021

2020
Verifying Band Convergence for Sampled Control Systems.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Coverage Criteria based Testing of Industrial Robots.
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.
Syst. Eng., 2019

FrAppLe: A Framework for Apprenticeship Learning.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

The ISEC 2019 Ph.D. Symposium.
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

Formalizing GPU Instruction Set Architecture in Coq.
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.
Proceedings of the Distributed Computing and Internet Technology, 2019

Static Analysis for Detecting High-Level Races in RTOS Kernels.
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.
Proceedings of the 11th International Conference on Communication Systems & Networks, 2019

2018
Learning Framework For Maturing Architecture Design Decisions For Evolving Complex SoS.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Safety Validation Using AADL System Architecture Models.
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.
Proceedings of the Distributed Computing and Internet Technology, 2018

Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS.
Proceedings of the 2018 International Conference on Advances in Computing, 2018

A Generic Static Analysis Framework for Domain-specific Languages.
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.
ACM SIGSOFT Softw. Eng. Notes, 2017

A Framework for Modeling and Verifying IoT Communication Protocols.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Knowledge based decision framework for architecting complex systems.
Proceedings of the Symposium on Applied Computing, 2017

A Static Analyzer for Industrial Robotic Applications.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Developmental aspects of Intelligent Adaptive Systems (DIAS).
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Static Vulnerability Analysis for Secure Mobile Platforms.
Proceedings of the 10th Innovations in Software Engineering Conference, 2017

Method level power estimation and optimization in next generation smart phones.
Proceedings of the 2017 International Conference on Advances in Computing, 2017

Design a power aware methodology in IoT based on Hidden Markov Model.
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.
Proceedings of the 10th Annual ACM India Compute Conference, 2017

2016
Formal verification of avionics self adaptive software: A case study.
Proceedings of the 9th India Software Engineering Conference, 2016

Incorporating adaptivity using learning in avionics self adaptive software: A case study.
Proceedings of the 2016 International Conference on Advances in Computing, 2016

2013
Verification of Message Sequence Structures.
Proceedings of the Distributed Computing and Internet Technology, 2013

2012
Improving estimation accuracy by using case based reasoning and a combined estimation approach.
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

A Framework for Decentralized Physical Access Control using Finite State Automata.
Proceedings of the Modern Applications of Automata Theory., 2012

2007
A framework for decentralized access control.
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.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

Tool for Translating Simulink Models into Input Language of a Model Checker.
Proceedings of the Formal Methods and Software Engineering, 2006

2004
Reasoning about layered message passing systems.
Comput. Lang. Syst. Struct., 2004

2001
Beyond Message Sequence Graphs.
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

2000
Reasoning about Message Passing in Finite State Environments.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000


  Loading...