A Formally Verified Interpreter for a Shell-Like Programming Language. - Nicolas Jeannerod; Claude Marché; Ralf Treinen (VSTTE, 2017)

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. - Nicolas Jeannerod; Ralf Treinen (IJCAR, 2018)

Analysing installation scenarios of Debian packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (TACAS (2), 2020)

Morbig: A Static parser for POSIX shell. - Yann Régis-Gianas; Nicolas Jeannerod; Ralf Treinen (J. Comput. Lang., 2020)

Verification of Shell Scripts Performing File Hierarchy Transformations. (Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques). - Nicolas Jeannerod (2021)

The CoLiS platform for the analysis of maintainer scripts in Debian software packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (Int. J. Softw. Tools Technol. Transf., 2022)