Nicolas Jeannerod

According to our database, Nicolas Jeannerod authored at least 6 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

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

PhD thesis, 2021

2020

Morbig: A Static parser for POSIX shell.

Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen

J. Comput. Lang., 2020

Analysing installation scenarios of Debian packages.

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2018

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

Nicolas Jeannerod, Ralf Treinen

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

A Formally Verified Interpreter for a Shell-Like Programming Language.

Nicolas Jeannerod, Claude Marché, Ralf Treinen

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017