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 Conference Proceedings at Scopus Article at Scopus

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

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 Article collection at Scopus Article at Scopus

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

Integrating refinement-based methods for developing timed systemsVain, Jüri; Tsiopoulos, Leonidas; Boström, PontusFrom action systems to distributed systems : the refinement approach2016 / p. 171-185 http://dx.doi.org/10.1201/b20053-17

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 Conference proceedings at Scopus Article at Scopus

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 Journal metrics at scopus Article at Scopus

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

Modelling critical systems with timing constraints in Event-B [Electronic resource]Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas; Vain, Jüri25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts2013 / p. 70-72 : ill [USB]

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

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

Refinement-based development of timed systemsBerthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, JüriIntegrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings2012 / p. 69-83 : ill https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6

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 Conference proceedings at Scopus Article at Scopus

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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