Publications
Publications found: 390
- Renvoi in Private International Law: a Formalization with Modal Contexts
Laura Giordano, Baldoni Matteo, Ken Satoh
Published on TR-INF-2019-10-05-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
- UML class diagrams supporting formalism definition in the Draw-Net Modeling System
Daniele Codetta Raiteri
Published on TR-INF-2019-07-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
- Tracing and preventing sharing and mutation
Paola Giannini, Marco Servetto, Elena Zucca
Published on TR-INF-2019-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
- The Android Forensics Automator (AnForA): a tool for the Automated Forensic Analysis of Android Applications
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Published on TR-INF-2019-06-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
- Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale
Published on Convegno Nazionale CINI sull'Intelligenza Artificiale (Ital-IA), 2019
- A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale
Published on Italian Conference on Cyber Security, CEUR Workshop Proceedings, vol. 2315, Ed. CEUR-WS, 2019
- Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Published on TR-INF-2019-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019
- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets without Unfolding
Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
Published on TR-INF-2018-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2018
- Mean field analysis for Continuous Time Bayesian Networks
Davide Cerotti, Daniele Codetta Raiteri
Published on Communications in Computer and Information Science, vol. 825, Ed. Springer, 2018, Pages: 156-169
- Decision Networks for Security Risk Assessment of Critical Infrastructures
Daniele Codetta Raiteri, Luigi Portinale
Published on ACM Transactions on Internet Technology, vol. 18(3), Ed. ACM, 2018
Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 > »