Follow
Leonidas Tsiopoulos
Leonidas Tsiopoulos
Department of Software Science, Tallinn University of Technology
Verified email at taltech.ee
Title
Cited by
Cited by
Year
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
272015
VHDL code generation from formal Event-B models
S Ostroumov, L Tsiopoulos
2011 14th Euromicro Conference on Digital System Design, 127-134, 2011
232011
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
172017
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
172013
Formal development of NoC systems in B
L Tsiopoulos, M Waldén
Nordic Journal of Computing 13 (1), 127-145, 2006
142006
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
142003
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
132012
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
92015
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
72013
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
42017
Integrating Refinement-Based Methods for Developing Timed Systems.
J Vain, L Tsiopoulos, P Boström
From Action Systems to Distributed Systems, 171-185, 2016
42016
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
32020
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
32017
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
32013
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
32012
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
3*2011
Formal Model-Based Development of Network-on-Chip Systems
L Tsiopoulos
Åbo Akademi University, 2010
32010
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
22018
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
22016
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
12015
The system can't perform the operation now. Try again later.
Articles 1–20