Leonidas Tsiopoulos
Leonidas Tsiopoulos
Department of Computer Science, Tallinn University of Technology
Adresse e-mail validée de ttu.ee
Titre
Citée par
Citée par
Année
VHDL code generation from formal Event-B models
S Ostroumov, L Tsiopoulos
2011 14th Euromicro Conference on Digital System Design, 127-134, 2011
182011
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
152015
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
Proceedings of the Workshop of Industry-Driven Approaches for Cost-effective …, 2013
142013
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
Formal development of NoC systems in B
L Tsiopoulos, M Waldén
Nordic Journal of Computing 13 (1), 127-145, 2006
132006
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
132003
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
122017
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
82015
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
62013
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
Integrating refinement-based methods for developing timed systems
J Vain, L Tsiopoulos, P Boström
From Action Systems to Distributed Systems, 199-214, 2016
32016
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
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
22013
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
12017
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
12016
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
1Teaching many-core programming
L Tsiopoulos, FA Johkio, G Georgakarakos, A Dahlin, J Lilius
10th European Workshop on Microelectronics Education (EWME), 7-10, 2014
12014
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
12013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20