Deepak Pal

According to our database, Deepak Pal authored at least 6 papers between 2016 and 2019.

Collaborative distances:

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

2019

A model-based approach for design and verification of Industrial Internet of Things.

Muthukumar Natarajan, Seshadhri Srinivasan, Kannan Ramkumar, Deepak Pal, Juri Vain, Srini Ramaswamy

Future Gener. Comput. Syst., 2019

2018

Model Based Test Framework for Communications-Critical Internet of Things Systems.

Deepak Pal, Jüri Vain

Proceedings of the Databases and Information Systems X, 2018

Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors.

Deepak Pal, Jüri Vain

Proceedings of the Databases and Information Systems, 2018

2017

Model-based maintenance scheduling in flexible modular automation systems.

Deepak Pal, Jüri Vain, Seshadhri Srinivasan, Srini Ramaswamy

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Automatic Distribution of Local Testers for Testing Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems IX, 2016

Model-Based Testing of Real-Time Distributed Systems.

Jüri Vain, Evelin Halling, Gert Kanter, Aivo Anier, Deepak Pal

Proceedings of the Databases and Information Systems, 2016