Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (ISPA, 2006)

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (SAFECOMP, 2007)

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (COMPSAC, 2008)

Probabilistic model checking for the quantification of DoS security threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (Comput. Secur., 2009)

Attacking an OT-Based Blind Signature Scheme - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

State Space Reduction with Message Inspection in Security Protocol Model Checking - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

Ανάπτυξη τυπικών μεθόδων για τον έλεγχο πρωτοκόλλων ασφαλείας - Stylianos Basagiannis (2009)

A Formally Verified Mechanism for Countering SPIT. - Yannis Soupionis; Stylianos Basagiannis; Panagiotis Katsaros; Dimitris Gritzalis (CRITIS, 2010)

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Panagiotis Katsaros; Tushar Deshpande; Scott A. Smolka (HASE, 2010)

An intruder model with message inspection for model checking security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Comput. Secur., 2010)

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. - Tushar Deshpande; Panagiotis Katsaros; Stylianos Basagiannis; Scott A. Smolka (HASE, 2011)

Quantitative model checking of an RSA-based email protocol on mobile devices. - Sophia G. Petridou; Stylianos Basagiannis; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (ISCC, 2011)

Quantitative analysis for authentication of low-cost RFID tags. - Ioannis K. Paparrizos; Stylianos Basagiannis; Sophia G. Petridou (LCN, 2011)

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. - Stylianos Basagiannis; Sophia G. Petridou; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (Comput. Secur., 2011)

Synthesis of attack actions using model checking for the verification of security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Secur. Commun. Networks, 2011)

Towards energy consumption evaluation of the SSL handshake protocol in mobile communications. - Sophia G. Petridou; Stylianos Basagiannis (WONS, 2012)

Formal analysis for robust anti-SPIT protection using model checking. - Dimitris Gritzalis; Panagiotis Katsaros; Stylianos Basagiannis; Yannis Soupionis (Int. J. Inf. Sec., 2012)

Explanations and Relaxations for Policy Conflicts in Physical Access Control. - Fatih Turkmen; Simon N. Foley; Barry O'Sullivan; William M. Fitzgerald; Tarik Hadzic; Stylianos Basagiannis; Menouer Boubekeur (ICTAI, 2013)

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks. - Sophia G. Petridou; Stylianos Basagiannis; Manos Roumeliotis (IEEE Syst. J., 2013)

Security analysis of NFC relay attacks using probabilistic model checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Sophia G. Petridou (IWCMC, 2014)

Towards Verification of Multicore Motor-Drive Controllers in Aerospace. - Stylianos Basagiannis; Francisco José González-Espín (SAFECOMP Workshops, 2015)

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Peter Fritzson; Jörg Brauer; Christian Kleijn; Thierry Lecomte; Markus Pfeil; Ole Green; Stylianos Basagiannis; Andrey Sadovykh (CPS Data, 2016)

Formal security analysis of near field communication using model checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Sophia G. Petridou (Comput. Secur., 2016)

Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs. - Sophia G. Petridou; Stylianos Basagiannis; Lefteris Mamatas (ICC, 2017)

Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. - Pasquale Antonante; Juan Valverde-Alcalá; Stylianos Basagiannis; Marco Di Natale (SAFECOMP Workshops, 2017)

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Alie El-Din Mady; Miran Hasanagic; Peter Gorm Larsen (SEFM Workshops, 2017)

Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. - Luís Diogo Couto; Stylianos Basagiannis; El Hassan Ridouane; Erica Zavaglio; Pasquale Antonante; Hajer Saada; Sara Falleni (ISoLA (3), 2018)

Formal Methods for Energy-Efficient EPONs. - Sophia G. Petridou; Stylianos Basagiannis; Lefteris Mamatas (IEEE Trans. Green Commun. Netw., 2018)

Formal Verification of Network Interlocking Control by Distributed Signal Boxes. - Stylianos Basagiannis; Panagiotis Katsaros (IMBSA, 2019)

Preface. - Anila Mjeda; Stylianos Basagiannis; Goetz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. - Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; Alper Kanak; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; et al. (DSD, 2020)

Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning. - Riccardo Orizio; Satyanarayana Vuppala; Stylianos Basagiannis; Gregory M. Provan (IDSTA, 2020)

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. - Georgios Giantamidis; Stylianos Basagiannis; Stavros Tripakis (SAFECOMP, 2020)

Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). - Stylianos Basagiannis; Anila Mjeda; Götz Botterweck (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

ReForm: A Tool for Rapid Requirements Formalization. - Georgios Giantamidis; Georgios Papanikolaou; Marcelo Miranda; Gonzalo Salinas-Hernando; Juan Valverde-Alcalá; Suresh Veluru 001; Stylianos Basagiannis (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

Learning Moore machines from input-output traces. - Georgios Giantamidis; Stavros Tripakis; Stylianos Basagiannis (Int. J. Softw. Tools Technol. Transf., 2021)

The VALU3S ECSEL project: Verification and validation of automated systems safety and security. - Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

SMT-Based Stability Verification of an Industrial Switched PI Control Systems. - Stylianos Basagiannis; Ludovico Battista; Anna Becchi; Alessandro Cimatti; Georgios Giantamidis; Sergio Mover; Alberto Tacchella; Stefano Tonetta; Vassilios A. Tsachouridis (DSN-W, 2023)

Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities. - Sotirios Gyftopoulos; Stylianos Basagiannis; Panagiotis Katsaros (Principles of Verification (2), 2024)

CNN Architectures for Vehicle Detection in V2X Environments: A Comparative Study. - Vasileios Efthymiou; Stylianos Basagiannis; Sophia G. Petridou (CSCN, 2024)