Peer-reviewed publications

A4 Conference proceedings
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata (2017)
Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
IEEE
A3 Book section, Chapters in research books
Integrating Refinement-Based Methods for Developing Timed Systems (2016)
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
CRC Press
IEEE Global Conference on Signal and Information Processing
View on publisher's site
A4 Conference proceedings
Determining a Device Crossover Point in CPU/GPU Systems for Streaming Applications (2015)
Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
A4 Conference proceedings
Execution of dataflow process networks on OpenCL platforms (2015)
Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
View on publisher's site
A4 Conference proceedings
Performance Evaluation of Parallel HEVC Strategies (2015)
Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
View on publisher's site
A3 Book section, Chapters in research books
Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila
IGI Global
A4 Conference proceedings
Teaching Many-Core Programming (2014)
Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
View on publisher's site
A4 Conference proceedings
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A1 Journal article (refereed)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
View on publisher's site
A4 Conference proceedings
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
View on publisher's site
A1 Journal article (refereed)
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms (2012)
Sergey Ostroumov, Leonidas Tsiopoulos
International Journal of Embedded and Real-Time Communication Systems
View on publisher's site
A4 Conference proceedings
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
View on publisher's site
A4 Conference proceedings
VHDL Code Generation from Formal Event-B Models (2011)
Sergey Ostroumov, Leonidas Tsiopoulos
IEEE
View on publisher's site
A4 Conference proceedings
A Dependability-Oriented Language for Dimensional-NoCs (2008)
Petre L, Sere K, Tsiopoulos L


Other publications

D4 Published development or research report or study
The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. (2016)
Iqbal Junaid, Tsiopoulos Leonidas, Truscan Dragos, Vain Jüri, Porres Ivan
D4 Published development or research report or study
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

Last updated on 2019-03-11 at 08:07