Reasoning about Message Passing in Finite State Environments. - B. Meenakshi 002; Ramaswamy Ramanujam (ICALP, 2000)

Beyond Message Sequence Graphs. - P. Madhusudan; B. Meenakshi 002 (FSTTCS, 2001)

Reasoning about layered message passing systems. - B. Meenakshi 002; Ramaswamy Ramanujam (Comput. Lang. Syst. Struct., 2004)

Tool for Translating Simulink Models into Input Language of a Model Checker. - B. Meenakshi 002; Abhishek Bhatnagar; Sudeepa Roy 001 (ICFEM, 2006)

A framework for rapid-prototyping of context based ubiquitous computing applications. - Meenakshi Balasubramanian; Namit Chaturvedi; Atish Datta Chowdhury; Arul Ganesh (SUTC (1), 2006)

A framework for decentralized access control. - Meenakshi Balasubramanian; Abhishek Bhatnagar; Namit Chaturvedi; Atish Datta Chowdhury; Arul Ganesh (AsiaCCS, 2007)

A Framework for Decentralized Physical Access Control using Finite State Automata. - Namit Chaturvedi; Atish Datta Chowdhury; Meenakshi Balasubramanian (Modern Applications of Automata Theory, 2012)

Improving estimation accuracy by using case based reasoning and a combined estimation approach. - Srinivasa Gopal; Meenakshi D'Souza (ISEC, 2012)

Verification of Message Sequence Structures. - Meenakshi D'Souza; Teodor Knapik (ICDCIT, 2013)

Incorporating adaptivity using learning in avionics self adaptive software: A case study. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; S. Kumar Baghel; Nitin Kulkarni (ICACCI, 2016)

Formal verification of avionics self adaptive software: A case study. - Rajanikanth Nagaraj Kashi; Meenakshi D'Souza; S. Kumar Baghel; Nitin Kulkarni (ISEC, 2016)

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 (COMPUTE, 2017)

Design a power aware methodology in IoT based on Hidden Markov Model. - Palani Kumar; Meenakshi D'Souza (COMSNETS, 2017)

Method level power estimation and optimization in next generation smart phones. - Hilam Patel; Nagesh Tikare; Meenakshi D'Souza (ICACCI, 2017)

Static Vulnerability Analysis for Secure Mobile Platforms. - Dhinakar Kalyanasundaram; Meenakshi D'Souza (ISEC, 2017)

Developmental aspects of Intelligent Adaptive Systems (DIAS). - Swarup Kumar Mohalik; Meenakshi D'Souza; Mahesh Babu Jayaraman (ISEC, 2017)

A Static Analyzer for Industrial Robotic Applications. - Avijit Mandal; Raoul Jetley; Meenakshi D'Souza; Sreeja Nair 001 (ISSRE Workshops, 2017)

Knowledge based decision framework for architecting complex systems. - Ramakrishnan Raman 002; Meenakshi D'Souza (SAC, 2017)

A Framework for Modeling and Verifying IoT Communication Protocols. - Maithily Diwan; Meenakshi D'Souza (SETTA, 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 Generic Static Analysis Framework for Domain-specific Languages. - Avijit Mandal; Devina Mohan; Raoul Jetley; Sreeja Nair 001; Meenakshi D'Souza (ETFA, 2018)

Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS. - Abhishek Singh; Meenakshi D'Souza; Arshad Ebrahim (ICACCI, 2018)

Efficient Anomaly Detection Methodology for Power Saving in Massive IoT Architecture. - Palani Kumar; Meenakshi D'Souza; Debabrata Das (ICDCIT, 2018)

Safety Validation Using AADL System Architecture Models. - Gracy Philip; Varsha P. Suresh; Meenakshi D'Souza (ISEC, 2018)

Learning Framework For Maturing Architecture Design Decisions For Evolving Complex SoS. - Ramakrishnan Raman 002; Meenakshi D'Souza (SoSE, 2018)

Efficient Power Saving Method for WiFi Direct Devices in IoT based on Hidden Markov Model. - Sulochan Naik; Meenakshi D'Souza (COMSNETS, 2019)

Static Analysis for Detecting High-Level Races in RTOS Kernels. - Abhishek Singh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza (FM, 2019)

Avionics Self-adaptive Software: Towards Formal Verification and Validation. - Meenakshi D'Souza; Rajanikanth Nagaraj Kashi (ICDCIT, 2019)

Formalizing GPU Instruction Set Architecture in Coq. - Nitin Bhatia; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ISEC, 2019)

The ISEC 2019 Ph.D. Symposium. - Meenakshi D'Souza; Subhajit Roy 001 (ISEC, 2019)

FrAppLe: A Framework for Apprenticeship Learning. - Vijaya Sharvani; Kumar Abhinav; Alpana Dubey; Sakshi Jain; Veenu Arora; Meenakshi D'Souza (ISEC, 2019)

Decision learning framework for architecture design decisions of complex systems and system-of-systems. - Ramakrishnan Raman 002; Meenakshi D'Souza (Syst. Eng., 2019)

Coverage Criteria based Testing of Industrial Robots. - Ameena K. Ashraf; Meenakshi D'Souza; Raoul Jetley (CASE, 2020)

Verifying Band Convergence for Sampled Control Systems. - P. Ezudheen; Zahra Rahimi Afzal; Pavithra Prabhakar; Deepak D'Souza; Meenakshi D'Souza (NFM, 2020)

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 (AIED (1), 2021)

LipBaB: Computing Exact Lipschitz Constant of ReLU Networks. - Aritra Bhowmick; Meenakshi D'Souza; G. Srinivasa Raghavan 001 (ICANN (4), 2021)

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. - Abhishek Singh; Meenakshi D'Souza; Arshad Ebrahim (SAC, 2021)

Knowledge Value Stream Framework For Complex Product Design Decisions. - Ramakrishnan Raman 002; Meenakshi D'Souza (CoRR, 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)

Static Race Detection for Periodic Programs. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (ESOP, 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)

Fault Detection in Microservices using Petri Nets. - Sulochan Naik; Meenakshi D'Souza (PNSE@Petri Nets, 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 001 (CCGrid, 2023)

Static Data Race Detection in Multi-task Programs for Industrial Robots. - Ameena K. Ashraf; Meenakshi D'Souza (ICDCIT, 2023)

Detection of Faults in Microservices using Petri Nets. - Sulochan Naik; Meenakshi D'Souza (ISEC, 2023)

Static Race Detection for Periodic Real-Time Programs with IPCP Locks. - Varsha P. Suresh; Rekha R. Pai; Deepak D'Souza; Meenakshi D'Souza; Sujit Kumar Chakrabarti (The Application of Formal Methods, 2024)

Learning-based Approach on Mathematical Models of Microservices for Various Optimization. - Sulochan Naik; Meenakshi D'Souza (DMSVIVA, 2024)

Coverage Criteria Based Testing of IoT Applications. - S. R. Nagalakshmi; Meenakshi D'Souza (ICDCIT, 2024)