Concepedia

Marc Boulé

MB

Statistics

Publications

8

Citations

380

H-Index

8

Active since

1991

Affiliations

McGill University(Current)

Marc Boulé is an author at McGill University specializing in computer science, software analysis, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringHardware Security

Publications per year

1991–2012

8

Publications

8

Automata-based assertion-checker synthesis of PSL properties

Marc Boulé, Željko Žilić · ACM Transactions on Design Automation of Electronic Systems · 2008 · 91 citations

Engineering, Hardware Verification Language, Verification +19

Genetic Resistance/Susceptibility to Mycobacteria: Phenotypic Expression in Bone Marrow Derived Macrophage Lines

Danuta Radzioch, Thomas J. Hudson, Marc Boulé et al. · Journal of Leukocyte Biology · 1991 · 78 citations

Pathogenic Microbiology, Phenotypic Expression, Microbial Pathogens +27

Incorporating efficient assertion checkers into hardware emulation

Marc Boulé, Željko Žilić · 2006 · 57 citations

Engineering, Hardware Verification Language, Psl Introduces +18

Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug

Marc Boulé, Jean-Samuel Chenard, Željko Žilić · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 53 citations

Program Checking, Engineering, Hardware Verification Language +22

Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties

Marc Boulé, Željko Žilić · Proceedings · 2006 · 45 citations

Engineering, Hardware Verification Language, Verification +20

Rows per page

1–5 of 8