Alberto Ferrari

	2009
26		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
	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, M. 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-
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]
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	Luca P. Carloni	[2]
10	Edoardo Charbon	[2]
11	Michele Cirinei	[19]
12	Massimo Conti	[8] [23]
13	Mario Coppo	[1]
14	M. D'Angelo	[23]
15	T. Forest	[24]
16	Eliane Fourgeau	[6] [7]
17	Valerio Frascolla	[8]
18	Ulrich Freund	[15]
19	Claudio Gabellini	[9]
20	Paolo Gai	[9] [26]
21	Giacomo Gentile	[26]
22	Paolo Giusto	[6] [7] [12] [13]
23	Emanuele Guasto	[6]
24	Roberto Guerrieri	[4]
25	Luciano Lavagno	[6] [7] [12] [13]
26	Giuseppe Lipari	[9] [19]
27	Leonardo Mangeruca	[10] [11] [14] [15] [16] [17] [18] [20] [22]
28	Paolo Marceca	[9]
29	Emanuele Mazzi	[21] [22] [25]
30	A. Mignogna	[23]
31	Paolo Miliozzi	[2]
32	Marco Di Natale	[9] [12] [13] [24] [26]
33	Barry O'Rourke	[6]
34	Roberto Passerone	[20] [22]
35	Michele Pennese	[10]
36	Maurizio Peri	[11]
37	Saverio Pezzini	[11]
38	Andrea Pierantoni	[10]
39	Giovanni Reggiani	[26]
40	M. Sabatini	[24]
41	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5] [6] [7] [8] [10] [11] [14] [15] [16] [17] [18] [21] [24] [25]
42	Erhard Schlenker	[15]
43	Christos Sofronis	[20] [22]
44	Claudio Turchetti	[5]
45	Hans-Jörg Wolff	[15]

Colors in the list of coauthors