Publications
Publications found: 398
- Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics
Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
Published on IEEE Trans. Software Eng. Vol. 29 n. 3, 2003, Pages: 270-287
- Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
Published on ACSD, 2003, Pages: 111-121
- Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
Published on IEEE Trans. Software Eng. Vol. 29 n. 11, 2003, Pages: 962-973
- Authentication and Access Delegation with User-Released Certificates
Lavinia Egidi, Maurizio Melato
Published on SAC, 2003, Pages: 288-293
- Minimal Information Disclosure in a Centralized Authorization System
Lavinia Egidi, Giovanni Porcelli
Published on Electr. Notes Theor. Comput. Sci. Vol. 85 n. 3, 2003, Pages: 89-104
- Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract)
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
Published on ICTCS'03, Ed. Springer, 2003, Pages: 97--110
- Alias types for "environment-aware'' computations
Ferruccio Damiani, Paola Giannini
Published on WOOD'03 82.8, Ed. Elsevier, 2003
- Multi-modal Diagnosis Combining Case-Based and Model Based Reasoning: a Formal and Experimental Analysis
Diego Magro, Luigi Portinale, Pietro Torasso
Published on TR-INF-2003-12-08-UNIPMN, Ed. Computer Science Department, UPO, 2003
- Fault Tolerance in Grid Environment
Massimo Canonico
Published on TR-INF-2003-12-07-UNIPMN, Ed. Computer Science Department, UPO, 2003
- Development of a Dynamic Fault Tree Solver based on Coloured Petri Nets and graphically interfaced with DrawNET
Daniele Codetta Raiteri
Published on TR-INF-2003-10-06-UNIPMN, Ed. Computer Science Department, UPO, 2003
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 > »
