• Automatic distribution of local testers for testing distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and information systems IX : selected papers from the twelfth International Baltic Conference, DB&IS 20162016 / p. 297-310 : ill https://doi.org/10.3233/978-1-61499-714-6-297 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030703059&origin=inward&txGid=e2b8d23c3197df5a63dc644219db590d https://www.webofscience.com/wos/woscc/full-record/WOS:000390305200022
• Generating optimal test cases for real-time systems using DIVINE model checkerPal, Deepak; Vain, JüriBEC 2016 : 2016 15th Biennial Baltic Electronics Conference : proceedings of the 15th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 3-5, 2016, Tallinn, Estonia2016 / p. 99-102 : ill http://www.ester.ee/record=b2150914*est
• Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052887148&origin=inward&txGid=aa3dc2bf8f0a8dbd8079ba598c58922c
• Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill
• Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-85063345140&origin=inward&txGid=287ac5240cb295361509386765b31b38 https://www.webofscience.com/wos/woscc/full-record/WOS:000625446400006
• A model-based approach for design and verification of Industrial Internet of ThingsMuthukumar, Natarajan; Srinivasan, Seshadhri; Ramkumar, Kannan; Pal, Deepak; Vain, Jüri; Ramaswamy, SriniFuture generation computer systems2019 / p. 354-363 : ill https://doi.org/10.1016/j.future.2018.12.012 https://www.scopus.com/sourceid/12264 https://www.scopus.com/record/display.uri?eid=2-s2.0-85060110798&origin=inward&txGid=3c14b03ae74608c4192158fb37ecb2c2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=FUTURE%20GENER%20COMP%20SY&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000465509600029
• Model-based maintenance scheduling in flexible modular automation systemsPal, Deepak; Vain, Jüri; Srinivasan, Seshadhri; Ramaswamy, Srini2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017) : Limassol, Cyprus, 12 - 15 September 2017 : pages 1-6782017 / p. 1203-1208 : ill http://doi.org/10.1109/ETFA.2017.8247738
• Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979053273&origin=inward&txGid=80048c8db5e1376a7429e2600ab98122 https://www.webofscience.com/wos/woscc/full-record/WOS:000389806000019
• Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testiminePal, Deepak2020 https://www.ester.ee/record=b5389209*est https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe
• A systematic approach on modeling refinement and regression testing of real-time distributed systemsPal, Deepak; Vain, JüriIFAC-PapersOnLine2019 / p. 1091-1096 https://doi.org/10.1016/j.ifacol.2019.11.341 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85078950149&origin=inward&txGid=7c1a90e272f89fe6bd25522692543fdf https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400186
• Tester partitioning and synchronization algorithm for testing real-time distributed systemsPal, Deepak; Vain, JüriProceedings of the 10th Junior Researcher Workshop on Real-Time Computing : JRWRTC 2016 : Brest, France, October 19-21, 20162016 / p. 13-16 : ill http://jrwrtc2016.gforge.inria.fr/