Publications
Publications found: 404
- Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on Proceedings of the International Conference on Availability, Reliability and Security, Ed. IEEE Computer Society, 2006, Pages: 804-809 - Defining formalisms and models in the Draw-Net Modelling System
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Published on Proceeding of the International Workshop on Modelling of Objects, Components and Agents, Ed. Universitat Hamburg, 2006, Pages: 123-144 - BDD based analysis of Parametric Fault Tress
Daniele Codetta Raiteri
Published on Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2006, Pages: 442-449 - A tool for automatically translating Dynamic Fault Trees into Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale, Marco Varesio
Published on Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2006, Pages: 434-441 - A State Abstraction for Coordination in Java-like Languages
Nick Cameron, Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Published on Electronic proceedings of FTfJP'06 (http://www.cs.ru.nl/ftfjp/), 2006 - Safe Ambients: Abstract Machine and Distributed Implementation
Paola Giannini, Davide Sangiorgi, Andrea Valente
Published on Science of Computer Programming 59, 2006, Pages: 209 - 249 - New Challenges in Network Reliability Analysis
Andrea Bobbio, Caterina Ferraris, Roberta Terruggia
Published on TR-INF-2006-11-04-UNIPMN, Ed. Computer Science Department, UPO, 2006 - The Engineering of a Compression Boosting Library: Theory vs Practice in BWT compression
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini
Published on TR-INF-2006-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2006 - A Case-Based Architecture for Temporal Abstraction Configuration and Processing
Alessio Bottrighi, Jose Juarez, Giorgio Leonardi, Stefania Montani, Luigi Portinale
Published on TR-INF-2006-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2006 - The Draw-Net Modeling System: a framework for the design and the solution of single-formalism and multi-formalism models
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Published on TR-INF-2006-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2006
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 40 41 > »