Pubblicazioni
Pubblicazioni trovate: 29
- General composition for Symmetric Net arc functions with applications
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su TR-INF-2021-05-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2021 - Tracing and preventing sharing and mutation
Paola Giannini, Marco Servetto, Elena Zucca
Apparso su TR-INF-2019-07-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Deriving Symbolic and Parametric Structural Relations in Symmetric Nets: Focus on Composition Operator
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su TR-INF-2019-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2019 - Mean field analysis for Continuous Time Bayesian Networks
Davide Cerotti, Daniele Codetta Raiteri
Apparso su Communications in Computer and Information Science, vol. 825, Ed. Springer, 2018, Pagine: 156-169 - Mean field analysis for Continuous Time Bayesian Networks
Davide Cerotti, Daniele Codetta Raiteri
Apparso su New Frontiers in Quantitative Methods in Informatics (InfQ), 2017 - Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Reliability Engineering and System Safety, vol. 167, Ed. Elsevier, 2017, Pagine: 639-651 - Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective
Daniele Codetta Raiteri, Luigi Portinale
Ed. World Scientific Publishing, 2015 - Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Apparso su Proc. 61th Annual Reliability and Maintainability Symposium (RAMS2015), Ed. IEEE, 2015, Pagine: 45-51 - Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
Daniele Codetta Raiteri, Luigi Portinale
Apparso su IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45(1), Ed. IEEE, 2015, Pagine: 13-24 - A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri
Apparso su TR-INF-2014-12-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014