Vidwan Image

Dr . Meenakshi DSouza

vidwan id: 155026

Associate Professor, Information Technology, International Institute of Information Technology, Bangalore

scopus 57214587880 google_scholar uVCSY5EAAAAJ

Expertise

  • Computer Science Software Engineering
    • View All

Publications

Total Articles 38
Books 1
Proceedings 0

Publications 1992-2022

Scopus

Citations 122
h-index 5

CrossRef

CrossRef Icon
Citations 118
h-index 5

Google Scholar

Loading Scholar statistics...

Honours and Awards

No awards available.

Professional Recognition

2018

ACM India

ACM India Council Member
2018

Sadhana, Indian Academy of Sciences

Associate Editor

ACM (Association of Computing Machinery)

Member

Bio

Formal Methods, Software Testing, Embedded Software Verification

Personal Details

  • Female
  • International Institute of Information Technology, Bangalore
  • International Institute of Information Technology Bangalore, Electronics City Phase1 - 560100
Ph.D
Other Institute 2006
M. Sc. (Mathematics)
Madras Christian College 1997
B. Sc. (Mathematics)
Madras Christian College 1995
Associate Professor 2015 – Present
International Institute of Information Technology, Bangalore
Assistant Professor 2010 – Present
International Institute of Information Technology, Bangalore
Principal Researcher 2003 – 2010
Honeywell Technology Solutions Lab.

Related Profiles

Experts (5185+)

Brinda

Ms Brinda V S

Computer Science Software Engineering

Brindha Merin

Brindha Merin J

Computer Science Software Engineering

Brindha

Dr Brindha N V

Computer Science Software Engineering

Dr Brindha Srinivasan

Computer Science Software Engineering

Mr Briso Becky Bell

Computer Science Software Engineering

Bheemisetty

Ms Bheemisetty Renuka

Computer Science Software Engineering

Ms B R Kavitha Nadar

Computer Science Software Engineering

Ms Torani Bhumi

Computer Science Software Engineering

Devarasetty Sai Brunda

Computer Science Software Engineering

Brundha

Brundha P

Computer Science Software Engineering

Organisations (10+)

Arti Dilip

Dr Arti Dilip Yardi

International Institute of Information Technology, Bangalore

Amrita

Dr Amrita Mishra

International Institute of Information Technology, Bangalore

Jaya Sreevalsan

Dr Jaya Sreevalsan Nair

International Institute of Information Technology, Bangalore

Jyotsna

Dr Jyotsna Bapat

International Institute of Information Technology, Bangalore

Janaki

Dr Janaki Srinivasan

International Institute of Information Technology, Bangalore

Pradeesha

Dr Pradeesha Ashok

International Institute of Information Technology, Bangalore

Preeti

Dr Preeti Mudliar

International Institute of Information Technology, Bangalore

Priyanka

Dr Priyanka Das

International Institute of Information Technology, Bangalore

Manisha

Dr Manisha Kulkarni

International Institute of Information Technology, Bangalore

Dr Sushree Behera

International Institute of Information Technology, Bangalore

Scholarly Work

Formal verification of neural networks as applied to autonomous systems

Funding Agency: DRDO Headquarters, New Delhi India

Principal Investigator

1596545

2019 - 2022

Working
Verification and Validation of IoT Systems

Funding Agency: Department of Science and Technology, Govt. of India

Principal Investigator

3159420

2019 - 2022

Working
efinement methodologies for Simulink models

Funding Agency: Royal Academy of Engineering, UK

Principal Investigator

3400000

2016 - 2018

Completed

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

University International Institute of Information Technology, Bangalore
Year 2020

Architecture model-based safety assurance and validation framework

University International Institute of Information Technology, Bangalore
Year 2020

Verifiable multi-agent framework for dependable and adaptable avionics

University International Institute of Information Technology, Bangalore
Year 2019
No Data Found

There is currently nothing to display here.

Scholarly Publications

FOREWORD

 Editorial
