andrea bondavalli
andrea bondavalli
Professor of computer science, University of Firenze
Verified email at unifi.it
Title
Cited by
Cited by
Year
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
1762000
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
1752001
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
1662000
Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability
I Mura, A Bondavalli
IEEE Computer Architecture Letters 50 (12), 1337-1351, 2001
1612001
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
1601999
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
1242004
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
1021990
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2003
952003
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
801999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 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
721999
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
672005
Hierarchical modeling and evaluation of phased-mission systems
I Mura, A Bondavalli
IEEE Transactions on Reliability 48 (4), 360-368, 1999
641999
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
2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), 245-256, 2006
632006
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
552004
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
532002
Continuous and transparent user identity verification for secure internet services
A Ceccarelli, L Montecchi, F Brancati, P Lollini, A Marguglio, A Bondavalli
IEEE Transactions on Dependable and Secure Computing 12 (3), 270-283, 2014
502014
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
501998
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
482007
Flexible spatial models for grouping local image features
G Carneiro, AD Jepson
Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision …, 2004
482004
The system can't perform the operation now. Try again later.
Articles 1–20