Leonidas Tsiopoulos

According to our database, Leonidas Tsiopoulos authored at least 21 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Temporal Multi-View Contracts Help Developing Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Balt. J. Mod. Comput., 2022

Temporal Multi-view Contracts for Efficient Test Models.

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek

Proceedings of the Digital Business and Intelligent Systems, 2022

2021

Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata.

Jüri Vain, Leonidas Tsiopoulos, Gert Kanter

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

2020

Model-Based Analysis of Secure and Patient-Dependent Pacemaker Monitoring System.

Leonidas Tsiopoulos, Alar Kuusik, Jüri Vain, Hayretdin Bahsi

Proceedings of the Body Area Networks. Smart IoT and Big Data for Intelligent Health, 2020

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

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2017

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.

Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

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

Jüri Vain, Leonidas Tsiopoulos, Jishu Guin

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Integrating Refinement-Based Methods for Developing Timed Systems.

Jüri Vain, Leonidas Tsiopoulos, Pontus Boström

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Execution of Dataflow Process Networks on OpenCL Platforms.

Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Performance Evaluation of Parallel HEVC Strategies.

Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

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

Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius

Proceedings of the 2015 IEEE Global Conference on Signal and Information Processing, 2015

2014

1Teaching many-core programming.

Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius

Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014

2013

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

Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

J. Syst. Archit., 2013

Generation of Structural VHDL Code with Library Components from Formal Event-B Models.

Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

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

Refinement-Based Development of Timed Systems.

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

VHDL Code Generation from Formal Event-B Models.

Sergey Ostroumov, Leonidas Tsiopoulos

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

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

Model-Based Analysis Tools for Component Synthesis.

Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Model Based Testing of a Network-on-Chip Component.

Leonidas Tsiopoulos, Manoranjan Satpathy

Proceedings of Fifth Workshop on Model Based Testing, 2009

2006

Formal Development of NoC Systems in B.

Leonidas Tsiopoulos, Marina Waldén

Nord. J. Comput., 2006