2024
Authors: Shweta Sharma , Anirban Bhattacharyya , Abha Sharma , Amit Bhaduri , Abhijit Bora , Amaresh Chakrabarti , ABHIJIT CHAKRABARTI , Achiransu Acharyya Acharyya , Animesh Das , Anindya Deb , Ahindra Nag , Ajanta Sachan , Avinash Kumar Agarwal , Akash Kumar Bhoi , A K Ghosh , Arkopal Kishore Goswami , Abhay Kumar Rai , Amlan K Roy , Arun K Saha , Ayon Kumar Tarafdar , Abhijit Kushari , Anil Kumar Verma , Alok Kumar Kanungo , Alok Satapathy , Ambarish Ghosh , Tejraj Aminabhavi , Amit Alexander , Amit Chatterjee , Amita Singh , Amit Kumar Garg , Amrik Singh Ahluwalia , Anbazhagan N , B Anil Kumar , Animesh Barman , Anjali Pal , Anjula Gurtoo , Ankhi Banerjee , Raja R , Anu Bajaj , Anupam Das , Anupam Kumar , Preeti Chaturvedi , Amit Prashant , A P Sharma , Arnab Rai Choudhuri , Arnab Bhattacharya , Arpan Kumar Kar , Arpita Patra , Arun A , Arunan, E. , Ashok Kumar Pandey , Ashoke De , Amritanshu Shukla , Ashutosh Kumar , Ashwin Srinivasan , Asif Ekbal , Ashitava Ghosal , Aswini Kumar Mishra , Akkattu T. Biju , Aditya Trivedi , Atul Kumar Upadhyay , Charanjit S Aulakh , Abdul Wahid , Awanish Mishra , Awesh Kumar Yadav , Amitabha Bagchi , Bam Bahadur Sinha , Balakrishnan N , Bansi Dhar Malhotra , Barbara Morawska , Siddharth Barman , Basant Agarwal , BASANT AGARWAL , Basker Sundararaju , Amitava Basu Mallick , Biman Bagchi , Bharath Haridas Aithal , Bhanu Chander , BIJAYA BIKRAM SAMAL , Bijnan Bandyopadhyay , Bikash Sinha , Binu M , Biplab Kumar Sikdar , Biswajit Mandal , Bivas Mitra , Brajesh Kumar Dubey , Banibrata Mukhopadhyay , Basudeb Mukhopadhyay , Goutam Brahmachari , Brijesh Kumar Chaurasia , Budaraju Srinivasa Murty , BS Pabla , Bhimrao Umre , B.T.P Madhav , Baskaran C , C.E.Veni Madhavan , Bhagu Ram Chahar , Balachakravarthy Neelapu , Chandramani Kishore Singh , Vijaya Chandru , Chennupati Jagadish , C. Jayabaskaran , Chanda J Jog , Chandan Kumar Chanda , C Krishna Mohan , C N R Rao , Daizy Batish , Debopam Das , Sovik Das , Dayanand Agsar , Debashish Chakravarty , Chandrasekharam D , DEBABRATA MAZUMDER , Debdeep Mukhopadhyay , Debdulal Saha , Debjani Chakraborty , Deepak D Souza , Deep Mukherjee , Gautam R. Desiraju , Devendra Singh , Deepak M Fulwani , Hebatallah Adam , DHANAMMA JAGLI , D Dhanasekaran , Dibakar Sen , Dipanjan Gope , D V L N Somayajulu , Dhruba Kumar Bhattacharya , D K Lobiyal , Paresh Golwala , Anupam Shukla , Chandramani More , G R Sinha , Om Prakash Katare , Kolla Bhanu Prakash , K Srinivasa Rao , D. Roy Mahapatra , Sanjeev P. Sahni , Debashis Sen , D. S. Guru , Debasis Sengupta , Amit Dutta , Maitreyee Dutta , Dheeraj Joshi , Gorachand Dutta , Ganpati Panda , Garima Saini , Gaurav Somani , Gaurav Harit , Pooja Ghosh , Anjan Kumar Giri , Giridhar Madras , Giridhar Madras , G J V Prasad , Sivakumar Babu G L , Goverdhan Mehta , Govind S.Gupta , Amit Kumar Goyal , Guruprasad Samanta , Gottumukkala Pardhasaradhi Varma , Ganga Ram Chaudhary , Sathish Govindarajan , G.S.V.L. Narasimham , T. N. Guru Row , G V Uma , SK Hafizul Islam , Harish Garg , Jayant R. Haritsa , Harikesh Bahadur Singh , Hemant Kumar Daima , Hemanta Kalita , Hanudatta S Atreya , Hari Shankar Mahato , Hrishikesh Venkataraman , Indranil Manna , Imon Mukherjee , Indu Pal Kaur , Ira Bhaskar , Ishan Sharma , S. Janardhanan , Jagdish Arora , Jasjeet Bagla , Jaya Sil , N. Jayaraman , Balasubramaniam Jayaram , Jenia Mukherjee , Jimson Mathew , Jaya Sreevalsan Nair , John Singh K , Jyoti Ratan Ghosh , Jitesh Thakkar , Jyothi Vedurada , Jyotsna Dutta Majumdar , Kanwaljit Chopra , Kamal Krishna Kar , K. Chattopadhyay , K.A. Natarajan , Kanika Sharma , Kanika Sharma , Ravi Kannan , Amey Karkare , Samarjit Kar , Kashmir Singh , Akash Katoch , Kausik Chattopadhyay , Krishanu Biswas , Keerti Jain , Koppala Guravaiah , Khaleel Ahmad , Md Saghir Khan , Apoorva Khare , K.J. Rao , Kamal Kishore Pant , SARAT KUMAR KOTAMRAJU , K Sarat Kumar , K. Kumaraswamy , K.Madhava Madyastha , Krishna Kumar Mohbey , K Muralidhar , Kamla Prasan Ray , S. Gopalakrishnan , Krishnendu Gongopadhyay , Konda Reddy Mopuri , Krunal M. Gangawane , Kirti Chandra Sahu, FASc , Kshirod Kumar Dash , Nanjunda Rao K S , Srinivasa Raju Komaragiri , Krothapalli Sreenivasa Rao , Manoj Kumar Tiwari , K Thamaraiselvi , Kuldeep Kumar , B E Kumara Swamy , Kusala Rajendran , Karm Veer Arya , K.V.L. Subramaniam , K V Srivastava , L M Patnaik , Lata Singh , Laxmi Kant Sharma , Leena Mary , Lini Mathew , Linesh Raja , Mathukumalli Vidyasagar , Madan Verma , Madhavi Latha G , Madhu Khatri , Mahender Singh , Mahendran Radhakrishnan , Maheshkumar H Kolekar , Mainack Mondal , Maitreyee Dutta , Niladri Pratap Maity , Mala Kalra , Mala Kalra , Shiva Kumar Malapaka , M C Mahato , Manindra Agrawal , Manish Kumar , Manju Jaidka , Manjunatha Bangeppagari , Manoj M , Debasis Patnaik , Sugata Marjit , Manju Bansal , Mukunda Dev Behera , Maulin Mehta , Meenakshi MS , Meenakshi DSouza , MEENAKSHI SOOD , M G H Zaidi , D P Mishra , Chetankumar Mistry , Mrinal Kaushik , Manish Kumar Bajpai , Manukumara Manjappa , Narasimha M. Murty , Jayant Modak , R Mohanraj , Mohua Banerjee , Monto Mani , Murthy M R N , Sebabrata Mukherjee , Ravibabu Mulaveesala , Murali Krishna Ramanathan , Mayank Vatsa , Mohit Yadav , Mohammad Zunaid , Nagesh Kumar D , Nandy S K , Naokant Deo , Rahul Narain , Naresh Kasoju , Naresh Babu Muppalaneni , Naveen chella , Soumya Ranjan Nayak , Harsh Nayyar , Narayanamoorthy Annasamy , Narayan Chandra Das , Neelam Sinha , Neeldhara Misra , Neel Kanth Kundu , Neera Chandhoke , N H Ravindranath , Niharika Sahoo Bhattacharya , Nirmalkumar Shah , Nipun Batra , Niraj Kumar Singh , Nishant Chakravorty , Nishchal K Verma , Nishith Verma , Nitin Saxena , N Mukunda , Sathyamurthy N. , Narayanan Srinivasan , N. Viswanadham , Odelu Vanga , OM PRAKASH RANJAN , Om Prakash Pandey , Pabitra Mitra , Radhakant Padhi , Pallab Banerji , P K Panigrahi , Pankaj Sharma , Pankaj Kumar Sa , Papul Changmai , Paramartha Dutta , Paramita Das , Partha Chakroborty , Passi I.B.S. , R K Pateriya , Pawan Singh , Pawan K Dhar , Pawan Goyal , Prodyut Ranjan Chakraborty , Praphulla Chandra Shukla , A S Ahluwalia , Pinaki Prasad Bhattacharjee , Pinku Ranjan , Pritee Khanna , Prashant K. Jain , Pramod Kumar Singh , Pampa Mukherjee , P. Nagabhushan , Prabhat Patnaik , Pradeep P Mujumdar , Pradeep Verma , Pradip Kumar Kalita , Pradipta Biswas , Pranjal Borah , M Prashanthi Devi , Praveen C. Ramamurthy , Prem Pal , Premprakash Pandey , Priyanka Harjule , Prosenjit Das , Raghuveer Rao P , Pankaj Seth , Partha Sharathi Mallick , Puneet Tandon , Punam Bedi , Govind Rangaswamy Kadambi , GAYADHAR PANDA , Ravi Shankar , B. N. Raghunandan , Hafizur Rahaman , Rahul Shukla , Rahul De , Rahul Pandit , Rahul Mitra , Raj Kumar, FRSC , Amirtham Rajagopal , Rajarshi Dasgupta , Rajeev Patnaik , Rajendra Prasath , Rajendran CP , Rajesh Srivastava , Rajiv Misra , N Janardhana Raju , Rajanish Kamat , Rama Krishna Challa , Ramesh Hariharan , Ramesh Chandra Poonia , R Ramesh , Ramjeevan Singh Thakur , U. Ramamurty , S. Ranganathan , Ravendra Kumar , Ravinder Kaundal , Ravinder Agarwal , Ranbir Chander Sobti , Rajesh M Hegde , Richa Singh , Praveen Rishi , Ritu Mehta , Ritu Tiwari , Ramkrishna Sen , Maheswaran Rathinasamy , Rajendra Nagar , Rogers Mathew , Rohini M Godbole , Rohit Sharma , Ram Ramaswamy , Rajat Subhra Chakraborty , Rafat Siddique , M N Sai Chand Chakka , Sakshi Gautam , Arun Kumar Samantaray , Sandeep Kumar , Sandeep Kumar Shukla , K.S. Sangunni , Sanjay Chaudhary , Sanjay Singh , Sanjay Dhir , Sanjeev Kumar Gupta , Santosh Kumar , Santosh Singh Rathore , Saptarshi Ghosh , Saraswati Raju , S.K. Satheesh , Sathya Peri , Lakshmi Narayan Satpati , Satyam Suwas , Saumitra Mukherjee , Saurabh Kumar , Deepak Kumar Saxena , Sayan Ranu , Shivaji Bandyopadhyay , Saptarshi Basu , S. B. Krupanidhi , Sankar Chakma , Swetaprovo Chaudhuri , Suresh Chandra Srivastava , Sirshendu De , S D Muni , Anil Seth , Sumit Ganguly , S. G. Sreejith , G Shainesh , Shakuntala Laskar , Sharad Kumar Jain , Shashidhar Thatikonda , Shashidhar Thatikonda , Shimi Sudha Letha , Shivendu Ranjan , Showmik Bhowmik , Shri Ram , Shubhadeep Roychoudhury , P R Shukla , Yogesh Simmhan , Vishal Singh , Sinija VR , Sivananthan Sampath , Paramasivam M , Sujoy Kumar Saha , Shailendra Kumar Arya , Soumya Kanti Ghosh , Sanjeev Kumar Gupta , Sudesh Kaur Khanduja , Surinder Kumar Mehta , Surjya Kanta Pal , Sarat Kumar Patra , Kumaravel Somasundaram , Santosh Kumar Upadhyay , Sudhan Majhi , Sameena Mehtab , Sudip Misra , Sourav Mondal , Sudarsan Neogi , Surya Narayan Padhi , SURYA NARAYANA PADHI , Sri Niwas Singh , Someshwar Das , Somnath Roy , Sourav Mukhopadhyay , Souvik Ganguli , Sudip Patra , S. P. Mehrotra , Santi Prasad Maity , Sudebkumar Prasant Pal , Prasanna Santhanam , Sandeep Raj , Srinath Srinivasa , Sampa Saha , Sanjai Saxena , Soumya Suddha Mallick , S. Subramanian , Shivprasad Swaminathan , Subham Banerjee , Subhasis Bhaumik , Subhayu Chattopadhyay , Subrahmanyam Kalyanasundaram , Sudarsanam Putla , Sudesh Kaur Khanduja , Sudeshna Sarkar , N P Sudharshana , Sudha Goel , Sudip Mandal , Suhasini Gururaja , Sujatha Moorthy , Sujeet Sinha , Sumam Mary Idicula , Suman Chakraborty , Suneel Kumar Srivastava , Surajit Chattopadhyay , Surendra Nimesh , G. K. Ananthasuresh , Suril Vijaykumar Shah , A. Surolia , Sushil . , Sandip V Pawar , Swapan Mandal , Shalini Mahato , Tamalika Chowdhury , Tanmoy Chakraborty , Tanusree Dutta , Tapajyoti Das Gupta , Tapas Kumar Kundu , Tapatee Kundu Roy , Tarun Gupta , Tapan Kumar Gandhi , Tina Verma , Titash Mondal , Tarun Kant , Tapan Sengupta , Tanmoy Maiti , Tanmoy Das , K.V. UDAYANATCHI , Uma Mudenagudi , Uma Bhandari , Urjit A. Yajnik , Sachindeo Vaidya , K.S. Valdiya , Dharam Buddhi , S. Thangavelu , Venkatesh Babu R , Vinod Ganapathy , Vidyanand Nanjundiah , Vijander Singh , Iyer Vijayalaxmi Kasinath , Vikas Anand , Vinay P Namboodiri , Vinit Kumar Gunjan , Vipul Gupta , Vivek Tiwari , Vijay Kumar Gupta , Vikram Kumar , Vesselin Popovski , Varadharajan Sridhar , V Srikanth , V Vasanta Kumar , Ravinderjit Singh Walia , Hari V Warrior , Md. S. Wazed Ali , Jitendra Yadav , Yasha Hasija , Bayya Yegnanarayana , Yatindra Nath Singh , Yajvender Pal Verma Show More
DOI 10.1109/ic-ETITE58242.2024.10493746
24 citations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

 Editorial
