Michel Langevin

	2010
23		Youcef Bouchebaba, Pierre G. Paulin, A. E. Ozcan, Bruno Lavigueur, Michel Langevin, Olivier Benny, Gabriela Nicolescu: MpAssign: A framework for solving the many-core platform mapping problem. International Symposium on Rapid System Prototyping 2010: 1-7
22		Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin: Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. International Symposium on Rapid System Prototyping 2010: 1-9
21		Sébastien Le Beux, Guy Bois, Gabriela Nicolescu, Youcef Bouchebaba, Michel Langevin, Pierre G. Paulin: Combining mapping and partitioning exploration for NoC-based embedded systems. Journal of Systems Architecture - Embedded Systems Design 56(7): 223-232 (2010)
	2006
20		Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Olivier Benny, Damien Lyonnard, Bruno Lavigueur, David Lo: Distributed object models for multi-processor SoC's, with application to low-power multimedia wireless systems. DATE 2006: 482-487
19		Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Damien Lyonnard, Olivier Benny, Bruno Lavigueur, David Lo, Giovanni Beltrame, V. Gagne, Gabriela Nicolescu: Parallel programming models for a multiprocessor SoC platform applied to networking and multimedia. IEEE Trans. VLSI Syst. 14(7): 667-680 (2006)
	2004
18		Pierre G. Paulin, Chuck Pilkington, Michel Langevin, Essaid Bensoudane, Gabriela Nicolescu: Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management. CODES+ISSS 2004: 48-53
17		Pierre G. Paulin, Chuck Pilkington, Essaid Bensoudane, Michel Langevin, Damien Lyonnard: Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding. DATE 2004: 58-63
	1999
16		Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed: Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 956-972 (1999)
	1997
15		Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. Formal Hardware Verification 1997: 79-113
14		Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny: Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design 10(1): 7-46 (1997)
	1996
13		K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou: MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436
12		Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin: Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. FMCAD 1996: 233-247
11		Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin: Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. Great Lakes Symposium on VLSI 1996: 106-111
10		Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny: Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. ICCD 1996: 20-26
9		Michel Langevin, Eduard Cerny: A recursive technique for computing lower-bound performance of schedules. ACM Trans. Design Autom. Electr. Syst. 1(4): 443-455 (1996)
	1995
8		Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song: State enumeration with abstract descriptions of state machines. CHARME 1995: 146-160
7		Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin: Partitioning transition relations efficiently and automatically. Great Lakes Symposium on VLSI 1995: 106-111
6		Paul-Gerhard Plöger, Jörg Wilberg, Michel Langevin, Raul Camposano: WWW based structuring of codesigns. ISSS 1995: 138-143
	1994
5		Michel Langevin, Eduard Cerny, Jörg Wilberg, Heinrich Theodor Vierhaus: Local microcode generation in system design. Code Generation for Embedded Processors 1994: 171-187
4		Michel Langevin, Eduard Cerny: An Extended OBDD Representation for Extended FSMs. EDAC-ETC-EUROASIC 1994: 208-213
	1993
3		Michel Langevin, Eduard Cerny: A Recursive Technique for Computing Lower-Bound Performance of Schedules. ICCD 1993: 16-20
	1991
2		Michel Langevin, Eduard Cerny: Comparing Generic State Machines. CAV 1991: 466-476
	1990
1		Michel Langevin: Automated RTL Verification Based on Predicate Calculus. CAV 1990: 116-125

Coauthor Index

1	El Mostapha Aboulhamid	[22]
2	K. D. Anon	[13]
3	Giovanni Beltrame	[19]
4	Olivier Benny	[19] [20] [23]
5	Essaid Bensoudane	[17] [18] [19] [20]
6	Sébastien Le Beux	[21]
7	Guy Bois	[21]
8	Youcef Bouchebaba	[21] [22] [23]
9	N. Boulerice	[13]
10	Raul Camposano	[6]
11	Eduard Cerny	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
12	Francisco Corella	[7] [8] [12] [13] [14] [15]
13	V. Gagne	[19]
14	Bruno Girodias	[22]
15	Luiza Gheorghe Iugan (Luiza Gheorghe)	[22]
16	Bruno Lavigueur	[19] [20] [23]
17	David Lo	[19] [20]
18	Damien Lyonnard	[17] [19] [20]
19	Otmane Aït Mohamed	[16]
20	Gabriela Nicolescu	[18] [19] [21] [22] [23]
21	A. E. Ozcan	[23]
22	Pierre G. Paulin	[17] [18] [19] [20] [21] [22] [23]
23	Chuck Pilkington	[17] [18] [19] [20]
24	Paul-Gerhard Plöger	[6]
25	Xiaoyu Song	[7] [8] [10] [11] [12] [13] [14] [15] [16]
26	Sofiène Tahar	[10] [11] [12] [13] [15] [16]
27	Heinrich Theodor Vierhaus	[5]
28	Jörg Wilberg	[5] [6]
29	Ying Xu	[13]
30	Zijian Zhou	[7] [8] [10] [11] [12] [13] [14] [15] [16]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page