Nicolas Jeannerod

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Logical Theories

Programming Language

Software Packages

Dependency Parsing

Top Venues

J. Comput. Lang.

Int. J. Softw. Tools Technol. Transf.

Publications

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: A Static parser for POSIX shell. J. Comput. Lang. 57 (2020)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Analysing installation scenarios of Debian packages. TACAS (2) (2020)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: a static parser for POSIX shell. SLE (2018)
Nicolas Jeannerod, Ralf Treinen
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. IJCAR (2018)
Nicolas Jeannerod, Claude Marché, Ralf Treinen
A Formally Verified Interpreter for a Shell-Like Programming Language. VSTTE (2017)