Formal Development of NoC Systems in B. - Leonidas Tsiopoulos; Marina Waldén (Nord. J. Comput., 2006)

Model Based Testing of a Network-on-Chip Component. - Leonidas Tsiopoulos; Manoranjan Satpathy (MBT@ETAPS, 2009)

Model-Based Analysis Tools for Component Synthesis. - Luigia Petre; Kaisa Sere; Leonidas Tsiopoulos (FMCO, 2010)

Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. - Leonidas Tsiopoulos; Kaisa Sere; Juha Plosila (Int. J. Embed. Real Time Commun. Syst., 2010)

VHDL Code Generation from Formal Event-B Models. - Sergey Ostroumov; Leonidas Tsiopoulos (DSD, 2011)

Refinement-Based Development of Timed Systems. - Jesper Berthing; Pontus Boström; Kaisa Sere; Leonidas Tsiopoulos; Jüri Vain (IFM, 2012)

Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. - Sergey Ostroumov; Leonidas Tsiopoulos (Int. J. Embed. Real Time Commun. Syst., 2012)

Generation of Structural VHDL Code with Library Components from Formal Event-B Models. - Sergey Ostroumov; Leonidas Tsiopoulos; Kaisa Sere; Juha Plosila (DSD, 2013)

Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. - Sergey Ostroumov; Leonidas Tsiopoulos; Juha Plosila; Kaisa Sere (J. Syst. Archit., 2013)

1Teaching many-core programming. - Leonidas Tsiopoulos; Fareed Ahmed Johkio; Georgios Georgakarakos; Andreas Dahlin; Johan Lilius (EWME, 2014)

Determining a device crossover point in CPU/GPU systems for streaming applications. - Sudeep Kanur; Wictor Lund; Leonidas Tsiopoulos; Johan Lilius (GlobalSIP, 2015)

Performance Evaluation of Parallel HEVC Strategies. - Georgios Georgakarakos; Leonidas Tsiopoulos; Johan Lilius; Joakim Haldin; Ulf Falk (PDP, 2015)

Execution of Dataflow Process Networks on OpenCL Platforms. - Wictor Lund; Sudeep Kanur; Johan Ersfolk; Leonidas Tsiopoulos; Johan Lilius; Joakim Haldin; Ulf Falk (PDP, 2015)

Integrating Refinement-Based Methods for Developing Timed Systems. - Jüri Vain; Leonidas Tsiopoulos; Pontus Boström (From Action Systems to Distributed Systems, 2016)

Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. - Jüri Vain; Leonidas Tsiopoulos; Jishu Guin (ICECCS, 2016)

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. - Jüri Vain; Leonidas Tsiopoulos; Vyacheslav S. Kharchenko; Apneet Kaur; Maksim Jenihhin; Jaan Raik (ICTERI, 2017)

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. - Fatima Shokri-Manninen; Leonidas Tsiopoulos; Jüri Vain; Marina Waldén (ABZ, 2020)

Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. - Leonidas Tsiopoulos; Alar Kuusik; Jüri Vain; Hayretdin Bahsi (BODYNETS, 2020)

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. - Jüri Vain; Leonidas Tsiopoulos; Gert Kanter (MEDI, 2021)

Temporal Multi-view Contracts for Efficient Test Models. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek (DB&IS, 2022)

Temporal Multi-View Contracts Help Developing Efficient Test Models. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos; Gert Valdek (Balt. J. Mod. Comput., 2022)

Hybrid Cybersecurity Research and Education Environment for Maritime Sector. - Gábor Visky; Aleksei Siganov; Muaan ur Rehman; Risto Vaarandi; Hayretdin Bahsi; Leonidas Tsiopoulos (CSR, 2024)

PASTA Threat Modeling for Cyber Resilience and COLREG Compliance in Autonomous Ship Systems. - Muhammed Erbas; Gábor Visky; Olaf Maennel; Leonidas Tsiopoulos; Risto Vaarandi (CSR, 2025)

Integrating Cyber Threat Intelligence into Threat Modeling for Autonomous Ships Using PASTA and MISP. - Muhammed Erbas; Jani Vanharanta; Jarkko Paavola; Leonidas Tsiopoulos; Risto Vaarandi (CSR, 2025)

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. - Jishu Guin; Jüri Vain; Leonidas Tsiopoulos (MODELSWARD, 2025)

A Systematic Literature Review of Cyber Security Monitoring in Maritime. - Risto Vaarandi; Leonidas Tsiopoulos; Gábor Visky; Muaan ur Rehman; Hayretdin Bahsi (IEEE Access, 2025)

Literature Review: Cyber Security Monitoring in Maritime. - Risto Vaarandi; Leonidas Tsiopoulos; Gábor Visky; Muaan ur Rehman; Hayretdin Bahsi (CoRR, 2025)