Concepedia

Andrea Bondavalli

AB

97

Publications

2.8K

Citations

31

H-Index

1990

Active since

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

97

Publications

97

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

Rows per page

1–5 of 97