Skip to Main content Skip to Navigation
  1. Search


...
hal-02355602v2  Conference papers
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu et al.  Analysing installation scenarios of Debian packages
TACA 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
...
hal-02321743v1  Reports
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Ralf Treinen. Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters
[Technical Report] ANR. 2019
...
hal-01432034v1  Conference papers
Nicolas Jeannerod. Le coquillage dans le CoLiS-mateur
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
...
hal-01890044v1  Conference papers
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig: A Static Parser for POSIX Shell
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
...
hal-01513750v1  Preprints, Working Papers, ...
Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts
2017
...
hal-01897572v1  Software
Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig
2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
...
hal-01534747v1  Conference papers
Nicolas Jeannerod, Claude Marché, Ralf Treinen. A Formally Verified Interpreter for a Shell-like Programming Language
VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
...
hal-02321691v1  Reports
Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities
[Technical Report] ANR. 2019