Leonidas Tsiopoulos
Orcid: 0000-0002-3994-3810
According to our database1,
Leonidas Tsiopoulos
authored at least 22 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
1
1
1
1
1
2
1
1
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024
2022
Balt. J. Mod. Comput., 2022
Proceedings of the Digital Business and Intelligent Systems, 2022
2021
Proceedings of the Model and Data Engineering - 10th International Conference, 2021
2020
Proceedings of the Body Area Networks. Smart IoT and Big Data for Intelligent Health, 2020
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2017
Proceedings of the 13th International Conference on ICT in Education, 2017
2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
Proceedings of the 2015 IEEE Global Conference on Signal and Information Processing, 2015
2014
Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014
2013
J. Syst. Archit., 2013
Generation of Structural VHDL Code with Library Components from Formal Event-B Models.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
2012
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms.
Int. J. Embed. Real Time Commun. Syst., 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
2010
Int. J. Embed. Real Time Commun. Syst., 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2009
Proceedings of Fifth Workshop on Model Based Testing, 2009
2006
Formal Development of NoC Systems in B.
Nord. J. Comput., 2006