Publications
Publications found: 29
- General composition for Symmetric Net arc functions with applications
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Published on 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
Published on 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
Published on 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
Published on Communications in Computer and Information Science, vol. 825, Ed. Springer, 2018, Pages: 156-169 - Mean field analysis for Continuous Time Bayesian Networks
Davide Cerotti, Daniele Codetta Raiteri
Published on 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
Published on Reliability Engineering and System Safety, vol. 167, Ed. Elsevier, 2017, Pages: 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
Published on Proc. 61th Annual Reliability and Maintainability Symposium (RAMS2015), Ed. IEEE, 2015, Pages: 45-51 - Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
Daniele Codetta Raiteri, Luigi Portinale
Published on IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 45(1), Ed. IEEE, 2015, Pages: 13-24 - A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri
Published on TR-INF-2014-12-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014