Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

Le coquillage dans le CoLiS-mateur

 Nicolas Jeannerod
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès hal-01432034v1
Image document

Morbig: A Static Parser for POSIX Shell

 Yann Régis-Gianas , Nicolas Jeannerod , Ralf Treinen
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
Communication dans un congrès hal-01890044v1
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
Image document

Analysing installation scenarios of Debian packages

 Benedikt Becker , Nicolas Jeannerod , Claude Marché , Yann Régis-Gianas , Mihaela Sighireanu , et al.
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

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

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

 Nicolas Jeannerod , Ralf Treinen
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01807474v1
Image document

Verification of Shell Scripts Performing File Hierarchy Transformations

 Nicolas Jeannerod
Logic in Computer Science [cs.LO]. Université de Paris, 2021. English. ⟨NNT : ⟩
Thèse tel-03369452v1
Image document

Morbig

 Yann Regis-Gianas , Nicolas Jeannerod , Ralf Treinen
2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
Logiciel hal-01897572v1
Image document

Having Fun With 31.521 Shell Scripts

 Nicolas Jeannerod , Yann Régis-Gianas , Ralf Treinen
2017
Pré-publication, Document de travail hal-01513750v1
Image document

Tracing intensive fish and meat consumption using Zn isotope ratios: evidence from a historical Breton population (Rennes, France)

 Klervia Jaouen , Rozenn Colleter , Anita Pietrzak , Marie-Laure Pons , Benoît Clavel , et al.
Scientific Reports, 2018, 8 (1), pp.5077. ⟨10.1038/s41598-018-23249-x⟩
Article dans une revue hal-01851752v1
Image document

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (Extended Version)

 Nicolas Jeannerod , Ralf Treinen
2019
Pré-publication, Document de travail hal-01760575v2
Image document

Verification of Shell scripts performing file hierarchy transformations

 Nicolas Jeannerod
Computation and Language [cs.CL]. Université Paris Cité, 2021. English. ⟨NNT : 2021UNIP7178⟩
Thèse tel-03917971v1
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 , et al.
International Journal on Software Tools for Technology Transfer, 2022
Article dans une revue hal-03737886v1
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
Page :