![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 3 | Theocharis Tsigkritis, George Spanoudakis: A Temporal Abductive Diagnostic Process for Runtime Properties Violations. ExaCt 2008: 49-60 | |
| 2 | Theocharis Tsigkritis, George Spanoudakis: Diagnosing Runtime Violations of Security & Dependability Properties. SEKE 2008: 661-666 | |
| 1 | Theofrastos Koulouris, George Spanoudakis, Theocharis Tsigkritis: Towards a Framework for Dynamic Verification of Peer-to-Peer Systems. ICIW 2007: 2 |
Selection of 3 from 3 records - Theocharis Tsigkritis has 2 coauthors
Last update 2012-02-17 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page