Alberto Ferrari

2007
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	Massimo Baleani	[5] [8] [11] [14] [15] [17] [18]
2	Enrico Bini	[19]
3	Michele Borgatti	[4]
4	Jean-Yves Brunel	[6] [7] [13]
5	Luca P. Carloni	[2]
6	Edoardo Charbon	[2]
7	Michele Cirinei	[19]
8	Massimo Conti	[8]
9	Mario Coppo	[1]
10	Eliane Fourgeau	[6] [7]
11	Valerio Frascolla	[8]
12	Ulrich Freund	[15]
13	Claudio Gabellini	[9]
14	Paolo Gai	[9]
15	Paolo Giusto	[6] [7] [12] [13]
16	Emanuele Guasto	[6]
17	Roberto Guerrieri	[4]
18	Luciano Lavagno	[6] [7] [12] [13]
19	Giuseppe Lipari	[9] [19]
20	Leonardo Mangeruca	[10] [11] [14] [15] [16] [17] [18]
21	Paolo Marceca	[9]
22	Paolo Miliozzi	[2]
23	Marco Di Natale	[9] [12] [13]
24	Barry O'Rourke	[6]
25	Michele Pennese	[10]
26	Maurizio Peri	[11]
27	Saverio Pezzini	[11]
28	Andrea Pierantoni	[10]
29	Alberto L. Sangiovanni-Vincentelli	[2] [3] [5] [6] [7] [8] [10] [11] [14] [15] [16] [17] [18]
30	Erhard Schlenker	[15]
31	Claudio Turchetti	[5]
32	Hans-Jörg Wolff	[15]

Colors in the list of coauthors