Edit Profile Ferrari, Alberto Compute Distance To: Compute Author ID: ferrari.alberto Published as: Ferrari, A.; Ferrari, Alberto Homepage: https://embedded.eecs.berkeley.edu/people/directory/aferrari Documents Indexed: 8 Publications since 2000 all top 5 Co-Authors 0 single-authored 4 Benvenuti, Luca 2 Bresolin, Davide 2 Collins, Peter J. 2 Geretti, Luca 2 Sangiovanni-Vincentelli, Alberto L. 2 Villa, Tiziano 1 Baleani, Massimo 1 Balluchi, Andrea 1 Benveniste, Albert 1 Borgatti, Michele 1 Caillaud, Benoît 1 Conti, Massimo 1 Frascolla, Valerio 1 Guerrieri, Roberto 1 Mangeruca, Leonardo 1 Mazzi, Emanuele 1 Passerone, Roberto 1 Sofronis, Christos 1 Vincentelli, A. L. Sangiovanni Serials 1 International Journal of Control 1 Pattern Recognition 1 International Journal of Robust and Nonlinear Control Fields 4 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) 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.68120Benveniste, 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.93121Benvenuti, 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.68271Benvenuti, 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.93313Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni 1 2008 Hybrid systems in automotive electronics design. Zbl 1113.93080Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L. 1 2006 Assume-guarantee verification of nonlinear hybrid systems with ARIADNE. Zbl 1284.93121Benvenuti, 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.68271Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano 1 2012 Multiple viewpoint contract-based specification and design. Zbl 1209.68120Benveniste, 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.93313Benvenuti, L.; Ferrari, Alberto; Mazzi, E.; Vincentelli, A. L. Sangiovanni 1 2008 Hybrid systems in automotive electronics design. Zbl 1113.93080Balluchi, A.; Benvenuti, L.; Ferrari, A.; Sangiovanni-Vincentelli, A. L. 1 2006 all top 5 Cited by 35 Authors 2 Bresolin, Davide 2 Cimatti, Alessandro 2 Geretti, Luca 2 Tonetta, Stefano 2 Villa, Tiziano 1 Bauer, Sebastian S. 1 Bernardeschi, Cinzia 1 Broy, Manfred 1 Caillaud, Benoît 1 Canham, Samuel 1 Cavalcanti, Ana 1 Collins, Peter J. 1 Delahaye, Benoît 1 Demasi, Ramiro 1 Domenici, Andrea 1 Fiorini, Paolo 1 Foster, Simon 1 Geyer, Tobias 1 Hennicker, Rolf 1 Knapp, Alexander 1 Legay, Axel 1 Leth, John 1 Malik, Avinash 1 Morari, Manfred 1 Muradore, Riccardo 1 Nyberg, Mattias 1 Roop, Partha S. 1 Roveri, Marco 1 Schroeder, Andreas 1 Torrisi, Fabio Danilo 1 Westman, Jonas 1 Wirsing, Martin 1 Wisniewski, Rafael 1 Woodcock, James C. P. 1 Zeyda, Frank all top 5 Cited in 9 Serials 4 Formal Methods in System Design 1 Acta Informatica 1 International Journal of Control 1 Information Processing Letters 1 Theoretical Computer Science 1 Information and Computation 1 International Journal of Applied Mathematics and Computer Science 1 The Journal of Logic and Algebraic Programming 1 Nonlinear Analysis. Hybrid Systems Cited in 4 Fields 12 Computer science (68-XX) 7 Systems theory; control (93-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year