Andrea Tundis
Orcid: 0000-0002-7729-2780
According to our database1,
Andrea Tundis
authored at least 47 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Inf. Secur. Appl., December, 2023
2022
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.
Requir. Eng., 2022
Comput. Secur., 2022
2021
Comput. Electr. Eng., 2021
Comput. Electr. Eng., 2021
An exploratory analysis on the impact of Shodan scanning tool on the network attacks.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021
Fighting organized crime by automatically detecting money laundering-related financial transactions.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021
2020
Sensors, 2020
Experiencing the Detection of Radicalized Criminals on Facebook Social Network and Data-related Issues.
J. Cyber Secur. Mobil., 2020
Human Physical Status detection related to Danger Situations based on Smartwatch and Smartphone.
Proceedings of the 2020 IFIP Networking Conference, 2020
Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020
Proceedings of the Computational Science - ICCS 2020, 2020
Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020
2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019
A Feature-Based Model for the Identification of Electrical Devices in Smart Environments.
Sensors, 2019
Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain.
Int. J. Simul. Process. Model., 2019
Proceedings of the 2019 Summer Simulation Conference, 2019
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019
Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019
2018
Cybersecurity compliance analysis as a service: Requirements specification and application scenarios.
Concurr. Comput. Pract. Exp., 2018
Supporting the Identification and the Assessment of Suspicious Users on Twitter Social Media.
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018
A review of network vulnerabilities scanning tools: types, capabilities and functioning.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018
2017
Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017
A multi-language approach towards the identification of suspicious users on social networks.
Proceedings of the International Carnahan Conference on Security Technology, 2017
HOLEG: A simulator for evaluating resilient energy networks based on the Holon analogy.
Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017
Proceedings of the 3rd INCOSE Italia Conference on Systems Engineering, 2017
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017
2016
ResDevOps: A Software Engineering Framework for Achieving Long-Lasting Complex Systems.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016
Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk.
Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, 2016
2015
On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions.
IEEE Syst. J., 2015
An analytical processing approach to supporting cyber security compliance assessment.
Proceedings of the 8th International Conference on Security of Information and Networks, 2015
Proceedings of the IEEE International Symposium on Systems Engineering, 2015
2014
J. Comput. Sci., 2014
Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method.
J. Comput. Sci., 2014
RAMSAS4Modelica: a simulation-driven method for system dependability analysis centered on the modelica language and related tools.
Proceedings of the 2014 Spring Simulation Multiconference, 2014
Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing.
Proceedings of the International Carnahan Conference on Security Technology, 2014
2013
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches.
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013
2012
Proceedings of the 7th International Conference on System of Systems Engineering, 2012
Proceedings of the 2012 Spring Simulation Multiconference, 2012
Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012
2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011