Publications
Actes de colloque (2010)
Shahriar H., Liamini M., Fréchette Luc, Vengallatore S.(2010)."Materials Development for an Energy Harvesting Microsystem Based on a Rankine Microturbine", dans In 2010 MRS Fall Meeting
Newby Pascal, Lysenko V., Bluet J.-M., Fréchette Luc, Aimez V.(2010)."Structural and Spectroscopic Characterization of Porous SiC Nanostructures", dans In 2010 Materials Research Society Spring Meeting
Chari T., Chien Y.-M., Guermoune A., Siaj M., Shih I.(2010)."Reduced Graphene Oxide Transparent Electrodes for Organic Light-Emitting Diodes", dans Proceedings of International Conference on Nanotechnology: Fundamentals and Applications (ICNFA2010)
Taghvaei M.A., Cicek Paul-Vahé, Allidina K., Nabki Frédéric, El-Gamal Mourad(2010)."A MEMS-based temperature-compensated vacuum sensor for low-power monolithic integration", dans IEEE International Symposium on Circuits and Systems (ISCAS'10),p. 3276-3279
Bouguezel Saad, Ahmad M Omair, Swamy Srikanta M. N.(2010)."Image encryption using the reciprocalorthogonal parametric transform", dans Proc. IEEE International Symposium on Circuits and Systems (ISCAS),p. 2542-2545
Roman Palenichka, Lakhssassi Ahmed, Zaremba Marek B.(2010)."Transformation-Invariant Extraction of Multi-Location Image Features From Remote Sensing Imagery", dans IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2010,p. 2471-2474
Kakumani Rajasekhar, Ahmad M Omair, Devabhaktuni Vijay(2010)."Comparative genomic analysis using statistically optimal null Filter", dans Proc. IEEE International Symposium on Circuits and Systems (ISCAS),p. 2235-2238
Convert L., Girard-Baril F., Boisselle V., Pratte Jean-François, Fontaine Réjean(2010)."Microfluidic Beta and Conversion Electron Radiation Detector for Preclinical Pharmacokinetic Studies with PET and SPECT Radiotracers", dans Nuclear Science Symposium C
Narayanan R., Zaki M., Akbarpour B., Tahar Sofiène, Paulson L.(2010)."Formal Verification of Analog/RF Circuits in the Presence of Noise and Process Variation", dans Proc. IEEE/ACM Design Automation and Test in Europe (DATE'10),p. 1309-1312
Zadeh G., Saha T., Allidina K., Nabki Frédéric, El-Gamal Mourad(2010)."Electronic temperature compensation of clamped-clamped beam MEMS resonators", dans 53rd IEEE Midwest Symposium on Circuits and Systems (MWSCAS'10),p. 1193-1196
Esmaeili S., Al-Khalili Asim, Cowan Glenn(2010)."Estimating the Required Driver Strength in the Resonant Clock Generator", dans IEEE APCCAS,p. 927-930
Roman Palenichka, Lakhssassi Ahmed, Zaremba Marek B.(2010)."Outlier-Resistant Dissimilarity Measure for Feature-Based Image Matching", dans International Conference on Pattern Recognition ICPR2010,p. 846-849
Zandi K., Wong B., Zou J., Kruzelecky R.V., Jamroz W.(2010)."In-Plane Silicon-On-Insulator Optical MEMS Accelerometer Using Waveguide Fabry-Perot Microcavity With Silicon/Air Bragg Mirrors", dans 23rd IEEE International Conference on Micro Electro Mechani
Samahi A., Boukadoum Mounir(2010)."Improved MPSoC Co-Design Methodology for Stream Oriented Processing Applications", dans proc. 17th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2010),p. 754-757
Bouguezel Saad, Ahmad M Omair, Swamy Srikanta M. N.(2010)."A novel transform for image compression", dans Proc2010 IEEE International Midwest Symposium on Circuits and Systems (2010 MWSCAS),p. 509-512
Dubois M., Boukadoum Mounir(2010)."Towards an automated framework for task scheduling", dans International Conference on Microelectronics (ICM 2010),p. 479-482
Hoque Khaza Anuarul, Ait Mohamed Otmane, Abed S., Boukadoum Mounir, (2010)."An Automated SAT Encoding-Verification Approach for Efficient Model Checking", dans IEEE International Conference on Microelectronics (ICM),p. 419-422
Hoque Khaza Anuarul, Ait Mohamed Otmane, Abde S., Boukadoum Mounir(2010)."An Automated SAT Encoding-Verification Approach for Efficient Model Checking", dans proc. International Conference on Microelectronics (ICM 2010),p. 419-422
Tabesh A., Fréchette Luc, Saadatpour M.(2010)."A phasor method for mechanical camping measurement of a piezoelectric bending beam energy harvester", dans In PowerMEMS 2010 - The 10th International Workshop on Micro and Nanotechnology for Power Generation
Zandi K., Zhao Y., Schneider J., Peter Yves-Alain(2010)."New Photoresist Coating Method For High Topography Surfaces", dans 23rd IEEE International Conference on Micro Electro Mechanical Systems,p. 392-395
Mhamdi T., Hasan O., Tahar Sofiène(2010)."On the Formalization of the Lebesgue Integration Theory in HOL", dans Interactive Theorem Proving (ITP'10),p. 387-402
Tannir Dany, Khazaka Roni(2010)."Single-tone moments based adjoint sensitivity analsysis of nonlinear intermodulation distortion in RF circuits", dans Proc Int'l Symp. Nonlinear Theory and its Applications NOLTA,p. 370-373
Esmaeili S., Al-Khalili Asim, Cowan Glenn(2010)."Dual-Edged Triggered Pulsed Energy Recovery Flip-Flops", dans IEEE NEWCAS 2010,p. 345-348
Patel J., Hasan O., Tahar Sofiène(2010)."On the Accurate Reliability Analysis of Combinational Circuits Using Theorem Proving", dans IEEE NEWCAS 2010,p. 273-276
Constantin N.G., El-Gamal Mourad(2010)."A Method for Estimating the IMD Performance Requirements of Circuit Blocks in the Error Signal Path of an Envelope Feedback Amplifier", dans 5th IEEE Radio and Wireless Symposium (RWS'10),p. 252-255
Diop Mamadou, Radji M., Andre W., Hamoui Anas, Blaquière Yves(2010)."Electrical characterization of annular Through Silicon Vias for a Reconfigurable Wafer-sized Circuit Board", dans Proc. 19th Conference on Electrical Performance of Electronic Packaging
Hoque Khaza Anuarul, Ait Mohamed Otmane, Abded S., Boukadoum Mounir(2010)."SAT Based Model Checking for MDG Models", dans NEWCAS 2010,p. 241-244
Deslandes Dominic, Boukadoum Mounir(2010)."Nonuniform Microstrip Lines Analysis Using Neural Networks", dans NEWCAS 2010,p. 221-224
Nouaouria N., Boukadoum Mounir(2010)."A Particle Swarm Optimization Approach for the Case Retrieval Stage in CBR", dans Proc. SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence,p. 209-222
Trabelsi Abdelhaziz, Boukadoum Mounir, M. Autre, Mostapha Autre(2010)."Blood glucose sensor implant using NIR spectroscopy: Preliminary design study", dans International Conference on Microelectronics (ICM 2010),p. 176-179
Trabelsi Abdelhaziz, Boukadoum Mounir, M. Autre(2010)."Blood glucose optical bio-implant: Preliminary design guidelines", dans Proc. BIOCAS 2010,p. 150-153
ElBakry Ola, Ahmad M Omair, Swamy Srikanta M. N.(2010)."Inference of gene regulatory networks from timeseries microarray data", dans Proc. 8th IEEE International NEWCAS Conference,p. 141-144
Khamsehashari Elham, Audet Yves(2010)."Digital Linearity Correction of a Wide Dynamic Range Current-Mode Image Sensor", dans IEEE Newcas 2010,p. 133-136
Dompierre A., Vengallatore S., Fréchette Luc(2010)."Compact model formulation and design guidelines for piezoelectric vibration energy harvesting with geometric and material considerations", dans In PowerMEMS 2010 - The 10th International Workshop on Micr
Nouaouria N., Boukadoum Mounir(2010)."Particle Swarm Classification for High Dimensional Data Sets", dans proc. International Conference on Tools with Artificial Intelligence (ICTAI 2010),p. 87-93
Omri M., Fréchette Luc(2010)."CFD analysis of three-dimensional flows in a low Reynolds number microturbine", dans In PowerMEMS 2010 - The 10th International Workshop on Micro and Nanotechnology for Power Generation and Energy Conversion Applications,p. 8
Abbasi N., Hasan O., Tahar Sofiène(2010)."Formal Lifetime Reliability Analysis Using Continuous Random Variables", dans Logic, Language, Information and Computation (WoLLIC'10),p. 84-97
Kessentini M., Sahraoui H., Boukadoum Mounir(2010)."Testing Sequence Diagram to Colored Petri Nets Transformation: An Immune System Metaphor", dans Proc. of International Conference on Computer Science and Software Engineering (CASCON2010),p. 72-85
Hoque Khaza Anuarul, Ait Mohamed Otmane, Abed S., Boukadoum Mounir, (2010)."SAT Based Model Checking for MDG Models", dans IEEE-Northeast Workshop on Circuits and Systems Conference (NEWCAS-2010),p. 17-20
Forouzandeh F. Fereydouni, Ait Mohamed Otmane, Sawan Mohamad, Awwad F.(2010)."Delay Calculation and Error Compensation in TBCD-TDM Communication Protocol for Wireless Body Sensor Networks", dans IEEE-Northeast Workshop on Circuits and Systems Conference (
Hamel S., Fréchette Luc(2010)."Critical Importance of Water Transport Towards the Anode in Miniature Air-Breathing Polymer Electrolyte Membrane Fuel Cells", dans In PowerMEMS 2010 - The 10th International Workshop on Micro and Nanotechnology for Power Gen
Kakumani Rajasekhar, Ahmad M Omair, Devabhaktuni Vijay(2010)."Prediction of secondary structure of RNAs with pseudoknots using matched filter", dans Proc. 8th IEEE International NEWCAS Conference,p. 9-12
Hasan O., Tahar Sofiène(2010)."Formal Probabilistic Analysis: The Higher-Order Logic Based Approach", dans Abstract State Machines, Alloy, B and Z (ABZ'10),p. 2-19
Hasan O., Sadani T., Ben Hassen J., Tahar Sofiène, (2010)."Performance Analysis of Real-Time Rewriting Models", dans Proc. IEEE International Conference on Computer Systems and Applications (AICCSA'10),p. 1-8
Kessentini M., Wimmer M., Sahraoui H., Boukadoum Mounir(2010)."Generating Transformation Rules from Examples for Behavioral Models", dans Proc. Behavioural Modelling - Foundations and Application (BM-FA 2010),p. 1-7
Lahmiri S., Boukadoum Mounir, S. Autre(2010)."Daily Stock Market Forecasting using Volume: A comparison of ANFIS and Time Delay Recurrent Neural Networks", dans Proc. International Conference on Intelligent Systems: Theory and Applications (SITA'10),p. 1-
Abdi Samar, Hwang Y., Yu L., Cho H., Viskic D., Gajski D.(2010)."Embedded System Environment: A Framework for TLM-Based Design and Prototyping," in IEEE
Le Beux S., Oconnor I., Nicolescu Eugenia Gabriela, Bois Guy, Paulin P.(2010)."A System Level Exploration Flow for Optical Network on Chip (ONoC) in 3D MPSoC", dans Proc. Of IEEE Inter. Symp. on Circuits and Systems (ISCAS 2010)
Cicek Paul-Vahé, Saha T., Waguih B., Nabki Frédéric, El-Gamal Mourad(2010)."Design of a low-cost MEMS monolithically-integrated relative humidity sensor", dans IEEE International Conference on Microelectronics (ICM)
Lemieux F., Viscogliosi N., Tétrault Marc-André, Lecomte Roger, Fontaine Réjean(2010)."A Calibration Process Improving Crystal Identification Rate in the LabPET' Phoswich Detectors", dans Proc. IEEE NSS/MIC2
Newby Pascal, Canut B., Gomes S., Termentzidis K., Marty O.(2010)."Effect of swift heavy ion irradiation on thermal conductivity of porous silicon", dans In IBMM 2010 - International Conference on Ion Beam Modification of Materials
Canut B., Newby Pascal, Lysenko V., Bluet J.-M., Marty O.(2010)."Defect creation in mesoporous silicon irradiated with swift heavy ions", dans In IBMM 2010 - International Conference on Ion Beam Modification of Materials
Arenas O., Collin L., Aimez V., Chow S., Valdivia C.E.(2010)."Comparative Thermal Analysis of Solar Cells Installed on Ceramic and Metallic Carriers under Multiple Concentration Conditions", dans In 35th IEEE Photovoltaic Specialists Conference
Berriah Oussama, Lakhssassi Ahmed, Bougataya Mohammed, Blaquière Yves, Savaria Yvon(2010)."Design and Tests of a Miniature Electronic Power Devices Matched with Silicon Wafers", dans CMC symposium 2010
Bougataya Mohammed, Berriah Oussama, Lakhssassi Ahmed, Dahmane Abdel-Omar, Blaquière Yves(2010)."Thermo-Mechanical Analysis of a Reconfigurable Wafer-Scale Integrated Circuit", dans IEEE-ICECS 2010
Berriah Oussama, Bougataya Mohammed, Lakhssassi Ahmed, Blaquière Yves, Savaria Yvon(2010)."Thermal Analysis of a Miniature Electronic Power Device Matched to a Silicon Wafer", dans 8th IEEE International MIDWCAS, IEEE Circuits and Systems Society conferen
Tremblay Charles, Jean J., Marchand L., Turki A., Chouinard-Gaouette P.(2010)."Robotic Platform for Real-Time Tracking of a Single Fast Swimming Bacterium", dans International Symposium on Optomechatronic Technologies, ISOT 2010
Mokrani N., Felfoul O., Afkhami Zarreh F., Mohammadi M., Aloyz R.(2010)."Magnetotactic bacteria penetration into multicellular tumor spheroids for targeted therapy", dans 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology
Girodias Bruno, Gheorghe Luiza, Bouchebbaba Y., Nicolescu Eugenia Gabriela, Aboulhamid Mostapha(2010)."Combining Memory Optimization with Mapping of Multimedia Applications for MPSoCs", dans Proc. of IEEE RSP 2010
Le Beux Sébastien, O'Connor I., Nicolescu Eugenia Gabriela, Bois Guy, Paulin P.(2010)."A System-Level Exploration Flow for Optical Network on Chip (ONoC) in 3D MPSoC", dans Special session on Optical Interconnect for Multi-Core Architectures in IEEE ISCAS
Abidi M., Calliste K.K., Kanoun M., Panier S., Arpin L.(2010)."A delay locked loop for fine time base generation in a positron emission tomography scanner", dans 5th Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2010
Ouchani S., Ait Mohamed Otmane, Debbabi M., Pourzandi M.(2010)."Verification of the Correctness in Composed UML Behavioural Diagrams", dans SERA (selected papers)
Rogers-Vallee M., Cantin Marc-Andre, Bois Guy, Moss Laurent(2010)."IP Characterization Methodology for Fast and Accurate Power Consumption Estimation at Transactional Level Model", dans Proc. of IEEE Inter. Conf on Comp Design (ICCD 2010)
Thongam J.S., Bouchard P., Giurgiu V., Bui Hung Tien(2010)."Sensorless Vector Control of PMSG for Variable Speed Wind Energy Applications", dans Canadian Conference on Electrical and Computer Engineering
Villeneuve G., Voyer M., Savard D., Bui Hung Tien(2010)."Novel Field Programmable Transistor Array (FPTA) for Rapid Prototyping of Circuits", dans IASTED International Conference on Circuits and Systems
Michaud J.-B., Brunet Charles-Antoine, Lecomte Roger, Fontaine Réjean(2010)."End-to-end Results from Neural Networks for LOR Recovery of PET Triple Coincidences", dans Proc. IEEE NSS/MIC
Olamaei N., Beaudoin G., Cheriet Farida, Martel Sylvain(2010)."MRI visualization of a single 15 µm navigable imaging agent and future microrobot", dans 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
Bringout G., Lalande V., Gosselin Benoit, Martel Sylvain(2010)."Safety evaluation of magnetic catheter steering with upgraded magnetic resonance imaging system", dans 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Soc
Felfoul O., Mokrani N., Mohammadi M., Martel Sylvain(2010)."Effect of the chain of magnetosomes embedded in magnetotactic bacteria and their motility on magnetic resonance imaging", dans 32nd Annual International Conference of the IEEE Engineering in Medi
Khoshbakht Marvi E., Mokrani N., Mohammadi M., Martel Sylvain(2010)."Impact of the Geometrical Features of Micro-components in Bacterial Micro-assemblies", dans The 5th International Conference on MicroManufacturing (ICOMM/4M)
St-Gelais R., Kerrien T., Poulin A., Peter Yves-Alain(2010)."In-Plane MEMS Tunable Gires-Tournois Interferometers", dans CLEO/QELS Laser Science to Photonic Applications
Hwang Y., Shirner G., Abdi Samar, Gajski D.(2010)."Accurate Timed RTOS Model for Transaction Level Modeling", dans IEEE/ACM Design Automation and Test in Europe
Zarrabi Houman, Al-Khalili Asim, Savaria Yvon(2010)."A Fine-Grained Interconnect-Aware Dynamic Voltage Scaling Scheme for DSM VLSI", dans International Symposium on Circuits and Systems (ISCAS_
Siadjine Marcel, Bui Hung Tien, Boyer François-Raymond(2010)."Peak-to-Peak Jitter Reduction Technique for the Precise Free-Running Period Synthesizer (FRPS)", dans International Symposium on Circuits and Systems
Allidina K., Saha T., El-Gamal Mourad(2010)."A temperature compensated architecture for integrated, low power, frequency domain sensors", dans IEEE International Conference on Microelectronics (ICM)
Zadeh G., El-Gamal Mourad, Nabki Frédéric(2010)."The phase noise of an oscillator employing a dual MEMS resonator temperature compensation scheme", dans IEEE International Conference on Microelectronics (ICM)
Amnache A., Omri M., Fréchette Luc(2010)."An analytical and numerical study of rectangular orifice plate micro-flowmeters", dans In ASME International Mechanical Engineering Congress & Exposition IMECE2010-40470 (p. [IMECE2010-40470]), ASME International
Tabatabaei N., Lapointe J., Martel Sylvain(2010)."Microscale Hydrogel-based computer-triggered polymorphic microrobots for operations in the vascular network", dans 3rd IEEE RAS EMBS Int. Conf. on Biomedical Robotics and Biomechatronics (BioRob)
Lalande V., Gosselin Benoit, Martel Sylvain(2010)."Catheter steering using a magnetic resonance imaging system", dans 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
Lalande V., Gosselin Benoit, Martel Sylvain(2010)."Experimental demonstration of a swimming robot propelled by the gradient field of a Magnetic Resonance Imaging (MRI) system", dans 2010 IEEE/ASME International Conference on Advanced Intelligent Mechatron
Khoshbakht Marvi E., Mohammadi M., Martel Sylvain(2010)."Using a Swarm of Bacteria as Actuator for Propelling Microrobots", dans 12th International Conference on New Actuators (ACTUATOR)
Martel Sylvain, Mohammadi M., Mokrani N.(2010)."Switching between magnetic or oxygen sensory input for the MC-1 flagellated bacteria to be used for controlling the motion of swarms of bacterial microscale nanorobots", dans ASME 2010 First Global Congress
Zebdi M., Massicotte Daniel, Fayomi Christian(2010)."Low-Power Baseband Folded Gilbert Cell Mixer For Frequency-Domain A/D Converter in 0.18µm CMOS", dans Int. Conf. on Advances in Satellite and Space Communications (SPACOMM'10)
Azzabi A., Aboulhamid M., Nicolescu Eugenia Gabriela(2010)."Timing verification of cyclic systems based on temporal constraint analysis", dans Proc. Of ICECS 2010
Bouchebbaba Y., Nicolescu Eugenia Gabriela, Paulin P.(2010)."MPAssign: A Framework for Solving the Many-Core Platform Mapping Problem", dans Proc. of IEEE RSP 2010
Abed S., Ait Mohamed Otmane(2010)."MDGs Reduction Technique Based on the HOL Theorem Prover", dans Proc. of the 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL'2010
Javanmardi-Nasab M., Cowan Glenn(2010)."Oscillator-based calibration architecture to reduce the impact of process variation on CML circuits", dans 2nd European Workshop on CMOS Variability
Shirazy M.R.S., Fréchette Luc(2010)."A parametric investigation of operating limits in heat pipes using novel metal foams as wicks", dans In Proceedings of ASME 2010 3rd Joint US-European Fluids Engineering Summer Meeting and 8th International Conference
Tannir Dany, Khazaka Roni(2010)."Efficient sensitivity analysis on nonlinear distortion in RF circuits", dans IEEE NEWCAS
Lapointe J., Martel Sylvain(2010)."Poly(N-isopropylacrylamide) beads synthesis with nanoparticles embedded for the implementation of shrinkable medical microrobots for biomedical applications", dans 32nd Annual International Conference of the IEEE Enginee
Shechter E., Martel Sylvain(2010)."Principles of motion control of bacterial micro-robots using oxygen gradients", dans 2010 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM)
Martel Sylvain, Mohammadi M.(2010)."Using a Swarm of Self-propelled Natural Microrobots in the Form of Flagellated Bacteria to Perform Complex Micro-assembly Tasks", dans IEEE International Conference on Robotics and Automation (ICRA)
Martel Sylvain, (2010)."Aggregates of synthetic microscale nanorobots versus swarms of computer-controlled flagellated bacterial robots for target therapies through the human vascular network", dans 4th Int. Conf. on Quantum, Nano and Micro Technologies
Benmimoune M., Massicotte Daniel(2010)."Multi-User MIMO Precoding with Kerdock Codebook", dans Int. Symp. on Wireless Communication Systems (ISWCS)
Benmimoune M., Massicotte Daniel(2010)."Grassmannian Precoding for Multi-user MIMO System Based on the Maximal SJNR Criterion", dans Int. Symp. on Wireless Communication Systems (ISWCS)
Nougarou F., Massicotte Daniel(2010)."Low Complexity MIMO Receiver Based On Adaptive Duplicated Filters and Interference Canceller", dans IEEE NEWCAS 2010
Jaber M., Massicotte Daniel(2010)."A Novel Approach for FFT Data reordering", dans International Symp. On Circuit and Systems (ISCAS'10)
Jaber M., Massicotte Daniel(2010)."Fast Method to Detect Specific Frequencies in Monitored Signal", dans 4th Int. Symp. on Comm., Control and Signal Processing (ISCCSP 2010)
Abdi Samar, (2010)."Automatic Generation of Host-Compiled Timed TLMs for High Level Design", dans IEEE International High Level Design Validation and Test (HLDVT)
Martel Sylvain(2010)."Towards fully autonomous bacterial robots", dans International Symposium on Experimental Robotics (ISER)
Martel Sylvain(2010)."Microrobotic navigable entities for magnetic resonance targeting", dans 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)