Department of Software Science, Tallinn University of Technology - ‪‪Cited by 198‬‬ - ‪Formal methods‬ - ‪Real-time systems‬ - ‪Multi-core systems‬ ...

Oct 2, 2024 · Tallinn University of Technology, School of Information Technologies, Department of Software Science, Senior Researcher (1,00).

Senior Research Scientist at the Department of Computer Science at Tallinn University of Technology. TalTech – Tallinn University of Technology.

Leonidas TSIOPOULOS, Senior Research Scientist | Cited by 143 | of Tallinn University of Technology, Tallinn (TTU) | Read 38 publications | Contact Leonidas ...

Tallinn, Akadeemia tee 15A. Senior Researcher - High-assurance Software Laboratory: Department of Software Science. All university contacts.

May 8, 2024 · List of computer science publications by Leonidas Tsiopoulos.

Affiliations: [Department of Software Science, Tallinn, University of Technology, Tallinn, Estonia].

Works (37) · Systematic literature review of threat modeling and risk assessment in ship cybersecurity · Provably correct aspect-oriented modeling with UPPAAL ...

Mar 19, 2024 · Leonidas Tsiopoulos is a senior research scientist at TalTech with expertise in application of formal methods to critical systems development.