Publications
Livres et ouvrages collectifs (2009)
Abed S et Ait Mohamed O (2009). The Verification of MDG Algorithms in the HOL Theorem Prover, LAP Lamber Academic Publishing
Aboulhamid EM et Rousseau F (2009). System Level Design with .NET Technology, CRC Press, 335 p
Ait Mohamed O, Abdelmalek A et El Berichi Z (2009). Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applictions, CIIA
Anane A, Aboulhamid EM, Vachon J et Savaria Y (2009). "Using Transaction-based Models for System Design and Simulation", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 121-157
Colombo M, Wirth GI, Bampi S et Fayomi CJB (2009). "Bandgap Reference Voltage", dans Ricardo Reis, Advances Topics on VLSI Design
Dubois M, Rousseau F et Aboulhamid EM (2009). "An Introduction to Cosimulation and Compilation Methods", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 181-208
Fontaine R (2009). "Design Considerations for Positron Emission Tomography (PET) Scanner Dedicated to Small Animal Imaging", Electronics Circuits for Radiation Detection
Lakhssassi A et Bougataya M (2009). "VLSI Thermal Analysis and Monitoring", Vienna In-Tech, Kirchengasse
Lapalme J, Aboulhamid EM et Nicolescu EG (2009). "The Semantic Web Applied to IP-Based Design: A Discussion on IPXACT ", dans Chapman & Hill, System Level Design with .NET Technology, p. 57-91
Metzger M, Anane F, Rousseau F, Vachon J et Aboulhamid EM (2009). "Introspection mechanisms for runtime verification in a system-level design environment", Microelectronics Journal, Elsevier, p. 1124-1134
Nicolescu EG et Mosterman P (2009). "Model-Based Design for Heterogeneous Systems", CRC Presswith Editor
Tsang T, Lin K et El-Gamal M (2009). "Low Power UWB Circuits Front-end Bulding Blocks", dans A Tasic et al, Springer, Circuits and Systems for Future Generatins of Wireless Communications, p. 53-83
Tsikhanovich A, Aboulhamid EM et Bois G (2009). "Timing Specification in Transacton Level Models", dans E.M. Aboulhamid, F. Rousseau Chapman & Hill, System Level Design with .NET Technology, p. 209-244
Zebdi M, Massicotte D et Fayomi CJB (2009). "Multi-Block CMOS LNA Design for UWB WLAN Transform-Domain Receiver Loss of Orthogonality", Microwave and Millimeter Wave Technologies