Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Broccia, Giovanna"'
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
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
Publikováno v:
Broccia, Giovanna Milazzo, Paolo Ölveczky, Peter Csaba . An Executable Formal Framework for Safety-Critical Human Multitasking. Lecture Notes in Computer Science. 2018, 10811, 54-69
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Externí odkaz:
http://hdl.handle.net/10852/71733
https://www.duo.uio.no/bitstream/handle/10852/71733/1/HumanMultitasking_NFM18.pdf
https://www.duo.uio.no/bitstream/handle/10852/71733/1/HumanMultitasking_NFM18.pdf
Publikováno v:
Innovations in Systems & Software Engineering; Sep2019, Vol. 15 Issue 3/4, p169-190, 22p
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
https://www.pure.ed.ac.uk/ws/files/248232396/Combining_quantitative_data_PIHO_DOA05122021_AFV.pdf
Publikováno v:
From Data to Models and Back ISBN: 9783030706494
DataMod@CIKM
DataMod@CIKM
Funding: This research is partially supported by the DataLab. Cancer pathway is the name given to a patient’s journey from initial suspicion of cancer through to a confirmed diagnosis and, if applicable, the definition of a treatment plan. Typicall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b8afa78f0e0aee1ab1788a682c6b1f6
https://hdl.handle.net/10023/21685
https://hdl.handle.net/10023/21685
Publikováno v:
From Data to Models and Back ISBN: 9783030706494
DataMod@CIKM
DataMod@CIKM
Funding: Scottish Funding Council GCRF grant 2019/20. Philanthropic hospitals in Brazil are in great part funded by the government and are daily accessed by a large portion of the population. As the Brazilian economy faces deep cuts in healthcare, ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::366757dd1ce4bad110a0fb72cdcb85b3
https://doi.org/10.1007/978-3-030-70650-0_6
https://doi.org/10.1007/978-3-030-70650-0_6