| 2008 |
|---|
| 10 | EE | Vasilios Almaliotis,
Alexandros Loizidis,
Panagiotis Katsaros,
Panagiotis Louridas,
Diomidis Spinellis:
Static Program Analysis for Java Card Applets.
CARDIS 2008: 17-31 |
| 9 | EE | Stylianos Basagiannis,
Panagiotis Katsaros,
Andrew Pombortsis,
Nikolaos Alexiou:
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.
COMPSAC 2008: 12-19 |
| 8 | EE | Konstantinos Mokos,
Panagiotis Katsaros,
Nick Bassiliades,
Vangelis Vassiliadis,
Maxime Perrotin:
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.
JCKBSE 2008: 405-414 |
| 2007 |
|---|
| 7 | EE | George Kakarontzas,
Panagiotis Katsaros,
Ioannis Stamelos:
Elastic Components: Addressing Variance of Quality Properties in Components.
EUROMICRO-SEAA 2007: 31-38 |
| 6 | EE | Stylianos Basagiannis,
Panagiotis Katsaros,
Andrew Pombortsis:
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.
SAFECOMP 2007: 238-251 |
| 5 | EE | Panagiotis Katsaros,
Lefteris Angelis,
Constantine Lazos:
Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems.
Concurrency and Computation: Practice and Experience 19(1): 37-63 (2007) |
| 2006 |
|---|
| 4 | EE | Stylianos Basagiannis,
Panagiotis Katsaros,
Andrew Pombortsis:
Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.
ISPA 2006: 317-328 |
| 3 | EE | Panagiotis Katsaros,
Nantia Iakovidou,
Theodoros Soldatos:
Evaluation of composite object replication schemes for dependable server applications.
Information & Software Technology 48(9): 795-806 (2006) |
| 2005 |
|---|
| 2 | EE | Panagiotis Katsaros:
On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model.
OTM Conferences (2) 2005: 941-959 |
| 2004 |
|---|
| 1 | EE | Panagiotis Katsaros,
Constantine Lazos:
Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems.
DSN 2004: 762-771 |
