Leonidas Tsiopoulos

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 10

Top Topics

Multi View Clustering

Concurrent Processes

Top Venues

Publications

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
Temporal Multi-view Contracts for Efficient Test Models. DB&IS (2022)
Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek
Temporal Multi-View Contracts Help Developing Efficient Test Models. Balt. J. Mod. Comput. 10 (4) (2022)
Jüri Vain, Leonidas Tsiopoulos, Gert Kanter
Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. MEDI (2021)
Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi
Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System. BODYNETS (2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ (2020)
Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. ICTERI (2017)
Jüri Vain, Leonidas Tsiopoulos, Jishu Guin
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. ICECCS (2016)
Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
Performance Evaluation of Parallel HEVC Strategies. PDP (2015)
Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
Determining a device crossover point in CPU/GPU systems for streaming applications. GlobalSIP (2015)
Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
Execution of Dataflow Process Networks on OpenCL Platforms. PDP (2015)
Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
1Teaching many-core programming. EWME (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. 59 (9) (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
Generation of Structural VHDL Code with Library Components from Formal Event-B Models. DSD (2013)
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
Refinement-Based Development of Timed Systems. IFM (2012)
Sergey Ostroumov, Leonidas Tsiopoulos
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. Int. J. Embed. Real Time Commun. Syst. 3 (2) (2012)
Sergey Ostroumov, Leonidas Tsiopoulos
VHDL Code Generation from Formal Event-B Models. DSD (2011)
Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
Model-Based Analysis Tools for Component Synthesis. FMCO (2010)
Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Leonidas Tsiopoulos, Manoranjan Satpathy
Model Based Testing of a Network-on-Chip Component. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Leonidas Tsiopoulos, Marina Waldén
Formal Development of NoC Systems in B. Nord. J. Comput. 13 (1-2) (2006)