Henrik Stuart

Statistics

Publications

Citations

H-Index

Active since

2007

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Copenhagen

Aalborg University

Henrik Stuart is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and automated bug finding.

Publications per year

2007–2012

Publications

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

Julia L. Lawall, Julien Brunel, Nicolas Palix et al. · 2009 · 60 citations

Computing, Computer Science, Computer Systems +13

Towards easing the diagnosis of bugs in OS code

Henrik Stuart, René Rydhof Hansen, Julia L. Lawall et al. · 2007 · 15 citations

Computing, Computer Science, Computer Systems +7

Hunting bugs with Coccinelle

Henrik Stuart · 2008 · 13 citations

Life Sciences, Entomology, Zoology +9

WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process

Julia L. Lawall, Julien Brunel, Nicolas Palix et al. · Software Practice and Experience · 2012 · 11 citations

Computing, Computer Science, Computer Systems +12

1–4 of 4