Madhusmita Das

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 4

Top Topics

Formal Specification

Epistemic Logic

Reliability Assessment

Specification Languages

Top Venues

Publications

Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti
Reliability Assessment of a Drone Communication System using Truncated Markov Analysis. ICCCNT (2023)
Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti
Formal Specification and Verification of Drone System using TLA+: A Case Study. SNPD (2022)
Nitin Kumar, Shreya Neema, Madhusmita Das, Biju R. Mohan
Program Slicing Analysis with KLEE, DIVINE and Frama-C. ICAC (2021)
Kunal Patidar, Tushar, Madhusmita Das, Biju R. Mohan
Performance evaluation of Nuclear Power Plant Injection Systems using PetriNets. ICAC (2021)
Madhusmita Das, Mahamaya Mohanty
Hiding Relevant Information in an Image. BAIP (2010)