| 2026 |
J |
jnl |
IEEE Trans. Dependable Secur. Comput.
Peter Folkesson, Behrooz Sangchoolie, Pierre Kleberger, Nasser Nowdehi, Georgios Giantamidis, Vassilios A. Tsachouridis, Stylianos Basagiannis
|
| 2024 |
— |
conf |
CSCN
Vasileios Efthymiou, Stylianos Basagiannis, Sophia G. Petridou
|
| 2024 |
— |
conf |
Principles of Verification (2)
Sotirios Gyftopoulos, Stylianos Basagiannis, Panagiotis Katsaros
|
| 2023 |
— |
conf |
DSN-W
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis
|
| 2021 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
|
| 2021 |
J |
jnl |
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 |
SAFECOMP
Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis
|
| 2020 |
J |
jnl |
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 |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Stylianos Basagiannis, Anila Mjeda, Götz Botterweck
|
| 2020 |
C |
conf |
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 |
IDSTA
Riccardo Orizio, Satyanarayana Vuppala, Stylianos Basagiannis, Gregory M. Provan
|
| 2019 |
— |
conf |
IMBSA
Stylianos Basagiannis, Panagiotis Katsaros
|
| 2019 |
J |
jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck
|
| 2018 |
J |
jnl |
IEEE Trans. Green Commun. Netw.
Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas
|
| 2018 |
— |
conf |
ISoLA (3)
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni
|
| 2017 |
— |
conf |
ICC
Sophia G. Petridou, Stylianos Basagiannis, Lefteris Mamatas
|
| 2017 |
— |
conf |
SEFM Workshops
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
|
| 2017 |
— |
conf |
SAFECOMP Workshops
Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale
|
| 2016 |
J |
jnl |
Comput. Secur.
Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
|
| 2016 |
— |
conf |
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 |
SAFECOMP Workshops
Stylianos Basagiannis, Francisco José González-Espín
|
| 2014 |
B |
conf |
IWCMC
Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
|
| 2013 |
B |
conf |
ICTAI
Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur
|
| 2013 |
J |
jnl |
IEEE Syst. J.
Sophia G. Petridou, Stylianos Basagiannis, Manos Roumeliotis
|
| 2012 |
J |
jnl |
Int. J. Inf. Sec.
Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis
|
| 2012 |
— |
conf |
WONS
Sophia G. Petridou, Stylianos Basagiannis
|
| 2011 |
— |
conf |
HASE
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka
|
| 2011 |
J |
jnl |
CoRR
Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou
|
| 2011 |
B |
conf |
LCN
Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou
|
| 2011 |
J |
jnl |
Comput. Secur.
Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
|
| 2011 |
C |
conf |
ISCC
Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
|
| 2011 |
J |
jnl |
Secur. Commun. Networks
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|
| 2010 |
C |
conf |
CRITIS
Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis
|
| 2010 |
J |
jnl |
Comput. Secur.
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|
| 2010 |
— |
conf |
HASE
Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
|
| 2009 |
J |
jnl |
CoRR
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|
| 2009 |
J |
jnl |
Comput. Secur.
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
|
| 2009 |
J |
jnl |
CoRR
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|
| 2009 |
— |
— |
Stylianos Basagiannis
|
| 2008 |
B |
conf |
COMPSAC
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
|
| 2007 |
B |
conf |
SAFECOMP
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|
| 2006 |
C |
conf |
ISPA
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
|