Alberto Ferrari

	2010
30		Alberto Ferrari, Andrea Giovanni Cutti, Pietro Garofalo, Michele Raggi, Monique Heijboer, Angelo Cappello, Angelo Davalli: First in vivo assessment of "Outwalk": a novel protocol for clinical gait analysis based on inertial and magnetic sensors. Med. Biol. Engineering and Computing 48(1): 1-15 (2010)
29		Andrea Giovanni Cutti, Alberto Ferrari, Pietro Garofalo, Michele Raggi, Angelo Cappello, Adriano Ferrari: 'Outwalk': a protocol for clinical gait analysis based on inertial and magnetic sensors. Med. Biol. Engineering and Computing 48(1): 17-25 (2010)
	2009
28		Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai: Time and memory tradeoffs in the implementation of AUTOSAR components. DATE 2009: 864-869
27		Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli: Metamodels in Europe: Languages, Tools, and Applications. IEEE Design & Test of Computers 26(3): 38-53 (2009)
26		Pietro Garofalo, Andrea Giovanni Cutti, Maria Vittoria Filippi, Stefano Cavazza, Alberto Ferrari, Angelo Cappello, Angelo Davalli: Inter-operator reliability and prediction bands of a novel protocol to measure the coordinated movements of shoulder-girdle and humerus in clinical settings. Med. Biol. Engineering and Computing 47(5): 475-486 (2009)
	2008
25		Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Composing hybrid systems. CDC 2008: 4693-4699
24		T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
23		A. Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari: Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. DSD 2008: 839-843
22		Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis: A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147
21		Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli: Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC 2008: 58-71
	2007
20		Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis: Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225
19		Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari: A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. IPDPS 2007: 1-8
18		Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embedded Comput. Syst. 7(1): (2007)
17		Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33(8): 497-509 (2007)
	2006
16		Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166
	2005
15		Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff: Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049
14		Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190
	2004
13		Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno: SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE 2004: 358-363
12		Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto: SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities 2004: 150-162
	2003
11		Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini: Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177
10		Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese: System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE 2003: 20232-20237
9		Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca: A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. IEEE Real Time Technology and Applications Symposium 2003: 189-
	2002
8		Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli: An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL 2002: 677-686
7		Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD 2002: 370-378
6		Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto: Models of IP's for Automotive Virtual Integration Platforms. ICCD 2002: 379-
	2000
5		Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti: HW/SW Codesign of an Engine Management System. DATE 2000: 263-267
4		Alberto Ferrari, Michele Borgatti, Roberto Guerrieri: A complete system for NN classification based on a VLSI array processor. Pattern Recognition 33(12): 2083-2093 (2000)
	1999
3		Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13
2		Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. on CAD of Integrated Circuits and Systems 18(3): 301-310 (1999)
	1993
1		Mario Coppo, Alberto Ferrari: Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121(1&2): 113-143 (1993)

Coauthor Index

1	G. Audisio	[24]
2	Massimo Baleani	[5] [8] [11] [14] [15] [17] [18] [23]
3	Albert Benveniste	[20] [27]
4	Luca Benvenuti	[21] [22] [25]
5	Enrico Bini	[19]
6	Michele Borgatti	[4]
7	Jean-Yves Brunel	[6] [7] [13]
8	Benoît Caillaud	[20]
9	Daniela Cancila	[27]
10	Angelo Cappello	[26] [29] [30]
11	Luca P. Carloni	[2]
12	Stefano Cavazza	[26]
13	Edoardo Charbon	[2]
14	Michele Cirinei	[19]
15	Massimo Conti	[8] [23]
16	Mario Coppo	[1]
17	Arnaud Cuccuru	[27]
18	Andrea Giovanni Cutti	[26] [29] [30]
19	M. D'Angelo	[23]
20	Werner Damm	[27]
21	Angelo Davalli	[26] [30]
22	Adriano Ferrari	[29]
23	Maria Vittoria Filippi	[26]
24	T. Forest	[24]
25	Eliane Fourgeau	[6] [7]
26	Valerio Frascolla	[8]
27	Ulrich Freund	[15]
28	Claudio Gabellini	[9]
29	Paolo Gai	[9] [28]
30	Pietro Garofalo	[26] [29] [30]
31	Giacomo Gentile	[28]
32	Sébastien Gérard (Sebastien Gerard)	[27]
33	Paolo Giusto	[6] [7] [12] [13]
34	Susanne Graf	[27]
35	Emanuele Guasto	[6]
36	Roberto Guerrieri	[4]
37	Imene Ben Hafaiedh	[27]
38	Monique Heijboer	[30]
39	Bernhard Josko	[27]
40	Luciano Lavagno	[6] [7] [12] [13]
41	Giuseppe Lipari	[9] [19]
42	Leonardo Mangeruca	[10] [11] [14] [15] [16] [17] [18] [20] [22] [27]
43	Paolo Marceca	[9]
44	Emanuele Mazzi	[21] [22] [25]
45	A. Mignogna	[23]
46	Paolo Miliozzi	[2]
47	Marco Di Natale	[9] [12] [13] [24] [28]
48	Barry O'Rourke	[6]
49	Roberto Passerone	[20] [22] [27]
50	Thomas Peikenkamp	[27]
51	Michele Pennese	[10]
52	Maurizio Peri	[11]
53	Saverio Pezzini	[11]
54	Andrea Pierantoni	[10]
55	Michele Raggi	[29] [30]
56	Giovanni Reggiani	[28]
57	Marco Sabatini	[24]
58	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5] [6] [7] [8] [10] [11] [14] [15] [16] [17] [18] [21] [24] [25] [27]
59	Erhard Schlenker	[15]
60	Christos Sofronis	[20] [22]
61	François Terrier	[27]
62	Claudio Turchetti	[5]
63	Hans-Jörg Wolff	[15]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page