White-box validation of quantitative product lines by statistical model checking and process mining Open new browser tab
(2024)
Start website main content
Pubblicazioni istituto
Risultati ricerca pubblicazioni
-
-
L’Unione europea nelle costituzioni nazionali: alcune recenti tendenze Open new browser tab
(2024)
-
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining Open new browser tab
(2024)
-
The challenge of phasing out fossil fuels: a climate-changing transition Open new browser tab
(2024)
-
Introduzione. Frontiere: tema, metafora e metodo della governance digitale europea Open new browser tab
(2024)
-
The subtle line between personalization and user manipulation in a European regulatory perspective. A proposal for a technology-assessment methodology for Artificial Intelligence Systems * Open new browser tab
(2024)
-
ASPETTANDO LA NIS2: OVVERO IL DIRITTO PRIVATO DELLA CYBERSECURITY Open new browser tab
(2024)
-
Autonomous Vehicles and Civil Liability in a Global Perspective in Data Science, Machine Intelligence, and Law 3 Open new browser tab
(2024)
-
Delitti in materia di violazione del diritto d'autore Open new browser tab
(2024)
-
Il nuovo delitto di “trasferimento fraudolento di valori” con finalità di elusione delle disposizioni in materia di documentazione antimafia: l’ulteriore anticipazione dell’intervento penale tra criminalità organizzata e criminalità “meramente” economica Open new browser tab
(2024)