Towards a Framework for Dynamic Verification of Peer-to-Peer Systems. - Theofrastos Koulouris; George Spanoudakis; Theocharis Tsigkritis (ICIW, 2007)

A Temporal Abductive Diagnostic Process for Runtime Properties Violations. - Theocharis Tsigkritis; George Spanoudakis (ExaCt, 2008)

Diagnosing Runtime Violations of Security & Dependability Properties. - Theocharis Tsigkritis; George Spanoudakis (SEKE, 2008)

Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. - Theocharis Tsigkritis; George Spanoudakis; Christos Kloukinas; Davide Lorenzoli (Security and Dependability for Ambient Intelligence, 2009)

Diagnosing runtime violations of security and dependability properties. - Theocharis Tsigkritis (2010)

Assessing the genuineness of events in runtime monitoring of cyber systems. - Theocharis Tsigkritis; George Spanoudakis (Comput. Secur., 2013)

Cross-Network Behavioral Clustering for Managed Security Service Providers. - Georgios Gkroumas; Ilias Kotinas; Kostas Giotis; Theocharis Tsigkritis; Paris Mermigkas (CNSM, 2018)

Orchestrating DDoS mitigation via blockchain-based network provider collaborations. - Adam Pavlidis; Marinos Dimolianis; Kostas Giotis; Loukas Anagnostou; Nikolaos Kostopoulos; Theocharis Tsigkritis; Ilias Kotinas; Dimitrios Kalogeras; Vasilis Maglaris (Knowl. Eng. Rev., 2020)