Leonidas Tsiopoulos

27 papers B 2C 7Misc 5Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Systematic Literature Review of Cyber Security Monitoring in Maritime.
IEEE Access
Risto Vaarandi, Leonidas Tsiopoulos, Gábor Visky, Muaan ur Rehman, Hayretdin Bahsi
2025 Misc conf
Integrating Cyber Threat Intelligence into Threat Modeling for Autonomous Ships Using PASTA and MISP.
CSR
Muhammed Erbas, Jani Vanharanta, Jarkko Paavola, Leonidas Tsiopoulos, Risto Vaarandi
2025 J jnl
Literature Review: Cyber Security Monitoring in Maritime.
CoRR
Risto Vaarandi, Leonidas Tsiopoulos, Gábor Visky, Muaan ur Rehman, Hayretdin Bahsi
2025 Misc conf
PASTA Threat Modeling for Cyber Resilience and COLREG Compliance in Autonomous Ship Systems.
CSR
Muhammed Erbas, Gábor Visky, Olaf Maennel, Leonidas Tsiopoulos, Risto Vaarandi
2025 C conf
Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems.
MODELSWARD
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos
2024 Misc conf
Hybrid Cybersecurity Research and Education Environment for Maritime Sector.
CSR
Gábor Visky, Aleksei Siganov, Muaan ur Rehman, Risto Vaarandi, Hayretdin Bahsi, Leonidas Tsiopoulos
2022 J jnl
Temporal Multi-View Contracts Help Developing Efficient Test Models.
Balt. J. Mod. Comput.
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
2022 Misc conf
Temporal Multi-view Contracts for Efficient Test Models.
DB&IS
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
2021 C conf
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.
MEDI
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
2020 C conf
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.
ABZ
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
2020 — conf
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System.
BODYNETS
Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
2017 Misc conf
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.
ICTERI
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik
2016 B conf
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.
ICECCS
Jüri Vain, Leonidas Tsiopoulos, Jishu Guin
2016 — ch.
Integrating Refinement-Based Methods for Developing Timed Systems.
From Action Systems to Distributed Systems
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
2015 — conf
Determining a device crossover point in CPU/GPU systems for streaming applications.
GlobalSIP
Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
2015 C conf
Execution of Dataflow Process Networks on OpenCL Platforms.
PDP
Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
2015 C conf
Performance Evaluation of Parallel HEVC Strategies.
PDP
Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
2014 — conf
1Teaching many-core programming.
EWME
Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
2013 J jnl
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip.
J. Syst. Archit.
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
2013 C conf
Generation of Structural VHDL Code with Library Components from Formal Event-B Models.
DSD
Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
2012 J jnl
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms.
Int. J. Embed. Real Time Commun. Syst.
Sergey Ostroumov, Leonidas Tsiopoulos
2012 B conf
Refinement-Based Development of Timed Systems.
IFM
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
2011 C conf
VHDL Code Generation from Formal Event-B Models.
DSD
Sergey Ostroumov, Leonidas Tsiopoulos
2010 — conf
Model-Based Analysis Tools for Component Synthesis.
FMCO
Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
2010 J jnl
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors.
Int. J. Embed. Real Time Commun. Syst.
Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
2009 — conf
Model Based Testing of a Network-on-Chip Component.
MBT@ETAPS
Leonidas Tsiopoulos, Manoranjan Satpathy
2006 J jnl
Formal Development of NoC Systems in B.
Nord. J. Comput.
Leonidas Tsiopoulos, Marina Waldén