2013 Volume: 8251 LNCS,
Authors: Ashutosh Gupta , Arun K. Pujari , Amit Kumar , Arun K Pujari , Arun Kumar Pujari , Ashish Ghosh , Balakrishnan N , Subhash Bhalla , Bimal Kumar Roy , Chandan Mazumdar , Kalyanmoy Deb , Debdeep Mukhopadhyay , Girish Nath Jha , S.V. Raghavan , Kamalakar Karlapalem , K Chandrasekaran , Kuntal Ghosh , Manindra Agrawal , Meenakshi DSouza , Narasimha M. Murty , Mohua Banerjee , Mridul Nandi , Mukesh Mohania , N. Balakrishnan , P J Narayanan , Pradipta Maji , Priyanka Kumari , Radha Krishna P , Rajeev Wankar , Rajendra Prasath , Rajkumar Kannan , Sanjit Chatterjee , Sankar Kumar Pal , Anil Seth , Shandar Ahmad , Shelly Sachdeva , Somitra Kumar Sanadhya , Somitra Sanadhya , Somitra Kumar Sanadhya , Srinath Srinivasa , Supratik Chakraborty , Sushmita Mitra , Vasudha Bhatnagar , Venkatesh Raman , Yvonne Dittrich Show More

Architectural semantics of AADL using Event-B

 Conference Paper
2014 Pages: 92-97.
Authors: Manoranjan Satpathy , Meenakshi DSouza
DOI 10.1109/IC3I.2014.7019780
3 citations
2 citations

The ISEC 2019 Ph.D. Symposium

 Conference Paper
2019
Authors: Meenakshi DSouza , Subhajit Roy
DOI 10.1145/3299771.3300169
1 citation
1 citation

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

 Conference Paper
2016 Pages: 220-229.
Authors: Meenakshi DSouza , Rajanikanth Kashi Nagaraj
DOI 10.1109/ICACCI.2016.7732051
5 citations
3 citations