UP | HOME

Nicolas Jeannerod

Nicolas Jeannerod

I am:

Interventions

Mining Debian Maintainer Scripts

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

  • 2018-07-16
  • Conference IJCAR
  • Slides

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

  • 2018-06-25
  • IRIF's Verification Seminar
  • Slides

Feature Constraints to Modelise Unix Filesystems

  • 2018-02-07
  • IRIF's PhD Seminar
  • Slides

Unix Filesystem and Graph Constraints

  • 2017-10-12
  • IRIF's "Journées PPS" Seminar
  • Slides

Formalising an Intermediate Language for POSIX Shell

A Formally Verified Interpreter for a Shell-like Programming Language

  • 2017-07-22
  • Workshop VSTTE
  • Slides

A Formally Verified Interpreter for a Shell-like Programming Language

  • 2017-07-07
  • Seminar VALS
  • Slides

Le coquillage dans le CoLiS-mateur

  • 2017-01-04
  • Conference JFLA
  • Slides

Publications

Morbig, a trustworthy static parser for POSIX shell

  • SLE 2018
  • Yann Régis-Gianas, Nicolas Jeannerod and Ralf Treinen

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

A Formally Verified Interpreter for a Shell-like Programming Language

  • VSTTE 2017
  • Nicolas Jeannerod, Claude Marché and Ralf Treinen
  • Article

Le coquillage dans le CoLiS-mateur