Academic Identity

Vidwan-ID : 155026

Edit Profile


  • Dr Meenakshi DSouza

  • Associate Professor
  • International Institute of Information Technology, Bangalore
Publications 2008 - 2024

Publications

  • 1
    Journal Articles
  • 1
    Book Chapter
  • 36
    Conference
    Proceedings
  • 2
    Book
  • 2
    Editorial
  • 3
    Projects
  • 32

Citations / H-Index

139 Citations
5 h-index
118 Citations

Altmetrics

3
3
8
226
3

Google Scholar

Co-author Network

Expertise

Computer Science Software Engineering

Formal Methods, Software Testing, Embedded Software Verification

Personal Information

Dr Meenakshi DSouza

Female
International Institute of Information Technology Bangalore, Electronics City Phase1
, Bengaluru, India - 560100

Experience

  • Associate Professor

    Information Technology

    International Institute of Information Technology, Bangalore

  • Assistant Professor

    International Institute of Information Technology, Bangalore

  • Principal Researcher

    Honeywell Technology Solutions Lab.

Qualification

  • Ph.D

    Institute of Mathematical Sciences (University of Madras)

  • M. Sc. (Mathematics)

    Madras Christian College

  • B. Sc. (Mathematics)

    Madras Christian College

Doctoral Theses Guided

2020

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

Ramakrishnan Raman, International Institute of Information Technology, Bangalore

2020

Architecture model-based safety assurance and validation framework

Gracy Philip, International Institute of Information Technology, Bangalore

2019

Verifiable multi-agent framework for dependable and adaptable avionics

Rajanikanth Kashi, International Institute of Information Technology, Bangalore

2020

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

Ramakrishnan Raman, International Institute of Information Technology, Bangalore

2020

Architecture model-based safety assurance and validation framework

Gracy Philip, International Institute of Information Technology, Bangalore

2019

Verifiable multi-agent framework for dependable and adaptable avionics

Rajanikanth Kashi, International Institute of Information Technology, Bangalore

Read Less

Membership In Professional Bodies

2012

ACM (Association of Computing Machinery)

Member

2012

ACM (Association of Computing Machinery)

Member

Read Less

Membership In Committees

2018

ACM India

ACM India Council Member

2018

Sadhana, Indian Academy of Sciences

Associate Editor

2018

ACM India

ACM India Council Member

2018

Sadhana, Indian Academy of Sciences

Associate Editor

Read Less

Research Projects

Formal verification of neural networks as applied to autonomous systems

Funding Agency : DRDO Headquarters, New Delhi India

Verification and Validation of IoT Systems

Funding Agency : DST ICPS Division, New Delhi

efinement methodologies for Simulink models

Funding Agency : Royal Academy of Engineering, UK

Formal verification of neural networks as applied to autonomous systems

Funding Agency : DRDO Headquarters, New Delhi India

Verification and Validation of IoT Systems

Funding Agency : DST ICPS Division, New Delhi

efinement methodologies for Simulink models

Funding Agency : Royal Academy of Engineering, UK

Read Less

Publications (42)

Powered by