| Multiple viewpoint contract-based specification and design A Benveniste, B Caillaud, A Ferrari, L Mangeruca, R Passerone, ... International Symposium on Formal Methods for Components and Objects, 200-225, 2007 | 276 | 2007 |
| System design: Traditional concepts and new paradigms A Ferrari, A Sangiovanni-Vincentelli Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999 | 245 | 1999 |
| Fault-tolerant platforms for automotive safety-critical applications M Baleani, A Ferrari, L Mangeruca, A Sangiovanni-Vincentelli, M Peri, ... Proceedings of the 2003 international conference on Compilers, architecture …, 2003 | 227 | 2003 |
| A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform P Gai, M Di Natale, G Lipari, A Ferrari, C Gabellini, P Marceca The 9th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2003 | 152 | 2003 |
| Leukocytosis and thrombosis in essential thrombocythemia and polycythemia vera: a systematic review and meta-analysis A Carobbio, A Ferrari, A Masciulli, A Ghirardi, G Barosi, T Barbui Blood advances 3 (11), 1729-1737, 2019 | 139 | 2019 |
| Measurement of the azimuthal anisotropy of charged particles produced in = 5.02 TeV Pb+Pb collisions with the ATLAS detector M Aaboud, G Aad, B Abbott, O Abdinov, B Abeloos, DK Abhayasinghe, ... The European Physical Journal C 78, 1-35, 2018 | 129 | 2018 |
| Modeling digital substrate noise injection in mixed-signal IC's E Charbon, P Miliozzi, LP Carloni, A Ferrari, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1999 | 98 | 1999 |
| Automatic implementation of piecewise-linear fuzzy systems addressing memory-performance trade-off R Rovatti, A Ferrari, M Borgatti Fuzzy hardware: architectures and applications, 159-179, 1998 | 83 | 1998 |
| Assume–guarantee verification of nonlinear hybrid systems with Ariadne L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014 | 82 | 2014 |
| Ariadne: a framework for reachability analysis of hybrid automata A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ... MTNS 2006, 17th International Symposium on Mathematical Theory of Networks …, 2006 | 79 | 2006 |
| A contract-based formalism for the specification of heterogeneous systems L Benvenuti, A Ferrari, L Mangeruca, E Mazzi, R Passerone, C Sofronis 2008 Forum on Specification, Verification and Design Languages, 142-147, 2008 | 63 | 2008 |
| Contract-based design for computation and verification of a closed-loop hybrid system L Benvenuti, A Ferrari, E Mazzi, ALS Vincentelli International Workshop on Hybrid Systems: Computation and Control, 58-71, 2008 | 63 | 2008 |
| Ruxolitinib for the prevention of thrombosis in polycythemia vera: a systematic review and meta-analysis A Masciulli, A Ferrari, A Carobbio, A Ghirardi, T Barbui Blood advances 4 (2), 380-386, 2020 | 55 | 2020 |
| Correct-by-construction transformations across design environments for model-based embedded software development M Baleani, A Ferrari, L Mangeruca, AL Sangiovanni-Vincentelli, U Freund, ... Design, Automation and Test in Europe, 1044-1049, 2005 | 53 | 2005 |
| Reachability computation for hybrid systems with Ariadne L Benvenuti, D Bresolin, A Casagrande, P Collins, A Ferrari, E Mazzi, ... IFAC Proceedings Volumes 41 (2), 8960-8965, 2008 | 49 | 2008 |
| Metamodels in Europe: Languages, tools, and applications R Passerone, IB Hafaiedh, S Graf, A Benveniste, D Cancila, A Cuccuru, ... IEEE Design & Test of Computers 26 (3), 38-53, 2009 | 48 | 2009 |
| Time and memory tradeoffs in the implementation of AUTOSAR components A Ferrari, M Di Natale, G Gentile, G Reggiani, P Gai 2009 Design, Automation & Test in Europe Conference & Exhibition, 864-869, 2009 | 47 | 2009 |
| Efficient embedded software design with synchronous models M Baleani, A Ferrari, L Mangeruca, A Sangiovanni-Vincentelli Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 46 | 2005 |
| Automotive virtual integration platforms: why's, what's, and how's P Giusto, A Ferrari, L Lavagno, JY Brunel, E Fourgeau, ... Proceedings. IEEE International Conference on Computer Design: VLSI in …, 2002 | 44 | 2002 |
| Clinical outcomes under hydroxyurea treatment in polycythemia vera: a systematic review and meta-analysis A Ferrari, A Carobbio, A Masciulli, A Ghirardi, G Finazzi, V De Stefano, ... Haematologica 104 (12), 2391, 2019 | 37 | 2019 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
