Nicolas Jeannerod
Orcid: 0000-0003-1969-1246
According to our database1,
Nicolas Jeannerod
authored at least 6 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
The CoLiS platform for the analysis of maintainer scripts in Debian software packages.
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).
PhD thesis, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017