Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements

Autor: Broccia, Giovanna, ter Beek, Maurice H., Lafuente, Alberto Lluch, Spoletini, Paola, Ferrari, Alessio

Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakeholders involved in system security evalu

Externí odkaz: http://arxiv.org/abs/2404.06386

Using Spatial Logic and Model Checking for Nevus Segmentation

Autor: Belmonte, Gina, Broccia, Giovanna, Ciancia, Vincenzo, Latella, Diego, Massink, Mieke

Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imagin

Externí odkaz: http://arxiv.org/abs/2012.13289

Modeling and analysis of human memory load in multitasking scenarios

Autor: Broccia, Giovanna, Masci, Paolo, Milazzo, Paolo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3728::d1090ad6bdc6fc229dc711cbd8ace18d
http://hdl.handle.net/11568/943556

From Data to Models and Back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers. [elektronicky zdroj]

Autor: Bowles, Juliana

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)

Combining quantitative data with logic-based specifications for parameter inference

Autor: Piho, Paul, Hillston, Jane

Publikováno v: Piho, P & Hillston, J 2022, Combining quantitative data with logic-based specifications for parameter inference . in J Bowles, G Broccia & R Pellungrini (eds), From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers . Lecture Notes in Computer Science, vol. 13268, pp. 121-137, 10th International Symposium From Data to Models and Back, 6/12/21 . https://doi.org/10.1007/978-3-031-16011-0_9

Continuous time Markov chains are a common mathematical model for a range of natural and computer systems. An important part of constructing such models is fitting the model parameters based on some observed data or prior domain knowledge. In this pa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3094::02783fe4b4dd59587e63a4ac29316948
https://www.pure.ed.ac.uk/ws/files/248232396/Combining_quantitative_data_PIHO_DOA05122021_AFV.pdf