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
282015
VHDL code generation from formal Event-B models
S Ostroumov, L Tsiopoulos
2011 14th Euromicro Conference on Digital System Design, 127-134, 2011
252011
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
192017
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
192013
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
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 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
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
62013
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
52017
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
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020
42020
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
Systematic literature review of threat modeling and risk assessment in ship cybersecurity
M Erbas, SM Khalil, L Tsiopoulos
Ocean Engineering 306, 118059, 2024
32024
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
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
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
Modeling critical systems with timing constraints in Event-B
MF Siavashi, M Waldén, L Tsiopoulos, J Vain
International Conference on Software Engineering, Artificial Intelligence …, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20