Alberto Ferrari

Cytowane przez

	Wszystkie	Od 2020
Cytowania	2427	452
h-indeks	23	12
i10-indeks	45	15

160

120

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 5 33 38 45 50 63 77 66 72 75 137 139 113 105 127 155 130 116 132 137 106 73 86 78 111 91 12

Dostęp publiczny

Wyświetl wszystko

4 artykuły

6 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Luca BenvenutiSapienza Università di RomaZweryfikowany adres z uniroma1.it
Orlando FerranteCollins Aerospace Applied Research & TechonologyZweryfikowany adres z collins.com
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoZweryfikowany adres z unitn.it
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaZweryfikowany adres z sssup.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaZweryfikowany adres z univr.it
Paolo GaiEvidence SrlZweryfikowany adres z evidence.eu.com
Davide BresolinUniversità di PadovaZweryfikowany adres z unipd.it
Giuseppe LipariFull professor, University of LilleZweryfikowany adres z univ-lille.fr
Alberto CasagrandeUniversità di UdineZweryfikowany adres z units.it
Benoît CaillaudINRIA / IRISA / U. RennesZweryfikowany adres z inria.fr
Riccardo RovattiProfessor of Electronics, University of BolognaZweryfikowany adres z unibo.it
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLZweryfikowany adres z epfl.ch
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityZweryfikowany adres z cs.columbia.edu
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyZweryfikowany adres z univaq.it
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagZweryfikowany adres z imag.fr
Fortunato SantucciUniversity of L'Aquila - Dept. DISIM and Centre of Excellence Ex-EMERGEZweryfikowany adres z univaq.it
Enrico BiniAssociate Professor, University of Turin, ItalyZweryfikowany adres z di.unito.it
Luigi PalopoliFull Professor, University of TrentoZweryfikowany adres z unitn.it
Martin TörngrenProfessor in Embedded Control Systems, KTH, SwedenZweryfikowany adres z kth.se

Obserwuj

Alberto Ferrari

UTC

Zweryfikowany adres z ales.eu.com


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	279	2007
System design: Traditional concepts and new paradigms A Ferrari, A Sangiovanni-Vincentelli Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999	246	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	230	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	156	2003
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
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	85	2014
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
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	78	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	64	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
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	52	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	51	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	45	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
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	34	2000
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	33	2007
Parallel NuSMV: a NuSMV extension for the verification of complex embedded systems O Ferrante, L Benvenuti, L Mangeruca, C Sofronis, A Ferrari Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012	29	2012
Electronic system for detecting a fault M Baleani, M Losi, A Ferrari, L Mangeruca US Patent 8,127,180, 2012	25	2012

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy