| Towards security as a service (secaas): On the modeling of security services for cloud computing A Furfaro, A Garro, A Tundis 2014 international carnahan conference on security technology (ICCST), 1-6, 2014 | 59 | 2014 |
| On the reliability analysis of systems and SoS: The RAMSAS method and related extensions A Garro, A Tundis IEEE Systems Journal 9 (1), 232-241, 2014 | 46 | 2014 |
| Formal requirements modeling for simulation-based verification M Otter, N Thuy, D Bouskela, L Buffoni, H Elmqvist, P Fritzson, A Garro, ... | 45 | 2015 |
| A review of network vulnerabilities scanning tools: Types, capabilities and functioning A Tundis, W Mazurczyk, M Mühlhäuser Proceedings of the 13th international conference on availability …, 2018 | 44 | 2018 |
| A model-based method for system reliability analysis. A Garro, A Tundis SpringSim (TMS-DEVS), 2, 2012 | 38 | 2012 |
| Intelligent agents: Multi-agent systems A Garro, M Mühlhäuser, A Tundis, M Baldoni, C Baroglio, F Bergenti, ... Encyclopedia of Bioinformatics and Computational Biology: ABC of …, 2018 | 35 | 2018 |
| Detecting and tracking criminals in the real world through an IoT-based system A Tundis, H Kaleem, M Mühlhäuser Sensors 20 (13), 3795, 2020 | 30 | 2020 |
| Formal requirements modeling for cyber-physical systems engineering: An integrated solution based on FORM-L and Modelica D Bouskela, A Falcone, A Garro, A Jardin, M Otter, N Thuy, A Tundis Requirements Engineering 27 (1), 1-30, 2022 | 29 | 2022 |
| Reliability analysis of an attitude determination and control system (ADCS) through the RAMSAS method A Garro, J Groß, A Tundis Journal of Computational Science 5 (3), 439-449, 2014 | 29 | 2014 |
| On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution A Garro, A Tundis, D Bouskela, A Jardin, N Thuy, M Otter, L Buffoni, ... 2016 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2016 | 28 | 2016 |
| On the automated assessment of open-source cyber threat intelligence sources A Tundis, S Ruppert, M Mühlhäuser Computational Science–ICCS 2020: 20th International Conference, Amsterdam …, 2020 | 27 | 2020 |
| A feature-based model for the identification of electrical devices in smart environments A Tundis, A Faizan, M Mühlhäuser Sensors 19 (11), 2611, 2019 | 26 | 2019 |
| Modeling system requirements in modelica: definition and comparison of candidate approaches A Tundis, L Rogovchenko-Buffoni, P Fritzson, A Garro 5th International Workshop on Equation-Based Object-Oriented Modelling …, 2013 | 23 | 2013 |
| A multi-language approach towards the identification of suspicious users on social networks A Tundis, M Mühlhäuser 2017 International Carnahan Conference on Security Technology (ICCST), 1-6, 2017 | 22 | 2017 |
| Modeling and simulation for system reliability analysis: The RAMSAS method A Garro, A Tundis 2012 7th International Conference on System of Systems Engineering (SoSE …, 2012 | 22 | 2012 |
| An integrated toolchain for model based functional safety analysis L Rogovchenko-Buffoni, A Tundis, MZ Hossain, M Nyberg, P Fritzson Journal of Computational Science 5 (3), 408-414, 2014 | 21 | 2014 |
| Challenges and available solutions against organized cyber-crime and terrorist networks A Tundis, F Huber, B Jäger, J Daubert, E Vasilomanolakis, M Mühlhäuser WIT Transactions on the Built Environment 174, 429-441, 2018 | 19 | 2018 |
| Requirements specification of a cloud service for cyber security compliance analysis A Furfaro, T Gallo, A Garro, D Sacca, A Tundis 2016 2nd International Conference on Cloud Computing Technologies and …, 2016 | 19 | 2016 |
| Enhancing the RAMSAS method for system reliability analysis-an exploitation in the automotive domain A Garro, A Tundis International Conference on Simulation and Modeling Methodologies …, 2012 | 19 | 2012 |
| Supporting the identification and the assessment of suspicious users on twitter social media A Tundis, G Bhatia, A Jain, M Mühlhäuser 2018 IEEE 17th International Symposium on Network Computing and Applications …, 2018 | 18 | 2018 |
Alfredo GarroAssociate Professor of Computing Systems, University of Calabria, ItalyDirección de correo verificada de unical.it
