Andrew Pombortsis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2008
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | COMPSAC | A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou |
| 2007 | SAFECOMP | Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
| 2006 | ISPA | Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |