| 2025 | MODELSWARD | Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems. | Jishu Guin, Jri Vain, Leonidas Tsiopoulos |
| 2021 | MEDI | Aspect-Oriented Model-Based Testing with UPPAAL Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Gert Kanter |
| 2017 | ICTERI | Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. | Jri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik |
| 2016 | ICECCS | Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata. | Jri Vain, Leonidas Tsiopoulos, Jishu Guin |
| 2015 | PDP | Performance Evaluation of Parallel HEVC Strategies. | Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk |
| 2015 | PDP | Execution of Dataflow Process Networks on OpenCL Platforms. | Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk |
| 2013 | DSD | Generation of Structural VHDL Code with Library Components from Formal Event-B Models. | Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila |
| 2012 | IFM | Refinement-Based Development of Timed Systems. | Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain |
| 2011 | DSD | VHDL Code Generation from Formal Event-B Models. | Sergey Ostroumov, Leonidas Tsiopoulos |