Meenakshi D'Souza

About

Meenakshi D'Souza is a Professor at IIIT Bangalore, and a faculty member there since July 2010. Meenakshi's research interests are in Formal Methods and Software Testing with specific focus on safety critical and embedded software. The courses that she teaches are Software Testing (also offered in the Indian e-learning platform Swayam), Discrete Mathematics, Theory of Computation, Graph Theory and Automated Formal Verification.

Employment

• International Institute of Information Technology Professor
  2010 - Present
• Honeywell (India) Research Manager
  2003 - 2010

Education

• Madras Christian College M. Sc.
• Institute of Mathematical Sciences Ph. D.

Projects & Funding

Projects & funding information is unavailable.

Publications (10)

• A Metric-Driven Framework for Estimating Software Carbon Intensity of Cloud-Hosted Applications
  2026 DOI: 10.1109/SoSE69681.2026.11622348
  +Save
• Formal verification of distributed, data-intensive microservice applications using Petri Nets
  2026 DOI: 10.1145/3796563.3796583
  +Save
• Extensible Test Automation for Functional Testing of Low-Code ETL Workflows
  2026 DOI: 10.1007/978-3-032-15134-6_26
  +Save
• Quantitative Evaluation of Software Carbon Intensity for Serverless Applications
  2026 DOI: 10.1007/978-3-032-26269-1_1
  +Save
• Reachability and Verification of Assertions for IoT Applications
  2026 DOI: 10.1007/978-3-032-00347-8_1
  +Save
• Robustness Verification for Object Detectors Using Set-Based Reachability Analysis
  2026 DOI: 10.1007/978-3-032-04546-1_39
  +Save
• Coverage Criteria Based Testing of IoT Applications
  2024 DOI: 10.1007/978-3-031-50583-6_7
  +Save
• Static Race Detection for Periodic Real-Time Programs with IPCP Locks
  2024 DOI: 10.1007/978-3-031-67114-2_10
  +Save
• Detection of Faults in Microservices using Petri Nets
  2023 DOI: 10.1145/3578527.3578541
  +Save
• Static Race Detection for Periodic Programs
  2022 DOI: 10.1007/978-3-030-99336-8_11
  +Save