| |
| 2006 | ||
|---|---|---|
| 6 | EE | Isabella Kotini, George Hassapis: Verification of rectangular hybrid automata models. Journal of Systems and Software 79(10): 1433-1443 (2006) |
| 2005 | ||
| 5 | George Hassapis, Spyridon Geronatsios, John Grigoriadis: Testbed evaluation of networked control systems. ICINCO 2005: 116-123 | |
| 2003 | ||
| 4 | EE | George Hassapis, Dimitra Ananidou: Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. Journal of Systems and Software 68(2): 153-165 (2003) |
| 3 | EE | George Hassapis: Implementation of model predictive control using real-time multiprocessing computing. Microprocessors and Microsystems 27(7): 327-340 (2003) |
| 2001 | ||
| 2 | EE | Dimitra Ananidou, George Hassapis, Dimitris Kleftouris: High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. Panhellenic Conference on Informatics 2001: 386-400 |
| 1995 | ||
| 1 | George Hassapis, John Papadopoulos: Support Software for the Development of Programmable Logic Controller Applications. Real-Time Systems 9(2): 173-193 (1995) | |
| 1 | Dimitra Ananidou | [2] [4] |
| 2 | Spyridon Geronatsios | [5] |
| 3 | John Grigoriadis | [5] |
| 4 | Dimitris Kleftouris | [2] |
| 5 | Isabella Kotini | [6] |
| 6 | John Papadopoulos | [1] |