Follow
Meenakshi D'Souza
Title
Cited by
Cited by
Year
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
J Domingue, A Galis, A Gavras, T Zahariadis, D Lambert, F Cleary, ...
1312011
Tool for translating simulink models into input language of a model checker
B Meenakshi, A Bhatnagar, S Roy
Formal Methods and Software Engineering: 8th International Conference on …, 2006
1052006
Decentralized access control framework
AD Chowdhury, N Chaturvedi, M Balasubramanian, A Ganesh
US Patent 8,166,532, 2012
612012
Beyond message sequence graphs
P Madhusudan, B Meenakshi
FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001
592001
Automata based storage and execution of application logic in smart card like devices
AD Chowdhury, N Chaturvedi, M Balasubramanian, A Ganesh
US Patent App. 11/545,440, 2008
482008
Automatic translation of simulink models into the input language of a model checker
M Balasubramanian, A Bhatnagar, S Roy
US Patent 7,698,668, 2010
412010
Policy language and state machine model for dynamic authorization in physical access control
M Balasubramanian, A Ganesh, N Chaturvedi, AD Chowdhury
US Patent 7,853,987, 2010
362010
A framework for modeling and verifying IoT communication protocols
M Diwan, M D’Souza
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
272017
Reasoning about message passing in finite state environments
B Meenakshi, R Ramanujam
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
272000
Reasoning about layered message passing systems
B Meenakshi, R Ramanujam
Computer Languages, Systems & Structures 30 (3-4), 171-206, 2004
202004
Decision learning framework for architecture design decisions of complex systems and system‐of‐systems
R Raman, M D'Souza
Systems Engineering 22 (6), 538-560, 2019
172019
A generic static analysis framework for domain-specific languages
A Mandal, D Mohan, R Jetley, S Nair, M D'Souza
2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
112018
Formal safety analysis of mode transitions in aircraft flight control system
B Meenakshi, KD Barman, KG Babu, K Sehgal
2007 IEEE/AIAA 26th Digital Avionics Systems Conference, 2. C. 1-1-2. C. 1-11, 2007
112007
LipBaB: Computing exact Lipschitz constant of ReLU networks
A Bhowmick, M D’Souza, GS Raghavan
Artificial Neural Networks and Machine Learning–ICANN 2021: 30th …, 2021
102021
Formal verification of avionics self adaptive software: A case study
RN Kashi, M D'souza, SK Baghel, N Kulkarni
Proceedings of the 9th India Software Engineering Conference, 163-169, 2016
92016
Formal verification
B Meenakshi
Resonance 10, 26-38, 2005
92005
Efficient power saving method for WiFi direct devices in IoT based on hidden Markov model
S Naik, M D’Souza
2019 11th International Conference on Communication Systems & Networks …, 2019
82019
A framework for rapid-prototyping of context based ubiquitous computing applications
M Balasubramanian, N Chaturvedi, AD Chowdhury, A Ganesh
IEEE International Conference on Sensor Networks, Ubiquitous, and …, 2006
82006
Repairnet: contextual sequence-to-sequence network for automated program repair
K Abhinav, V Sharvani, A Dubey, M D’Souza, N Bhardwaj, S Jain, V Arora
International Conference on Artificial Intelligence in Education, 3-15, 2021
72021
A static analyzer for industrial robotic applications
SN Avijit Mandal, Raoul Jetley, Meenakshi D'Souza
IEEE ISSRE Workshops, 24-27, 2017
7*2017
The system can't perform the operation now. Try again later.
Articles 1–20