Stylianos Basagiannis

42 papers B 6C 4Journal 17Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On the Reduction of Error Space for Model-Implemented Fault- and Attack Injection. IEEE Trans. Dependable Secur. Comput. Peter Folkesson, Behrooz Sangchoolie, Pierre Kleberger, Nasser Nowdehi, Georgios Giantamidis, Vassilios A. Tsachouridis, Stylianos Basagiannis
2024	—	`conf`	CNN Architectures for Vehicle Detection in V2X Environments: A Comparative Study. CSCN Vasileios Efthymiou, Stylianos Basagiannis, Sophia G. Petridou
2024	—	`conf`	Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities. Principles of Verification (2) Sotirios Gyftopoulos, Stylianos Basagiannis, Panagiotis Katsaros
2023	—	`conf`	SMT-Based Stability Verification of an Industrial Switched PI Control Systems. DSN-W Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
2021	J	`jnl`	Learning Moore machines from input-output traces. Int. J. Softw. Tools Technol. Transf. Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
2021	J	`jnl`	The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 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
2020	B	`conf`	Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. SAFECOMP Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis
2020	J	`jnl`	ReForm: A Tool for Rapid Requirements Formalization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis
2020	J	`jnl`	Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Stylianos Basagiannis, Anila Mjeda, Götz Botterweck
2020	C	`conf`	The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD 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, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie
2020	—	`conf`	Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning. IDSTA Riccardo Orizio, Satyanarayana Vuppala, Stylianos Basagiannis, Gregory M. Provan
2019	—	`conf`	Formal Verification of Network Interlocking Control by Distributed Signal Boxes. IMBSA Stylianos Basagiannis, Panagiotis Katsaros
2019	J	`jnl`	Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
2018	J	`jnl`	Formal Methods for Energy-Efficient EPONs. IEEE Trans. Green Commun. Netw. Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas
2018	—	`conf`	Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. ISoLA (3) Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni
2017	—	`conf`	Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs. ICC Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas
2017	—	`conf`	Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. SEFM Workshops Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
2017	—	`conf`	Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. SAFECOMP Workshops Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
2016	J	`jnl`	Formal security analysis of near field communication using model checking. Comput. Secur. Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
2016	—	`conf`	Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project. CPS Data 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
2015	—	`conf`	Towards Verification of Multicore Motor-Drive Controllers in Aerospace. SAFECOMP Workshops Stylianos Basagiannis, Francisco José González-Espín
2014	B	`conf`	Security analysis of NFC relay attacks using probabilistic model checking. IWCMC Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
2013	B	`conf`	Explanations and Relaxations for Policy Conflicts in Physical Access Control. ICTAI Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur
2013	J	`jnl`	Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks. IEEE Syst. J. Sophia G. Petridou, Stylianos Basagiannis, Manos Roumeliotis
2012	J	`jnl`	Formal analysis for robust anti-SPIT protection using model checking. Int. J. Inf. Sec. Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis
2012	—	`conf`	Towards energy consumption evaluation of the SSL handshake protocol in mobile communications. WONS Sophia G. Petridou, Stylianos Basagiannis
2011	—	`conf`	Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka
2011	J	`jnl`	Quantitative Analysis for Authentication of Low-cost RFID Tags CoRR Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou
2011	B	`conf`	Quantitative analysis for authentication of low-cost RFID tags. LCN Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou
2011	J	`jnl`	Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Comput. Secur. Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
2011	C	`conf`	Quantitative model checking of an RSA-based email protocol on mobile devices. ISCC Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
2011	J	`jnl`	Synthesis of attack actions using model checking for the verification of security protocols. Secur. Commun. Networks Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2010	C	`conf`	A Formally Verified Mechanism for Countering SPIT. CRITIS Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis
2010	J	`jnl`	An intruder model with message inspection for model checking security protocols. Comput. Secur. Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2010	—	`conf`	Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
2009	J	`jnl`	Attacking an OT-Based Blind Signature Scheme CoRR Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2009	J	`jnl`	Probabilistic model checking for the quantification of DoS security threats. Comput. Secur. Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
2009	J	`jnl`	State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2009	—	`—`	Ανάπτυξη τυπικών μεθόδων για τον έλεγχο πρωτοκόλλων ασφαλείας Stylianos Basagiannis
2008	B	`conf`	A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
2007	B	`conf`	Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
2006	C	`conf`	Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis