Referentgranskade publikationer

A4 Konferenspublikationer
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata (2017)
Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
IEEE
A3 Bokavsnitt, kapitel i forskningsböcker
Integrating Refinement-Based Methods for Developing Timed Systems (2016)
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
CRC Press
Visa på utgivarens sida
A4 Konferenspublikationer
Determining a Device Crossover Point in CPU/GPU Systems for Streaming Applications (2015)
Sudeep Kanur, Wictor Lund, Leonidas Tsiopoulos, Johan Lilius
IEEE Global Conference on Signal and Information Processing
A4 Konferenspublikationer
Execution of dataflow process networks on OpenCL platforms (2015)
Wictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Performance Evaluation of Parallel HEVC Strategies (2015)
Georgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk
IEEE
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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 Konferenspublikationer
Teaching Many-Core Programming (2014)
Leonidas Tsiopoulos, Fareed Ahmed Johkio, Georgios Georgakarakos, Andreas Dahlin, Johan Lilius
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
Visa på utgivarens sida
A4 Konferenspublikationer
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
VHDL Code Generation from Formal Event-B Models (2011)
Sergey Ostroumov, Leonidas Tsiopoulos
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
A Dependability-Oriented Language for Dimensional-NoCs (2008)
Petre L, Sere K, Tsiopoulos L


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere

Senast uppdaterad 2019-02-01 vid 08:09