×

zbMATH — the first resource for mathematics

Ferrari, Alberto

Compute Distance To:
Author ID: ferrari.alberto Recent zbMATH articles by "Ferrari, Alberto"
Published as: Ferrari, A.; Ferrari, Alberto
Homepage: https://embedded.eecs.berkeley.edu/people/directory/aferrari
Documents Indexed: 8 Publications since 2000

Publications by Year

Citations contained in zbMATH

5 Publications have been cited 15 times in 14 Documents Cited by Year
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
8
2008
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
4
2014
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
1
2012
Contract-based design for computation and verification of a closed-loop hybrid system. Zbl 1144.93313
Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni
1
2008
Hybrid systems in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L.
1
2006
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
4
2014
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271
Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
1
2012
Multiple viewpoint contract-based specification and design. Zbl 1209.68120
Benveniste, Albert; Caillaud, Benoît; Ferrari, Alberto; Mangeruca, Leonardo; Passerone, Roberto; Sofronis, Christos
8
2008
Contract-based design for computation and verification of a closed-loop hybrid system. Zbl 1144.93313
Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni
1
2008
Hybrid systems in automotive electronics design. Zbl 1113.93080
Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L.
1
2006

Citations by Year