| 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 | 120 | 2016 |
| 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 | 47 | 2021 |
| 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 | 47 | 2010 |
| Smart grid security: Innovative solutions for a modernized grid F Skopik, DK Smith, Paul Dr, N van Dijk, S Basagiannis, R Chabukswar, ... Syngress, 2015 | 41 | 2015 |
| 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 | 38 | 2012 |
| 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 | 37 | 2009 |
| 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 | 36 | 2011 |
| The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide PG Larsen, J Fitzgerald, J Woodcock, C König, S Basagiannis, E Brosse, ... | 34* | 2018 |
| 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 | 28 | 2016 |
| Features of integrated model-based co-modelling and co-simulation technology PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce, ... International Conference on Software Engineering and Formal Methods, 377-390, 2017 | 26 | 2017 |
| Formal security analysis of near field communication using model checking N Alexiou, S Basagiannis, S Petridou computers & security 60, 1-14, 2016 | 25 | 2016 |
| 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 | 25 | 2011 |
| 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 | 24 | 2010 |
| 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 | 23 | 2012 |
| 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 | 22 | 2012 |
| An intruder model with message inspection for model checking security protocols S Basagiannis, P Katsaros, A Pombortsis computers & security 29 (1), 16-34, 2010 | 22 | 2010 |
| 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 | 22 | 2007 |
| 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 | 16 | 2011 |
| 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 | 15* | 2016 |
| Security analysis of NFC relay attacks using probabilistic model checking N Alexiou, S Basagiannis, S Petridou 2014 International Wireless Communications and Mobile Computing Conference …, 2014 | 14 | 2014 |
Panagiotis KatsarosAssociate Professor of Computer Science, Aristotle University of Thessaloniki, GreeceVerified email at csd.auth.gr
