Stefano M. Nicoletti

h-index

Research activity per year

Fingerprint

Dive into the research topics where Stefano M. Nicoletti is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

11 Preprint
9 Conference contribution
4 Article
3 Chapter
More

An ontological lens on attack trees: Toward adequacy and interoperability
Oliveira, Í., Nicoletti, S. M., Engelberg, G., Fumagalli, M., Klein, D. & Guizzardi, G., 30 Jun 2025, ArXiv.org.
Research output: Working paper › Preprint › Academic

Open Access
File
29 Downloads (Pure)
An Ontological Lens on Attack Trees: Toward Adequacy and Interoperability
Oliveira, Í., Nicoletti, S. M., Engelberg, G., Fumagalli, M., Klein, D. & Guizzardi, G., 28 Aug 2025, Formal Ontology in Information Systems - Proceedings of the 15th International Conference, FOIS 2025. Sales, T. P., Masolo, C. & Keet, C. M. (eds.). Amsterdam: IOS, p. 151-165 15 p. (Frontiers in Artificial Intelligence and Applications; vol. 409).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
1 Downloads (Pure)
ATM: A Logic for Quantitative Security Properties on Attack Trees
Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 31 Oct 2025, (E-pub ahead of print/First online) In: Software and systems modeling. 21 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
3 Downloads (Pure)
BayesL: Towards a Logical Framework for Bayesian Networks
Nicoletti, S. M. & Stoelinga, M., 30 Jun 2025, ArXiv.org.
Research output: Working paper › Preprint › Academic

Open Access
File
28 Downloads (Pure)
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M., 11 Dec 2025, 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025. IEEE
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Quantitative Comparisons of MITRE ATT&CK Campaigns
Nicoletti, S. M. (Creator), Lopuhaä - Zwakenberg, M. A. (Creator), Stoelinga, M. (Creator), Massacci, F. (Creator) & Budde, C. (Creator), 4TU.Centre for Research Data, 30 Aug 2024
DOI: 10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d and 2 more links, https://data.4tu.nl/datasets/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d/1, https://doi.org/10.4121/779a6a17-ed5e-4bfc-9068-6a16e3f7d10d.v1 (show fewer)
Dataset
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package)
Nicoletti, S. M. (Creator), Lopuhaä-Zwakenberg, M. (Creator), Stoelinga, M. (Creator), Massacci, F. (Creator) & Budde, C. E. (Creator), Zenodo, 20 Nov 2024
DOI: 10.5281/zenodo.14193935, https://zenodo.org/records/14193935 and 2 more links, https://zenodo.org/records/14193936, https://doi.org/10.5281/zenodo.14193936 (show fewer)
Dataset
Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Saaltink, C. (Creator), Nicoletti, S. M. (Creator), Volk, M. (Creator), Hahn, E. M. (Creator) & Stoelinga, M. (Creator), Zenodo, 21 Jul 2023
DOI: 10.5281/zenodo.8172548, https://zenodo.org/record/8172549 and 3 more links, https://zenodo.org/record/10940255, https://doi.org/10.5281/zenodo.8172549, https://doi.org/10.5281/zenodo.10940255 (show fewer)
Dataset

Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods
Nicoletti, S. M. (Recipient), Lopuhaä - Zwakenberg, M. A. (Recipient), Hahn, E. M. (Recipient) & Stoelinga, M. I. A. (Recipient), 10 Nov 2023
Prize

File

Stefano M. Nicoletti

Personal profile

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

An ontological lens on attack trees: Toward adequacy and interoperability

An Ontological Lens on Attack Trees: Toward Adequacy and Interoperability

ATM: A Logic for Quantitative Security Properties on Attack Trees

BayesL: Towards a Logical Framework for Bayesian Networks

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies

Quantitative Comparisons of MITRE ATT&CK Campaigns

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package)

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods

Stefano M. Nicoletti

Personal profile

Fingerprint

Collaborations and top research areas from the last five years

Research output

Datasets

Prizes