Deepak Pal

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 6

Top Topics

Deadlock Detection

Maintenance Cost

Distributed Systems

Highly Flexible

Top Venues

DB&IS (Selected Papers)

Future Gener. Comput. Syst.

Publications

Muthukumar Natarajan, Seshadhri Srinivasan, Kannan Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy
A model-based approach for design and verification of Industrial Internet of Things. Future Gener. Comput. Syst. 95 (2019)
Deepak Pal, Jüri Vain
Model Based Test Framework for Communications-Critical Internet of Things Systems. DB&IS (Selected Papers) (2018)
Deepak Pal, Jüri Vain
Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors. DB&IS (2018)
Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy
Model-based maintenance scheduling in flexible modular automation systems. ETFA (2017)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Automatic Distribution of Local Testers for Testing Distributed Systems. DB&IS (Selected Papers) (2016)
Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal
Model-Based Testing of Real-Time Distributed Systems. DB&IS (2016)