Alberto Ferrari

Cituota

	Visi	Nuo 2019
Šaltiniai	2413	543
h-rodyklė	23	13
i10-rodyklė	45	16

160

120

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 5 33 39 45 49 63 78 69 71 77 134 140 113 103 125 157 128 115 132 139 109 76 85 77 115 80

Viešas pasiekiamumas

Peržiūrėti viską

4 straipsniai

6 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyPatvirtintas el. paštas eecs.berkeley.edu
Luca BenvenutiSapienza Università di RomaPatvirtintas el. paštas uniroma1.it
Orlando FerranteCollins Aerospace Applied Research & TechonologyPatvirtintas el. paštas collins.com
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoPatvirtintas el. paštas unitn.it
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaPatvirtintas el. paštas sssup.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaPatvirtintas el. paštas univr.it
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityPatvirtintas el. paštas maastrichtuniversity.nl
Paolo GaiEvidence SrlPatvirtintas el. paštas evidence.eu.com
Davide BresolinUniversità di PadovaPatvirtintas el. paštas unipd.it
Giuseppe LipariFull professor, University of LillePatvirtintas el. paštas univ-lille.fr
Alberto CasagrandeUniversità di UdinePatvirtintas el. paštas units.it
Benoît CaillaudINRIA / IRISA / U. RennesPatvirtintas el. paštas inria.fr
Riccardo RovattiProfessor of Electronics, University of BolognaPatvirtintas el. paštas unibo.it
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLPatvirtintas el. paštas epfl.ch
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityPatvirtintas el. paštas cs.columbia.edu
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyPatvirtintas el. paštas univaq.it
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagPatvirtintas el. paštas imag.fr
Fortunato SantucciUniversity of L'Aquila - Dept. DISIM and Centre of Excellence Ex-EMERGEPatvirtintas el. paštas univaq.it
Enrico BiniAssociate Professor, University of Turin, ItalyPatvirtintas el. paštas di.unito.it
Luigi PalopoliFull Professor, University of TrentoPatvirtintas el. paštas unitn.it

Stebėti

Alberto Ferrari

UTC

Patvirtintas el. paštas ales.eu.com


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	277	2007
System design: Traditional concepts and new paradigms A Ferrari, A Sangiovanni-Vincentelli Proceedings 1999 IEEE International Conference on Computer Design: VLSI in …, 1999	243	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	229	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	157	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	99	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	87	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	82	2006
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	64	2008
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
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
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	49	2009
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
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai