Concepedia

M. Boulé

MB

5

Publications

327

Citations

5

H-Index

1979

Active since

Affiliations

McGill University(Current)

M. Boulé is an author at McGill University specializing in hardware security, computer engineering, and program analysis.

Top concepts

MedicineEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification

Publications per year

1979–2007

5

Publications

5

Role of tumor necrosis factor alpha in innate resistance to mouse pulmonary infection with Pseudomonas aeruginosa

Diane Gosselin, M. Boulé, Emil Skamene et al. · Infection and Immunity · 1995 · 152 citations · Full text

Agar Beads, Inflammatory Lung Disease, Lung Inflammation +20

Determination of capillary oxygen tension in infants and children: assessment of methodology and normal values during growth.

C Gaultier, M. Boulé, Y Allaire et al. · PubMed · 1979 · 64 citations

Neonatology, Physiology, Pediatrics +3

Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis

M. Boulé, Jean-Samuel Chenard, Željko Žilić · 2007 · 63 citations

Engineering, Hardware Verification Language, Dedicated Debug Hardware +19

Debug enhancements in assertion-checker generation

M. Boulé, J.-S. Chenard, Željko Žilić · IET Computers & Digital Techniques · 2007 · 30 citations

Program Checking, Engineering, Hardware Verification Language +19

Decrease in the Rate of Protein Synthesis by Polysomes from Cultured Fibroblasts of Patients and Carriers with Duchenne Muscular Dystrophy

M. Boulé, Michel Vanasse, Léa Brakier‐Gingras · Canadian Journal of Neurological Sciences / Journal Canadien des Sciences Neurologiques · 1979 · 18 citations · Full text

Normal Controls, Molecular Biology, Cell Culture +16

Rows per page

1–5 of 5