Dependability and Reliability Group
The Dependability and Reliability Group
Formal Methods in Reliability
The formal methods group
People
Andrea Bobbio 
Giuliana Franceschinis
Daniele Codetta Raiteri
Projects
Pubblications
FMR papers
FMR people's papers
recent FMR papers (last 2 years)
Related links
Bayesian Networks for Reliability
Bayesian Belief Networks are the most widely used formalism for uncertainty handling in Artificial Intelligence; despite that, little attention they have received so far in reliability applications. Major focus of the group is to investigate their applicability in real-world dependability applications by considering modeling as well as analysis aspects.
People
Andrea Bobbio
Luigi Portinale
Stefania Montani
Projects
Pubblications
BNR papers
BNR people's papers
recent BNR papers (last 2 years)