Concepedia
Statistics
Publications
97
Citations
2.8K
H-Index
31
Active since
1990
Affiliations
University of Florence(Current)
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
ResilTech (Italy)
University of Pisa
Parthenope University of Naples
Andrea Bondavalli is an author at University of Florence specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceReliability EngineeringSoftware EngineeringComputer EngineeringSystem SoftwareSoftware AnalysisFormal VerificationSoftware Testing
Publications per year
1990–2023
Markov regenerative stochastic petri nets to model and evaluate phased mission systems dependability
Iván Mura, Andrea Bondavalli · IEEE Transactions on Computers · 2001 · 134 citations
Petri Net, Engineering, Modeling Methodology +17
Threshold-based mechanisms to discriminate transient from intermittent faults
Andrea Bondavalli, Silvano Chiaradonna, Félicita Di Giandomenico et al. · IEEE Transactions on Computers · 2000 · 123 citations
Engineering, Software Analysis, Formal Verification +20
Dependability analysis in the early phases of UML-based system design
Andrea Bondavalli, Mario Dal Cin, Diego Latella et al. · Florence Research (University of Florence) · 2001 · 117 citations
Engineering, Software Engineering, Dependable System Architecture +22
The meaning and role of value in scheduling flexible real-time systems
Alan Burns, D. Prasad, Andrea Bondavalli et al. · Journal of Systems Architecture · 2000 · 113 citations
Real-time System, Engineering, Real-time Algorithm +10
GUARDS: a generic upgradable architecture for real-time dependable systems
David Powell, Jean Arlat, L. Beus-Dukic et al. · IEEE Transactions on Parallel and Distributed Systems · 1999 · 93 citations
Engineering, Computer Architecture, Software Engineering +20
1–5 of 97