Suivre
Meenakshi D'Souza
Meenakshi D'Souza
Professor, International Institute of Information Technology Bangalore
Adresse e-mail validée de iiitb.ac.in - Page d'accueil
Titre
Citée par
Citée par
Année
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
1072006
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
P Lukowicz, K Kunze, G Kortuem
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2010
82*2010
Decentralized access control framework
AD Chowdhury, N Chaturvedi, M Balasubramanian, A Ganesh
US Patent 8,166,532, 2012
642012
Beyond message sequence graphs
P Madhusudan, B Meenakshi
FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001
602001
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
492008
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
322017
Reasoning about message passing in finite state environments
B Meenakshi, R Ramanujam
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
282000
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
212019
Reasoning about layered message passing systems
B Meenakshi, R Ramanujam
Computer Languages, Systems & Structures 30 (3-4), 171-206, 2004
202004
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
182021
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
122018
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
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
102021
Avionics self-adaptive software: Towards formal verification and validation
M D’Souza, RN Kashi
Distributed Computing and Internet Technology: 15th International Conference …, 2019
92019
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
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
92006
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20