Personal information

Other IDs

Scopus Author ID: 35087019500

Activities

Collapse all

Employment (1)

Tallinn University of Technology: Tallinn, EE

2015-10-18 to present | Senior Research Scientist (Department of Software Science)
Employment
Source: Self-asserted source
Leonidas Tsiopoulos

Education and qualifications (1)

Åbo Akademi: Turku, FI

2010-06-30 | Ph.D. in Computer Science
Education
Source: Self-asserted source
Leonidas Tsiopoulos

Works (37)

Systematic literature review of threat modeling and risk assessment in ship cybersecurity

Ocean Engineering
2024-08 | Journal article
DOI: 10.1016/j.oceaneng.2024.118059
Contributors: Muhammed Erbas; Shaymaa Mamdouh Khalil; Leonidas Tsiopoulos
Source: check_circle
Crossref

Provably correct aspect-oriented modeling with UPPAAL timed automata

System Assurances
2022 | Other
DOI: 10.1016/b978-0-323-90240-3.00025-4
Contributors: Jüri Vain; Leonidas Tsiopoulos; Gert Kanter
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search

Temporal Multi-View Contracts Help Developing Efficient Test Models

Baltic Journal of Modern Computing
2022 | Journal article
DOI: 10.22364/bjmc.2022.10.4.07
Part of ISSN: 2255-8950
Contributors: Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search

Temporal Multi-view Contracts for Efficient Test Models

Communications in Computer and Information Science
2022-06 | Other
DOI: 10.1007/978-3-031-09850-5_10
Part of ISSN: 1865-0929
Contributors: Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata

2021 | Book chapter
DOI: 10.1007/978-3-030-78428-7_10
Contributors: Jüri Vain; Leonidas Tsiopoulos; Gert Kanter
Source: check_circle
Crossref

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
DOI: 10.1007/978-3-030-48077-6_13
EID:

2-s2.0-85086075390

Part of ISSN: 16113349 03029743
Contributors: Shokri-Manninen, F.; Tsiopoulos, L.; Vain, J.; Waldén, M.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Model-based analysis of secure and patient-dependent pacemaker monitoring system

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
2020 | Book
DOI: 10.1007/978-3-030-64991-3_6
EID:

2-s2.0-85098261411

Part of ISSN: 18678211
Contributors: Tsiopoulos, L.; Kuusik, A.; Vain, J.; Bahsi, H.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Energy-efficient multi-fragment markov model guided online model-based testing for MPSoC

Studies in Systems, Decision and Control
2019 | Book
DOI: 10.1007/978-3-030-00253-4_12
EID:

2-s2.0-85054186046
Contributors: Vain, J.; Tsiopoulos, L.; Kharchenko, V.; Kaur, A.; Jenihhin, M.; Raik, J.; Nõmm, S.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

On the benefits of using aspect-orientation in UPPAAL timed automata

2017 International Conference on Infocom Technologies and Unmanned Systems: Trends and Future Directions, ICTUS 2017
2018 | Conference paper
DOI: 10.1109/ICTUS.2017.8285981
EID:

2-s2.0-85047132150
Contributors: Vain, J.; Truscan, D.; Iqbal, J.; Tsiopoulos, L.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Multi-view modeling for MPSoC design aspects

2018 16th Biennial Baltic Electronics Conference (BEC)
2018-10 | Other
DOI: 10.1109/bec.2018.8600986
Contributors: Juri Vain; Apneet Kaur; Leonidas Tsiopoulos; Jaan Raik; Maksim Jenihhin
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search
grade
Preferred source (of 2)‎

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
2017 | Conference paper
DOI: 10.1109/ICECCS.2016.024
EID:

2-s2.0-85012070442
Contributors: Vain, J.; Tsiopoulos, L.; Guin, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

DTRON: A tool for distributed Model-Based testing of time critical applications,Ajakriitiliste rakenduste mudelipõhise hajustestimise vahend DTRON

Proceedings of the Estonian Academy of Sciences
2017 | Journal article
DOI: 10.3176/proc.2017.1.08
EID:

2-s2.0-85030699053
Contributors: Anier, A.; Vain, J.; Tsiopoulos, L.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Multi-fragment Markov model guided online test generation for MPSoC

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85020540459
Contributors: Vain, J.; Tsiopoulos, L.; Kharchenko, V.; Kaur, A.; Jenihhin, M.; Raik, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Determining a device crossover point in CPU/GPU systems for streaming applications

2015 IEEE Global Conference on Signal and Information Processing, GlobalSIP 2015
2016 | Conference paper
DOI: 10.1109/GlobalSIP.2015.7418432
EID:

2-s2.0-84964734989
Contributors: Kanur, S.; Lund, W.; Tsiopoulos, L.; Lilius, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Integrating Refìnement-Based methods for developing timed systems

From Action Systems to Distributed Systems: The Refinement Approach
2016 | Book
EID:

2-s2.0-85012105490
Contributors: Vain, J.; Tsiopoulos, L.; Boström, P.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

The Crisis Management System - A Case Study on Aspect-Oriented Modelling with UPPAAL

2016-11-14 | Report
Source: Self-asserted source
Leonidas Tsiopoulos

Integrating Refinement-Based Methods for Developing Timed Systems

