Leonidas Tsiopoulos
Leonidas Tsiopoulos
Department of Software Science, Tallinn University of Technology
Verified email at
Cited by
Cited by
Execution of dataflow process networks on OpenCL platforms
W Lund, S Kanur, J Ersfolk, L Tsiopoulos, J Lilius, J Haldin, U Falk
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
VHDL code generation from formal Event-B models
S Ostroumov, L Tsiopoulos
2011 14th Euromicro Conference on Digital System Design, 127-134, 2011
DTRON: a tool for distributed model-based testing of time critical applications.
A Anier, J Vain, L Tsiopoulos
Proceedings of the Estonian Academy of Sciences 66 (1), 2017
Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach
P Pop, L Tsiopoulos, S Voss, O Slotosch, C Ficek, U Nyman, AR Lopez
WICERT 2013 Conference Proceedings, 3, 2013
Formal development of NoC systems in B
L Tsiopoulos, M Waldén
Nordic Journal of Computing 13 (1), 127-145, 2006
A case study in requirement analysis of control systems using UML and B
C Snook, L Tsiopoulos, M Waldén
Turku Centre for Computer Science, 2003
Refinement-based development of timed systems
J Berthing, P Boström, K Sere, L Tsiopoulos, J Vain
International Conference on Integrated Formal Methods, 69-83, 2012
Performance evaluation of parallel HEVC strategies
G Georgakarakos, L Tsiopoulos, J Lillius, J Haldin, U Falk
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip
S Ostroumov, L Tsiopoulos, J Plosila, K Sere
Journal of Systems Architecture 59 (9), 709-728, 2013
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.
J Vain, L Tsiopoulos, VS Kharchenko, A Kaur, M Jenihhin, J Raik
ICTERI, 594-607, 2017
Integrating Refinement-Based Methods for Developing Timed Systems.
J Vain, L Tsiopoulos, P Boström
From Action Systems to Distributed Systems, 171-185, 2016
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes
F Shokri-Manninen, L Tsiopoulos, J Vain, M Waldén
International Conference on Rigorous State-Based Methods, 186-202, 2020
On the benefits of using aspect-orientation in UPPAAL timed automata
J Vain, D Truscan, J Iqbal, L Tsiopoulos
2017 International Conference on Infocom Technologies and Unmanned Systems …, 2017
Generation of Structural VHDL Code with Library Components from Formal Event-B Models
S Ostroumov, L Tsiopoulos, K Sere, J Plosila
2013 Euromicro Conference on Digital System Design, 111-118, 2013
Formal development of hierarchical agent-based monitoring systems for dynamically reconfigurable NoC platforms
S Ostroumov, L Tsiopoulos
International Journal of Embedded and Real-Time Communication Systems …, 2012
Towards Self-Placing Applications on 2D- and 3D-NoCs
L Petre, K Sere, L Tsiopoulos, P Liljeberg, J Plosila
Autonomic Networking-on-Chip: Bio-inspired Specification, Development, and …, 2011
Formal Model-Based Development of Network-on-Chip Systems
L Tsiopoulos
Åbo Akademi University, 2010
Multi-view modeling for MPSoC design aspects
J Vain, A Kaur, L Tsiopoulos, J Raik, M Jenihhin
2018 16th Biennial Baltic Electronics Conference (BEC), 1-6, 2018
Developing multi-view contracts using event-b and uppaal timed automata
J Vain, L Tsiopoulos, J Guin
2016 21st International Conference on Engineering of Complex Computer …, 2016
Determining a Device Crossover Point in CPU/GPU Systems for Streaming Applications
S Kanur, W Lund, L Tsiopoulos, J Lilius
3rd IEEE Global Conference on Signal and Information Processing (GlobalSIP), 2015
The system can't perform the operation now. Try again later.
Articles 1–20