Massimiliano Chiodo

	2002
11		Massimiliano Chiodo: Optimization and synthesis for complex reactive embedded systems by incremental collapsing. CODES 2002: 115-120
	1999
10		Felice Balarin, Massimiliano Chiodo: Software Synthesis for Complex Reactive Embedded Systems. ICCD 1999: 634-639
9		Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
	1998
8		Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Design Autom. for Emb. Sys. 3(2-3): 149-161 (1998)
	1997
7		Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli: Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES 1997: 95-100
6		Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC 1997: 389-394
	1996
5		Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli: A case study in computer-aided co-design of embedded controllers. Design Autom. for Emb. Sys. 1(1-2): 51-67 (1996)
	1995
4		Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
	1994
3		Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki: A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224
	1992
2		Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic Reduction in CTL Compositional Model Checking. CAV 1992: 234-247
1		Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Automatic compositional minimization in CTL model checking. ICCAD 1992: 172-178

Coauthor Index

1	Felice Balarin	[7] [9] [10]
2	Robert K. Brayton	[1] [2]
3	Stefano Cardelli	[8]
4	Daniel Engels	[5]
5	Paolo Giusto	[3] [4] [5] [8] [9]
6	Harry Hsieh	[3] [4] [5] [9]
7	Attila Jurecska	[3] [4] [5] [7] [8] [9]
8	Luciano Lavagno	[3] [4] [5] [6] [7] [8] [9]
9	Claudio Passerone	[6]
10	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3] [4] [5] [6] [7] [8] [9]
11	Claudio Sansoè	[8]
12	Ellen Sentovich (Ellen M. Sentovich)	[4] [9]
13	Thomas R. Shiple	[1] [2]
14	Kei Suzuki	[3] [4] [5] [9]
15	Bassam Tabbara	[7]
16	S. Yee	[3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page