Julien Brunel

Statistics

Publications

Citations

270

H-Index

Active since

2005

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

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

University of Copenhagen

Aalborg University

Université Fédérale de Toulouse Midi-Pyrénées

Julien Brunel is an author at Office National d'Études et de Recherches Aérospatiales specializing in computer science, computing, and specification languages.

ORCID

Publications per year

2005–2022

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

Lightweight specification and analysis of dynamic systems with rich configurations

Nuno Macedo, Julien Brunel, David Chemouil et al. · 2016 · 58 citations · Full text

Computing, Computer Science, Formal Methods +13

The electrum analyzer: model checking relational first-order temporal specifications

Julien Brunel, David Chemouil, Alcino Cunha et al. · 2018 · 31 citations · Full text

Computing, Computer Science, Formal Methods +16

Security policy compliance with violation management

Julien Brunel, Frédéric Cuppens, Nora Cuppens et al. · 2007 · 23 citations

Computing, Computer Science, Computer Security +15

A foundation for flow-based program matching

Julien Brunel, Damien Doligez, René Rydhof Hansen et al. · 2009 · 21 citations

Computing, Computer Engineering, Computer Science +8

1–5 of 11