| 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 | 28 | 2015 |
| VHDL code generation from formal Event-B models S Ostroumov, L Tsiopoulos 2011 14th Euromicro Conference on Digital System Design, 127-134, 2011 | 24 | 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 | 19 | 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 | 19 | 2013 |
| Formal development of NoC systems in B L Tsiopoulos, M Waldén Nordic Journal of Computing 13 (1), 127-145, 2006 | 14 | 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 | 14 | 2003 |
| 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 | 13 | 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 | 9 | 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 | 7 | 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 | 5 | 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 | 5 | 2013 |
| Integrating Refinement-Based Methods for Developing Timed Systems. J Vain, L Tsiopoulos, P Boström From Action Systems to Distributed Systems, 171-185, 2016 | 4 | 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 Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 3 | 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 | 3 | 2017 |
| 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 | 3 | 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 | 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 | 2 | 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 | 2 | 2016 |
| 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 | 2 | 2013 |
| Formal Model-Based Development of Network-on-Chip Systems L Tsiopoulos Åbo Akademi University, 2010 | 2 | 2010 |
