Stylianos Basagiannis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2006–2026
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICIN | Edge-Oriented Evaluation of CNN-Based Vehicle Detection on Embedded V2X Platforms. | Marinelio Chintri, Ioannis Seitoglou, Vasileios Efthymiou, Nikos Kekatos, Sophia G. Petridou, Stylianos Basagiannis |
| 2023 | DSN | 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 |
| 2020 | DSD | 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, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie |
| 2020 | SAFECOMP | Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. | Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis |
| 2018 | ISoLA | Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni |
| 2017 | SAFECOMP | Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. | Pasquale Antonante, Juan Valverde-Alcal, Stylianos Basagiannis, Marco Di Natale |
| 2017 | SEFM | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |
| 2015 | SAFECOMP | Towards Verification of Multicore Motor-Drive Controllers in Aerospace. | Stylianos Basagiannis, Francisco Jos Gonzlez-Espn |
| 2014 | IWCMC | Security analysis of NFC relay attacks using probabilistic model checking. | Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou |
| 2013 | ICTAI | 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 |
| 2011 | ISCC | Quantitative model checking of an RSA-based email protocol on mobile devices. | Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros |
| 2011 | LCN | Quantitative analysis for authentication of low-cost RFID tags. | Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou |
| 2010 | CRITIS | A Formally Verified Mechanism for Countering SPIT. | Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis |
| 2008 | COMPSAC | A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou |
| 2007 | SAFECOMP | Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
| 2006 | ISPA | Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |