Accéder directement au contenu

Claude Marché

5
Documents
Affiliations actuelles

Publications

nicolas-jeannerod
Image document

The CoLiS Platform for the Analysis of Maintainer Scripts in Debian Software Packages

 Benedikt Becker , Nicolas Jeannerod , Claude Marché , Yann Régis-Gianas , Mihaela Sighireanu
International Journal on Software Tools for Technology Transfer, 2022
Article dans une revue hal-03737886v1
Image document

Analysing installation scenarios of Debian packages

 Benedikt Becker , Nicolas Jeannerod , Claude Marché , Yann Régis-Gianas , Mihaela Sighireanu
TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
Communication dans un congrès hal-02355602v2
Image document

A Formally Verified Interpreter for a Shell-like Programming Language

 Nicolas Jeannerod , Claude Marché , Ralf Treinen
VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
Communication dans un congrès hal-01534747v1
Image document

Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters

 Benedikt Becker , Nicolas Jeannerod , Claude Marché , Ralf Treinen
[Technical Report] ANR. 2019
Rapport hal-02321743v1
Image document

Specification of UNIX Utilities

 Nicolas Jeannerod , Claude Marché , Yann Régis-Gianas , Mihaela Sighireanu , Ralf Treinen
[Technical Report] ANR. 2019
Rapport hal-02321691v1