From Action Systems to Distributed Systems
2016-04 | Other
DOI: 10.1201/b20053-17
Contributors: Jüri Vain; Leonidas Tsiopoulos; Pontus Boström
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search

Execution of dataflow process networks on OpenCL platforms

Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015
2015 | Conference paper
DOI: 10.1109/PDP.2015.29
EID:

2-s2.0-84958227773
Contributors: Lund, W.; Kanur, S.; Ersfolk, J.; Tsiopoulos, L.; Lilius, J.; Haldin, J.; Falk, U.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Performance evaluation of Parallel HEVC strategies

Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015
2015 | Conference paper
DOI: 10.1109/PDP.2015.61
EID:

2-s2.0-84962905619
Contributors: Georgakarakos, G.; Tsiopoulos, L.; Lillius, J.; Haldin, J.; Falk, U.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Hierarchical agent-based monitoring systems for dynamic reconfiguration in NoC platforms: A formal approach

Advancing Embedded Systems and Real-Time Communications with Emerging Technologies
2014 | Book
Part of DOI: 10.4018/978-1-4666-6034-2.ch013
EID:

2-s2.0-84945982457
Contributors: Ostroumov, S.; Waldén, M.; Tsiopoulos, L.; Plosila, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

1Teaching many-core programming

10th European Workshop on Microelectronics Education (EWME)
2014-05 | Other
DOI: 10.1109/ewme.2014.6877385
Contributors: Leonidas Tsiopoulos; Fareed Ahmed Johkio; Georgios Georgakarakos; Andreas Dahlin; Johan Lilius
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search
grade
Preferred source (of 2)‎

Derivation of Structural VHDL from Component-Based Event-B Models

Proceedings of the 4th Rodin User and Developer Workshop
2013 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip

Journal of Systems Architecture
2013 | Journal article
DOI: 10.1016/j.sysarc.2013.06.001
EID:

2-s2.0-84885951062
Contributors: Ostroumov, S.; Tsiopoulos, L.; Plosila, J.; Sere, K.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Generation of structural VHDL code with library components from formal Event-B models

Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013
2013 | Conference paper
DOI: 10.1109/DSD.2013.20
EID:

2-s2.0-84890038699
Contributors: Ostroumov, S.; Tsiopoulos, L.; Sere, K.; Plosila, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier
grade
Preferred source (of 2)‎

Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach

WICERT 2013 Conference Proceedings
2013 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

Modelling Critical Systems with Time Constraints in Event-B

Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13
2013 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

Refinement-based development of timed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-30729-4_6
EID:

2-s2.0-84864333404
Contributors: Berthing, J.; Boström, P.; Sere, K.; Tsiopoulos, L.; Vain, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms

International Journal of Embedded and Real-Time Communication Systems
2012-04-01 | Journal article
DOI: 10.4018/jertcs.2012040103
Part of ISSN: 1947-3176
Contributors: Sergey Ostroumov; Leonidas Tsiopoulos
Source: check_circle
IGI Global
grade
Preferred source (of 2)‎

Model-based analysis tools for component synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-25271-6_6
EID:

2-s2.0-84255187328
Contributors: Petre, L.; Sere, K.; Tsiopoulos, L.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Toward Self-Placing Applications on 2D and 3D NoCs

Embedded Multi-Core Systems
2011-12-07 | Book chapter
DOI: 10.1201/b11421-8
Part of ISBN: 9781439829110
Part of ISBN: 9781439829134
Part of ISSN: 2155-8493
Source: Self-asserted source
Leonidas Tsiopoulos

VHDL Code Generation from Formal Event-B Models

2011 14th Euromicro Conference on Digital System Design
2011-08 | Other
DOI: 10.1109/dsd.2011.20
Contributors: Sergey Ostroumov; Leonidas Tsiopoulos
Source: Self-asserted source
Leonidas Tsiopoulos via Crossref Metadata Search
grade
Preferred source (of 2)‎

Modeling communication in Multi-Processor Systems-On-Chip using modular connectors

International Journal of Embedded and Real-Time Communication Systems
2010 | Journal article
DOI: 10.4018/jertcs.2010040102
EID:

2-s2.0-84872971907
Contributors: Tsiopoulos, L.; Sere, K.; Plosila, J.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Model Based Testing of a Network-on-Chip Component

Electronic Notes in Theoretical Computer Science
2009 | Journal article
DOI: 10.1016/j.entcs.2009.09.054
EID:

2-s2.0-70349766851
Contributors: Tsiopoulos, L.; Satpathy, M.
Source: Self-asserted source
Leonidas Tsiopoulos via Scopus - Elsevier

Towards Dependable Placement of NoC Resources

NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security; Linköping; Sweden; April 27; 2009
2009 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

A Dependability-Oriented Language for Dimensional-NoCs

Nordic Workshop and Doctoral Symposium on Dependability and Security - NODES 2008 Proceedings
2008 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

Formal Development of NoC Systems in B

Nordic J. of Computing
2006-06 | Journal article
Source: Self-asserted source
Leonidas Tsiopoulos

A Case Study in Requirement Analysis of Control Systems Using UML and B

Proceedings of RCS'03 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
2003 | Conference paper
Source: Self-asserted source
Leonidas Tsiopoulos

Peer review (35 reviews for 1 publication/grant)

Review activity for International journal of embedded and real-time communication systems. (35)
How many people are using ORCID?