andrea bondavalli
andrea bondavalli
Professor of computer science, University of Firenze
Email verificata su unifi.it
TitoloCitata daAnno
Dependability analysis in the early phases of UML-based system design
A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia
Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001
1642001
The meaning and role of value in scheduling flexible real-time systems
A Burns, D Prasad, A Bondavalli, F Di Giandomenico, K Ramamritham, ...
Journal of systems architecture 46 (4), 305-325, 2000
1612000
Threshold-based mechanisms to discriminate transient from intermittent faults
A Bondavalli, S Chiaradonna, F Di Giandomenico, F Grandoni
IEEE Transactions on Computers 49 (3), 230-245, 2000
1542000
GUARDS: A generic upgradable architecture for real-time dependable systems
D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ...
IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999
1511999
Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability
I Mura, A Bondavalli
IEEE Transactions on Computers, 1337-1351, 2001
1472001
Dependability modeling and evaluation of multiple-phased systems using DEEM
A Bondavalli, S Chiaradonna, F Di Giandomenico, I Mura
IEEE Transactions on Reliability 53 (4), 509-522, 2004
1172004
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
961990
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
912003
Dependability modeling and evaluation of phased mission systems: a DSPN approach
I Mural, A Bondavalli, X Zang, KS Trivedi
Dependable Computing for Critical Applications 7, 319-337, 1999
751999
Automatic dependability analysis for supporting design decisions in UML
A Bondavalli, I Majzik, I Mura
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
711999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
691999
Experimental evaluation of the QoS of failure detectors on wide area network
L Falai, A Bondavalli
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
622005
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
A Daidone, F Di Giandomenico, A Bondavalli, S Chiaradonna
SRDS 6, 245-256, 2006
592006
Hierarchical modeling and evaluation of phased-mission systems
I Mura, A Bondavalli
IEEE Transactions on Reliability 48 (4), 360-368, 1999
591999
Effective fault treatment for improving the dependability of COTS and legacy-based applications
A Bondavalli, S Chiaradonna, D Cotroneo, L Romano
IEEE Transactions on Dependable and Secure Computing 1 (4), 223-237, 2004
502004
Performance analysis of a consensus algorithm combining stochastic activity networks and measurements
A Coccoli, P Urbán, A Bondavalli, A Schiper
Proceedings International Conference on Dependable Systems and Networks, 551-560, 2002
472002
On-line diagnosis and recovery: On the choice and impact of tuning parameters
M Serafini, A Bondavalli, N Suri
IEEE Transactions on Dependable and Secure Computing 4 (4), 295-312, 2007
452007
DEEM: a tool for the dependability modeling and evaluation of multiple phased systems
A Bondavalli, I Mura, S Chiaradonna, R Filippini, S Poli, F Sandrini
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
452000
Optimal discrimination between transient and permanent faults
M Pizza, L Strigini, A Bondavalli, F Di Giandomenico
Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998
451998
Discriminating fault rate and persistency to improve fault treatment
A Bondavalli, S Chiaradonna, F Di Giandomenico, F Grandoni
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997
431997
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20