Alberto Ferrari

2008
23	EE	T. Forest, Alberto Ferrari, G. Audisio, M. Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale: Physical Architectures of Automotive Systems. DATE 2008: 391-395
22	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli: Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190
2004
13	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti: HW/SW Codesign of an Engine Management System. DATE 2000: 263-
4	EE	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	EE	Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13
2	EE	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	[23]
2	Massimo Baleani	[5] [8] [11] [14] [15] [17] [18]
3	Albert Benveniste	[20]
4	Luca Benvenuti	[21] [22]
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]
13	Mario Coppo	[1]
14	T. Forest	[23]
15	Eliane Fourgeau	[6] [7]
16	Valerio Frascolla	[8]
17	Ulrich Freund	[15]
18	Claudio Gabellini	[9]
19	Paolo Gai	[9]
20	Paolo Giusto	[6] [7] [12] [13]
21	Emanuele Guasto	[6]
22	Roberto Guerrieri	[4]
23	Luciano Lavagno	[6] [7] [12] [13]
24	Giuseppe Lipari	[9] [19]
25	Leonardo Mangeruca	[10] [11] [14] [15] [16] [17] [18] [20] [22]
26	Paolo Marceca	[9]
27	Emanuele Mazzi	[21] [22]
28	Paolo Miliozzi	[2]
29	Marco Di Natale	[9] [12] [13] [23]
30	Barry O'Rourke	[6]
31	Roberto Passerone	[20] [22]
32	Michele Pennese	[10]
33	Maurizio Peri	[11]
34	Saverio Pezzini	[11]
35	Andrea Pierantoni	[10]
36	M. Sabatini	[23]
37	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5] [6] [7] [8] [10] [11] [14] [15] [16] [17] [18] [21] [23]
38	Erhard Schlenker	[15]
39	Christos Sofronis	[20] [22]
40	Claudio Turchetti	[5]
41	Hans-Jörg Wolff	[15]

Colors in the list of coauthors