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
1952001
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
1872001
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
1822000
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
1812000
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
1721999
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
1392004
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
1052007
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
921999
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
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
782005
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
751999
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
642016
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
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
572014
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
552019
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
Systems‐of‐systems modeling using a comprehensive viewpoint‐based SysML profile
M Mori, A Ceccarelli, P Lollini, B Frömel, F Brancati, A Bondavalli
Journal of Software: Evolution and Process 30 (3), e1878, 2018
522018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20