Stylianos Basagiannis

According to our database, Stylianos Basagiannis authored at least 38 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

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, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 2021

Learning Moore machines from input-output traces.

Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis

Int. J. Softw. Tools Technol. Transf., 2021

2020

ReForm: A Tool for Rapid Requirements Formalization.

Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.

Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis

Proceedings of the Computer Safety, Reliability, and Security, 2020

Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning.

Riccardo Orizio, Satyanarayana Vuppala, Stylianos Basagiannis, Gregory M. Provan

Proceedings of the International Conference on Intelligent Data Science Technologies and Applications, 2020

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, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Preface.

Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

Formal Verification of Network Interlocking Control by Distributed Signal Boxes.

Stylianos Basagiannis, Panagiotis Katsaros

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018

Formal Methods for Energy-Efficient EPONs.

Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas

IEEE Trans. Green Commun. Netw., 2018

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

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

Proceedings of the Software Engineering and Formal Methods, 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

Proceedings of the Computer Safety, Reliability, and Security, 2017

Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs.

Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas

Proceedings of the IEEE International Conference on Communications, 2017

2016

Formal security analysis of near field communication using model checking.

Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou

Comput. Secur., 2016

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Towards Verification of Multicore Motor-Drive Controllers in Aerospace.

Stylianos Basagiannis, Francisco José González-Espín

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

Security analysis of NFC relay attacks using probabilistic model checking.

Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014

2013

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks.

Sophia G. Petridou, Stylianos Basagiannis, Manos Roumeliotis

IEEE Syst. J., 2013

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

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Formal analysis for robust anti-SPIT protection using model checking.

Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis

Int. J. Inf. Sec., 2012

Towards energy consumption evaluation of the SSL handshake protocol in mobile communications.

Sophia G. Petridou, Stylianos Basagiannis

Proceedings of the 9th Annual Conference on Wireless On-demand Network Systems and Services, 2012

2011

Synthesis of attack actions using model checking for the verification of security protocols.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Secur. Commun. Networks, 2011

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach.

Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros

Comput. Secur., 2011

Quantitative analysis for authentication of low-cost RFID tags.

Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Quantitative model checking of an RSA-based email protocol on mobile devices.

Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros

Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.

Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

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 Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.

Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

A Formally Verified Mechanism for Countering SPIT.

Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis

Proceedings of the Critical Information Infrastructures Security, 2010

2009

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

Stylianos Basagiannis

PhD thesis, 2009

State Space Reduction with Message Inspection in Security Protocol Model Checking

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

CoRR, 2009

Attacking an OT-Based Blind Signature Scheme

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

CoRR, 2009

Probabilistic model checking for the quantification of DoS security threats.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Comput. Secur., 2009

2008

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Proceedings of the Computer Safety, 2007

2006

Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Proceedings of the Parallel and Distributed Processing and Applications, 2006