- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Sergey Ostroumov, Leonidas Tsiopoulos: Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms. IJERTCS 3(2): 40-72 (2012) |
| c3 | | Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain: Refinement-Based Development of Timed Systems. IFM 2012: 69-83 |
| 2011 | ||
| c2 | | Sergey Ostroumov, Leonidas Tsiopoulos: VHDL Code Generation from Formal Event-B Models. DSD 2011: 127-134 |
| 2010 | ||
| j3 | | Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila: Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. IJERTCS 1(2): 23-44 (2010) |
| c1 | | Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos: Model-Based Analysis Tools for Component Synthesis. FMCO 2010: 102-121 |
| 2009 | ||
| j2 | | Leonidas Tsiopoulos, Manoranjan Satpathy: Model Based Testing of a Network-on-Chip Component. Electr. Notes Theor. Comput. Sci. 253(2): 101-116 (2009) |
| 2006 | ||
| j1 |  | Leonidas Tsiopoulos, Marina A. Waldén: Formal Development of NoC Systems in B. Nord. J. Comput. 13(1-2): 127-145 (2006) |
| 1 | Jesper Berthing | |
| 2 | Pontus Boström | |
| 3 | Sergey Ostroumov | |
| 4 | Luigia Petre | |
| 5 | Juha Plosila | |
| 6 | Manoranjan Satpathy | |
| 7 | Kaisa Sere | |
| 8 | Jüri Vain | |
| 9 | Marina A. Waldén |
Data released under the ODC-BY 1.0 license — See also our legal information page