MADHUSMITA DAS

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (22)

• SsRRA: A State-space Reduction Reliable Assessment Framework on Drone System
  2026 DOI: 10.1145/3796315.3796357
  +Save
• Reliability analysis of safety critical systems: a truncated Markov modelling approach with state-space reduction
  Safety and Reliability 2026 DOI: 10.1080/09617353.2026.2633874
  +Save
• HSoMLSDP: A Hybrid Swarm-Optimized Machine Learning Framework for Software Defect Prediction
  IEEE Access 2025 DOI: 10.1109/ACCESS.2025.3557532
  +Save
• Improving Machine Learning Models with Hybrid Metaheuristic Algorithm for Software Defect Prediction
  2025 DOI: 10.1007/978-3-031-96473-2_4
  +Save
• Hybridization Approach to Optimize the Expected Loss of Demand in Drone Delivery Scheduling
  2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation, IATMSI 2024 2024 DOI: 10.1109/IATMSI60426.2024.10503082
  +Save
• TLA+ Specification of Aviation System with Time Analysis
  2024 15th International Conference on Computing Communication and Networking Technologies, ICCCNT 2024 2024 DOI: 10.1109/ICCCNT61001.2024.10725489
  +Save
• Safety Assessment of Railway Crossing Junction Via Petri Nets
  2024 5th International Conference on Innovative Trends in Information Technology, ICITIIT 2024 2024 DOI: 10.1109/ICITIIT61487.2024.10580646
  +Save
• Reliability Analysis of Petri Nets For Unmanned Aerial Vehicles
  2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation, IATMSI 2024 2024 DOI: 10.1109/IATMSI60426.2024.10503471
  +Save
• Reliability Analysis and predictive maintenance of Elevator System Using Hidden Markov Model
  2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation, IATMSI 2024 2024 DOI: 10.1109/IATMSI60426.2024.10503255
  +Save
• Petri Net-Based Verification of Adaptive Traffic Light Control with AIMD Algorithm
  2024 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation, IATMSI 2024 2024 DOI: 10.1109/IATMSI60426.2024.10502455
  +Save