• Aspect-oriented Model-based testing with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GertModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 117-124 https://doi.org/10.1007/978-3-030-78428-7_10 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111374940&origin=inward&txGid=a8e8c27dc616676de1ff54b83a071155
• Determining a device crossover point in CPU/GPU systems for streaming applicationsKanur, Sudeep; Lund, Wictor; Tsiopoulos, Leonidas; Lilius, Johan2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 20152015 / p. 1417-1421 : ill http://dx.doi.org/10.1109/GlobalSIP.2015.7418432
• Developing multi-view Contracts using Event-B and Uppaal Timed AutomataVain, Jüri; Tsiopoulos, Leonidas; Guin, Jishu2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings2016 / p. 126-134 : ill https://doi.org/10.1109/ICECCS.2016.024
• DTRON : a tool for distributed model-based testing of time critical applicationsAnier, Aivo; Vain, Jüri; Tsiopoulos, LeonidasProceedings of the Estonian Academy of Sciences2017 / p. 75-88 : ill https://doi.org/10.3176/proc.2017.1.08 http://www.ester.ee/record=b2355998*est https://www.scopus.com/sourceid/11500153303 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030699053&origin=inward&txGid=749edb5e9019b0a53f7fcbbb58d68a84 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000396591200009
• Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 https://www.scopus.com/sourceid/21100828949 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054186046&origin=inward&txGid=16bdfce30ffe73899ab3f2f9743b2fac
• Execution of dataflow process networks on OpenCL platformsLund, Wictor; Kanur, Sudeep; Ersfolk, Johan; Tsiopoulos, Leonidas23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : PDP 2015 : 4-6 March 2015, Turku, Finland : proceedings2015 / p. 618-625 : ill https://doi.org/10.1109/PDP.2015.29
• 14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019, Tallinn, Estonia, 16–91 September 2019 : proceedings2019 https://www.sciencedirect.com/journal/ifac-papersonline/vol/52/issue/19
• Hybrid cybersecurity research and education environment for maritime sectorVisky, Gabor; Šiganov, Aleksei; Rehman, Muaan ur; Vaarandi, Risto; Bahsi, Hayretdin; Tsiopoulos, Leonidas2024 IEEE International Conference on Cyber Security and Resilience (CSR) : proceedings2024 / p. 644-651 https://doi.org/10.1109/CSR61664.2024.10679392
• Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processesShokri-Manninen, Fatima; Tsiopoulos, Leonidas; Vain, Jüri; Walden, MarinaRigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings2020 / p. 186-202 https://doi.org/10.1007/978-3-030-48077-6_13 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086075390&origin=inward&txGid=f52e7fbb23ffa296d6180f087a36dfe9
• Model-based analysis of secure and patient-dependent pacemaker monitoring systemTsiopoulos, Leonidas; Kuusik, Alar; Vain, Jüri; Bahsi, HayretdinBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. 77-91 https://doi.org/10.1007/978-3-030-64991-3_6 https://www.scopus.com/sourceid/21100220348 https://www.scopus.com/record/display.uri?eid=2-s2.0-85098261411&origin=inward&txGid=6698489899bbdbd4b8cf467742c26840
• Modeling for multi-view interference analysis of design aspects in MPSoC designsVain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimRESCUE 2017 : Workshop on Reliability, Security and Quality : ETS17 Fringe Workshop, May 25-26, 2017, Limassol, Cyprus2017 / p. 1-6 http://www.ets17.org.cy/workshop/rescue-workshop.html
• Multi-fragment Markov model guided online test generation for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, JaanICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 20172017 / p. 594-607 : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267 http://ceur-ws.org/Vol-1844/10000594.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85020540459&origin=inward&txGid=822a1c19d42faa05854df1b2bd3d60ba
• Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600986
• Provably correct aspect-oriented modeling with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GerdSystem assurances : modeling and management2022 / p. 447-476 https://doi.org/10.1016/B978-0-323-90240-3.00025-4
• A Scope Review of Secure Broadcasting Protocols for the Automatic Identification SystemTsiopoulos, Leonidas; Vaarandi, RistoMaritime Cybersecurity2025 / p. 103-121 https://doi.org/10.1007/978-3-031-87290-7_6
• A systematic literature review of cyber security monitoring in maritimeVaarandi, Risto; Tsiopoulos, Leonidas; Visky, Gabor; Rehman, Muaan Ur; Bahsi, HayretdinIEEE Access2025 / p. 85307-85329 https://doi.org/10.1109/ACCESS.2025.3567385
• Systematic literature review of threat modeling and risk assessment in ship cybersecurityErbas, Muhammed; Khalil, Shaymaa Mamdouh; Tsiopoulos, LeonidasOcean engineering2024 / art. 118059 https://doi.org/10.1016/j.oceaneng.2024.118059 https://www.scopus.com/sourceid/28339 https://www.scopus.com/record/display.uri?eid=2-s2.0-85191986724&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=ALL%28%22Systematic+literature+review+of+threat+modeling+and+risk+assessment+in+ship+cybersecurity%22%29&sessionSearchId=fd90d0e9983d9a88c6a21e7c6aafecbb&relpos=2 https://www.scopus.com/sourceid/28339 https://www.webofscience.com/wos/woscc/full-record/WOS:001239240200001
• Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-85134332370&origin=inward&txGid=a1a029faf39f6ca02b9ba656440c0e90
• Temporal multi-view contracts help developing efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertBaltic journal of modern computing2022 / p. 710-737 https://doi.org/10.22364/bjmc.2022.10.4.07 https://www.scopus.com/sourceid/21100983350 https://www.scopus.com/record/display.uri?eid=2-s2.0-85145471459&origin=inward&txGid=4e8e17b35aa48b2bc65ce338cdc1c6f7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BALT%20J%20MOD%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000918356500008
• The Crisis Management System - a case study on aspect-oriented modelling with UPPAALIqbal, Junaid; Truscan, Dragos; Porres, Ivan; Tsiopoulos, Leonidas; Vain, Jüri2016 http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
• Using Incremental Inductive Logic Programming for Learning Spoofing Attacks on Maritime Automatic Identification System DataBenterki, Aboubaker Seddiq; Visky, Gabor; Vain, Jüri; Tsiopoulos, LeonidasMaritime Cybersecurity2025 / p. 123-141 https://doi.org/10.1007/978-3-031-87290-7_7