Követés
Stylianos (Stelios) Basagiannis
Stylianos (Stelios) Basagiannis
Group Leader, Raytheon Technologies Research Centre;
E-mail megerősítve itt: collins.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1442016
Learning Moore machines from input–output traces
G Giantamidis, S Tripakis, S Basagiannis
International Journal on Software Tools for Technology Transfer 23 (1), 1-29, 2021
632021
Smart grid security: Innovative solutions for a modernized grid
F Skopik, DK Smith, Paul Dr, N van Dijk, S Basagiannis, R Chabukswar, ...
Syngress, 2015
532015
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
492010
Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner
D Basagiannis, S Zografou, K Galanopoulou, S Christoforidis
Scientific reports 7 (1), 45035, 2017
442017
Evaluation of a two-step ultrasound examination protocol for the detection of major fetal structural defects
A Pilalis, C Basagiannis, M Eleftheriades, E Faros, E Troukis, E Armelidou, ...
The Journal of Maternal-Fetal & Neonatal Medicine 25 (9), 1814-1817, 2012
442012
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide
PG Larsen, J Fitzgerald, J Woodcock, C König, S Basagiannis, E Brosse, ...
41*2018
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
412009
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
372011
Formal security analysis of near field communication using model checking
N Alexiou, S Basagiannis, S Petridou
computers & security 60, 1-14, 2016
332016
Features of integrated model-based co-modelling and co-simulation technology
PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
302018
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
282011
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
272012
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
A formally verified mechanism for countering SPIT
Y Soupionis, S Basagiannis, P Katsaros, D Gritzalis
Critical Information Infrastructures Security: 5th International Workshop …, 2011
242011
Formal analysis for robust anti-SPIT protection using model checking
D Gritzalis, P Katsaros, S Basagiannis, Y Soupionis
International Journal of Information Security 11, 121-135, 2012
232012
INTERAVT Preface:EEAST 2019
A Mjeda, S Basagiannis, G Botterweck
Electronic Communication of the European Association of Software Science and …, 2019
22*2019
An intruder model with message inspection for model checking security protocols
S Basagiannis, P Katsaros, A Pombortsis
computers & security 29 (1), 16-34, 2010
222010
Intrusion attack tactics for the model checking of e-commerce security guarantees
S Basagiannis, P Katsaros, A Pombortsis
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
222007
FRETting about requirements: formalised requirements for an aircraft engine controller
M Farrell, M Luckcuck, O Sheridan, R Monahan
International Working Conference on Requirements Engineering: Foundation for …, 2022
172022
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20