 | 2009 |
|---|
| 7 |       | Dimitrios Giakoumis,
Dimitrios Tzovaras,
Dionisis Kehagias,
Evangelos Bekiaris,
George Hassapis:
An Integrated Approach towards the Homogeneous Provision of Geographically Dispersed Info-Mobility Services to Mobile Users.
HCI (9) 2009: 385-394 |
| 2006 |
|---|
| 6 | | 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 | | 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 | | George Hassapis:
Implementation of model predictive control using real-time multiprocessing computing.
Microprocessors and Microsystems 27(7): 327-340 (2003) |
| 2001 |
|---|
| 2 | | 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) |
