Madhusmita Das

According to our database, Madhusmita Das authored at least 5 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Reliability Assessment of a Drone Communication System using Truncated Markov Analysis.

Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti

Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023

2022

Formal Specification and Verification of Drone System using TLA+: A Case Study.

Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti

Proceedings of the 24th IEEE/ACIS International Conference on Software Engineering, 2022

2021

Performance evaluation of Nuclear Power Plant Injection Systems using PetriNets.

Kunal Patidar, Tushar, Madhusmita Das, Biju R. Mohan

Proceedings of the 26th International Conference on Automation and Computing, 2021

Program Slicing Analysis with KLEE, DIVINE and Frama-C.

Nitin Kumar, Shreya Neema, Madhusmita Das, Biju R. Mohan

Proceedings of the 26th International Conference on Automation and Computing, 2021

2010

Hiding Relevant Information in an Image.

Madhusmita Das, Mahamaya Mohanty

Proceedings of the Information Processing and Management, 2010