Seguir
andrea bondavalli
andrea bondavalli
Professor of computer science, University of Firenze
Dirección de correo verificada de unifi.it
Título
Citado por
Citado por
Año
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
1962001
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
1852000
Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability
I Mura, A Bondavalli
IEEE Transactions on Computers 50 (12), 1337-1351, 2001
1832001
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
1832000
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
1731999
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
1382004
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
1171990
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2007
1042007
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
901999
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
802005
Hierarchical modeling and evaluation of phased-mission systems
I Mura, A Bondavalli
IEEE Transactions on Reliability 48 (4), 360-368, 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
801999
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
741999
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
692006
Cyber-physical systems of systems: foundations–a conceptual model and some derivations: the AMADEOS legacy
A Bondavalli, S Bouchenak, H Kopetz
Springer, 2016
662016
Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection
F Falcão, T Zoppi, CBV Silva, A Santos, B Fonseca, A Ceccarelli, ...
Proceedings of the 34th ACM/SIGAPP symposium on applied computing, 318-327, 2019
602019
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
592014
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
582004
Foundations of measurement theory applied to the evaluation of dependability attributes
A Bondavalli, A Ceccarelli, L Falai, M Vadursi
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
542007
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
542002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20