Luca P. Carloni

	2009
51		Francesco Leonardi, Alessandro Pinto, Luca P. Carloni: A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011
50		Rebecca L. Collins, Luca P. Carloni: Flexible filters: load balancing through backpressure for stream programs. EMSOFT 2009: 205-214
49		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)
48		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
47		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
46		Nicola Concer, Michele Petracca, Luca P. Carloni: Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220
45		Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40
44		Michele Petracca, Keren Bergman, Luca P. Carloni: Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792
43		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)
42		Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: COSI: A Framework for the Design of Interconnection Networks. IEEE Design & Test of Computers 25(5): 402-415 (2008)
41		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		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		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		Assaf Shacham, Keren Bergman, Luca P. Carloni: The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135
37		Rebecca L. Collins, Luca P. Carloni: Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC 2007: 410-415
36		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		Cheng-Hong Li, Luca P. Carloni: Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD 2007: 32-39
34		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		Assaf Shacham, Keren Bergman, Luca P. Carloni: On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64
	2006
32		Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107
31		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		Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506
29		Luca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Electr. Notes Theor. Comput. Sci. 146(2): 61-80 (2006)
28		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		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		Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006)
	2005
25		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		Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263
23		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		Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414
20		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		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		Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76
17		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		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		Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150
14		Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52
	2002
13		Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788
12		Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002)
	2001
11		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		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		Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367
8		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		Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133
6		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		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		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		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] [43]
2	Keren Bergman	[33] [38] [41] [44] [45]
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] [43]
7	Paul Caspi	[16] [17] [19] [31] [43]
8	Edoardo Charbon	[4] [11]
9	Rebecca L. Collins	[34] [37] [40] [50]
10	Nicola Concer	[46]
11	Alberto Ferrari	[4]
12	Eugene Goldberg (Evguenii I. Goldberg)	[1] [5] [8]
13	Carlo Guardiani	[11]
14	Andrew B. Kahng	[47]
15	Benjamin G. Lee	[45]
16	Francesco Leonardi	[51]
17	Cheng-Hong Li	[34] [35] [49]
18	Patrick C. McGeer	[2]
19	Kenneth L. McMillan	[6] [7] [10]
20	Paolo Miliozzi	[4] [11]
21	Swamy Muddu	[47]
22	Andrea Neviani	[11]
23	Arlindo L. Oliveira	[3]
24	Roberto Passerone	[23] [27] [30]
25	Michele Petracca	[44] [45] [46]
26	Claudio Pinello	[20] [39]
27	Alessandro Pinto	[13] [15] [23] [27] [30] [36] [42] [47] [48] [51]
28	Alexander Saldanha	[2] [6]
29	Kambiz Samadi	[47]
30	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] [43] [48]
31	Marco Sgroi	[21] [22]
32	Assaf Shacham	[33] [38] [41]
33	Puneet Sharma	[47]
34	Sampada Sonalkar	[34]
35	Stavros Tripakis	[31]
36	Tiziano Villa	[1] [3] [5] [8]
37	Stefano Zanella	[11]
38	Enrico Zanoni	[11]

Colors in the list of coauthors