Stylianos (Stelios) Basagiannis
Stylianos (Stelios) Basagiannis
Group Leader, Raytheon Technologies Research Centre
Dirección de correo verificada de rtx.com - Página principal
Título
Citado por
Citado por
Año
Integrated tool chain for model-based design of cyber-physical systems: The into-cps project
PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ...
Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016 2nd …, 2016
732016
Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking
N Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
382010
Evaluation of a two-step ultrasound examination protocol
Pilalis, Basagiannis, Eleftheriades, Faros, Troukis, Armelidou, ...
Taylor & Francis Journal 25 (9), 1814-1817, 2012
33*2012
Learning Moore machines from input–output traces
G Giantamidis, S Tripakis, S Basagiannis
International Journal on Software Tools for Technology Transfer, 1-29, 2019
282019
Probabilistic model checking for the quantification of DoS security threats
S Basagiannis, P Katsaros, A Pombortsis, N Alexiou
Computers & Security 28 (6), 450-465, 2009
272009
Constitutive endocytosis of VEGFR2 protects the receptor against shedding
D Basagiannis, S Christoforidis
Journal of Biological Chemistry 291 (32), 16892-16903, 2016
262016
Collaborative model-based systems engineering for Cyber-Physical Systems–a case study in building automation
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
Proc. INCOSE Intl. Symp. on Systems Engineering. Edinburgh, Scotland (July 2016), 2016
262016
Formal analysis of the DNS bandwidth amplification attack and its countermeasures using probabilistic model checking
T Deshpande, P Katsaros, S Basagiannis, SA Smolka
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
252011
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
S Basagiannis, S Petridou, N Alexiou, G Papadimitriou, P Katsaros
Computers & Security 30 (4), 257-272, 2011
222011
Smart grid security: Innovative solutions for a modernized grid
F Skopik, PD Smith
Syngress, 2015
212015
A Case Study of Model Checking Retail Banking System with SPIN.
H Shi, W Ma, M Yang, X Zhang, PL A Kassem, Y Falcone, ...
JCP 7 (10), 2503-2510, 2012
212012
Formal analysis for robust anti-SPIT protection using model checking
D Gritzalis, P Katsaros, S Basagiannis, Y Soupionis
International Journal of Information Security 11 (2), 121-135, 2012
212012
A formally verified mechanism for countering SPIT
Y Soupionis, S Basagiannis, P Katsaros, D Gritzalis
International Workshop on Critical Information Infrastructures Security, 128-139, 2010
212010
An intruder model with message inspection for model checking security protocols
S Basagiannis, P Katsaros, A Pombortsis
computers & security 29 (1), 16-34, 2010
212010
Formal security analysis of near field communication using model checking
N Alexiou, S Basagiannis, S Petridou
Computers & Security 60, 1-14, 2016
202016
Survivability analysis using probabilistic model checking: A study on wireless sensor networks
S Petridou, S Basagiannis, M Roumeliotis
IEEE systems journal 7 (1), 4-12, 2012
202012
Intrusion attack tactics for the model checking of e-commerce security guarantees
S Basagiannis, P Katsaros, A Pombortsis
International Conference on Computer Safety, Reliability, and Security, 238-251, 2007
202007
Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner
D Basagiannis, S Zografou, K Galanopoulou, S Christoforidis
Scientific reports 7 (1), 1-11, 2017
182017
Synthesis of attack actions using model checking for the verification of security protocols
S Basagiannis, P Katsaros, A Pombortsis
Security and Communication Networks 4 (2), 147-161, 2011
172011
Collaborative Model-based Systems Engineering for Cyber-Physical Systems – a Case Study in Building Automation Systems
A Fitzgerald, J., Gample, C., Payne, R., Gorm-Larsen, P., Basagiannis, S ...
6th Annual INCOSE International Symposium (IS-2016), 2016
16*2016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20