Alberto Ferrari
Alberto Ferrari
UTC
Verified email at ales.eu.com
Title
Cited by
Cited by
Year
System design: Traditional concepts and new paradigms
A Ferrari, A Sangiovanni-Vincentelli
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999
2341999
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
2292007
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
1912003
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
1522003
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
1041999
Automatic implementation of piecewise-linear fuzzy systems addressing memory-performance trade-off
R Rovatti, A Ferrari, M Borgatti
Fuzzy hardware, 159-179, 1998
811998
Measurement of the azimuthal anisotropy of charged particles produced in s NN = 5.02 TeV Pb+Pb …
M Aaboud, G Aad, B Abbott, B Abeloos, DK Abhayasinghe, SH Abidi, ...
The European Physical Journal C 78 (12), 1-35, 2018
652018
Ariadne: a framework for reachability analysis of hybrid automata
A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ...
In: Proceedings of the International Syposium on Mathematical Theory of …, 2006
642006
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
592014
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
572008
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
552008
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
502005
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
462005
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
452019
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
452009
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
432009
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
412002
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
402008
Design and Implementation of a Dual Processor Platform for Powertrain Systems
A Ferrari, S Garue, M Peri, S Pezzini, L Valsecchi, F Andretta, W Nesci
SAE Technical Paper, 2000
342000
A flexible scheme for scheduling fault-tolerant real-time tasks on multiprocessors
M Cirinei, E Bini, G Lipari, A Ferrari
2007 IEEE International Parallel and Distributed Processing Symposium, 1-8, 2007
312007
The system can't perform the operation now. Try again later.
Articles 1–20