Luca P. Carloni

2009
48	EE	Cheng-Hong Li, Luca P. Carloni: Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip. IEEE Trans. on CAD of Integrated Circuits and Systems 28(2): 165-178 (2009)
47	EE	Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 364-377 (2009)
2008
46	EE	Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma: Interconnect modeling for improved system-level design optimization. ASP-DAC 2008: 258-264
45	EE	Nicola Concer, Michele Petracca, Luca P. Carloni: Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220
44	EE	Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40
43	EE	Michele Petracca, Keren Bergman, Luca P. Carloni: Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792
42	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
41	EE	Assaf Shacham, Keren Bergman, Luca P. Carloni: Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. IEEE Trans. Computers 57(9): 1246-1260 (2008)
40	EE	Rebecca L. Collins, Luca P. Carloni: Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 27(12): 2277-2290 (2008)
39	EE	Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 906-919 (2008)
2007
38	EE	Assaf Shacham, Keren Bergman, Luca P. Carloni: The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135
37	EE	Rebecca L. Collins, Luca P. Carloni: Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC 2007: 410-415
36	EE	Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29
35	EE	Cheng-Hong Li, Luca P. Carloni: Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD 2007: 32-39
34	EE	Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni: Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. MEMOCODE 2007: 13-22
33	EE	Assaf Shacham, Keren Bergman, Luca P. Carloni: On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64
2006
32	EE	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107
31	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160
30	EE	Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
29	EE	Luca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Electr. Notes Theor. Comput. Sci. 146(2): 61-80 (2006)
28	EE	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods in System Design 28(2): 93-110 (2006)
27	EE	Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation 1(1/2): (2006)
26	EE	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006)
2005
25	EE	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186
24	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
23	EE	Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541
22		Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi: Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15
2004
21	EE	Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414
20	EE	Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169
19	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229
2003
18	EE	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76
17	EE	Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
16	EE	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16
15	EE	Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150
14	EE	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52
2002
13	EE	Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788
12	EE	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002)
2001
11	EE	Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-
10	EE	Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1059-1076 (2001)
2000
9	EE	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367
8	EE	Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)
1999
7	EE	Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133
6	EE	Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315
5		Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361
4	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)
1998
3		Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998)
1997
2	EE	Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588
1	EE	Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98

Coauthor Index

1	Albert Benveniste	[16] [17] [19] [24] [31] [42]
2	Keren Bergman	[33] [38] [41] [43] [44]
3	Fernando De Bernardinis	[21] [22]
4	Alvise Bonivento	[25] [26] [32]
5	Robert K. Brayton	[1] [5] [8]
6	Benoît Caillaud	[16] [19] [24] [31] [42]
7	Paul Caspi	[16] [17] [19] [31] [42]
8	Edoardo Charbon	[4] [11]
9	Rebecca L. Collins	[34] [37] [40]
10	Nicola Concer	[45]
11	Alberto Ferrari	[4]
12	Eugene Goldberg (Evguenii I. Goldberg)	[1] [5] [8]
13	Carlo Guardiani	[11]
14	Andrew B. Kahng	[46]
15	Benjamin G. Lee	[44]
16	Cheng-Hong Li	[34] [35] [48]
17	Patrick C. McGeer	[2]
18	Kenneth L. McMillan	[6] [7] [10]
19	Paolo Miliozzi	[4] [11]
20	Swamy Muddu	[46]
21	Andrea Neviani	[11]
22	Arlindo L. Oliveira	[3]
23	Roberto Passerone	[23] [27] [30]
24	Michele Petracca	[43] [44] [45]
25	Claudio Pinello	[20] [39]
26	Alessandro Pinto	[13] [15] [23] [27] [30] [36] [46] [47]
27	Alexander Saldanha	[2] [6]
28	Kambiz Samadi	[46]
29	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [36] [39] [42] [47]
30	Marco Sgroi	[21] [22]
31	Assaf Shacham	[33] [38] [41]
32	Puneet Sharma	[46]
33	Sampada Sonalkar	[34]
34	Stavros Tripakis	[31]
35	Tiziano Villa	[1] [3] [5] [8]
36	Stefano Zanella	[11]
37	Enrico Zanoni	[11]

Colors in the list of coauthors