Folgen
andrea bondavalli
andrea bondavalli
Professor of computer science, University of Firenze
Bestätigte E-Mail-Adresse bei unifi.it
Titel
Zitiert von
Zitiert von
Jahr
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
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
1862000
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
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
1842001
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
1701999
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
1402004
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
1181990
Stochastic dependability analysis of system architecture based on UML models
I Majzik, A Pataricza, A Bondavalli
Architecting dependable systems, 219-244, 2007
1022007
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
821999
Automated dependability analysis of UML designs
A Bondavalli, I Majzik, I Mura
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999
821999
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
Cyber-physical systems of systems: foundations–a conceptual model and some derivations: the AMADEOS legacy
A Bondavalli, S Bouchenak, H Kopetz
Springer, 2016
742016
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
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
702019
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
682006
Unsupervised algorithms to detect zero-day attacks: Strategy and application
T Zoppi, A Ceccarelli, A Bondavalli
Ieee Access 9, 90603-90615, 2021
642021
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
612018
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
602014
Unsupervised anomaly detectors to detect intrusions in the current threat landscape
T Zoppi, A Ceccarelli, T Capecchi, A Bondavalli
ACM/IMS Transactions on Data Science 2 (2), 1-26, 2021
582021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20