Publications HAL du projet ANR. colis

2022

Journal articles

titre
The CoLiS Platform for the Analysis of Maintainer Scripts in Debian Software Packages
auteur
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
article
International Journal on Software Tools for Technology Transfer, 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03737886/file/main.pdf BibTex

2021

Journal articles

titre
SL-COMP: competition of solvers for separation logic
auteur
Mihaela Sighireanu
article
International Journal on Software Tools for Technology Transfer, 2021, 23, pp.895 - 903. ⟨10.1007/s10009-021-00628-w⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04425491/file/main.pdf BibTex

Theses

titre
Verification of Shell Scripts Performing File Hierarchy Transformations
auteur
Nicolas Jeannerod
article
Logic in Computer Science [cs.LO]. Université de Paris, 2021. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03369452/file/phd-thesis-jeannerod-v1.1.pdf BibTex

2020

Conference papers

titre
Analysing installation scenarios of Debian packages
auteur
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02355602/file/main.pdf BibTex

2019

Journal articles

titre
Logics for Unordered Trees with Data Constraints
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Journal of Computer and System Sciences, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01176763/file/0.pdf BibTex

Conference papers

titre
Ghost Code in Action: Automated Verification of a Symbolic Interpreter
auteur
Benedikt Becker, Claude Marché
article
VSTTE 2019 - 11th Working Conference on Verified Software: Tools, Techniques and Experiments, Jul 2019, New York, United States. ⟨10.1007/978-3-030-41600-3_8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02276257/file/Ghost_Code_in_Action_Automated_Verification_of_a_Symbolic_Interpreter.pdf BibTex

Reports

titre
Specification of UNIX Utilities
auteur
Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
article
[Technical Report] ANR. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02321691/file/main.pdf BibTex
titre
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters
auteur
Benedikt Becker, Nicolas Jeannerod, Claude Marché, Ralf Treinen
article
[Technical Report] ANR. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02321743/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (Extended Version)
auteur
Nicolas Jeannerod, Ralf Treinen
article
2019
Accès au texte intégral et bibtex
https://hal.science/hal-01760575/file/extended.pdf BibTex

2018

Conference papers

titre
Morbig: A Static Parser for POSIX Shell
auteur
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
article
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01890044/file/main.pdf BibTex
titre
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
auteur
Nicolas Jeannerod, Ralf Treinen
article
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Accès au bibtex
BibTex

Software

titre
Morbig
auteur
Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen
article
2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01897572/file/morbig-0.9.1.zip BibTex

2017

Journal articles

titre
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
auteur
Ran Chen, Martin Clochard, Claude Marché
article
Journal of Formalized Reasoning, 2017, 10 (1)
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01652148/file/jfr7213.pdf BibTex
titre
Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Information and Computation, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01179493/file/DeterministicAutomataUnordered_Journal-1.pdf BibTex

Conference papers

titre
Equivalence of Symbolic Tree Transducers
auteur
Vincent Hugot, Adrien Boiret, Joachim Niehren
article
DLT 2017 - Developments in Language Theory, Aug 2017, Liege, Belgium. pp.12, ⟨10.1007/978-3-642-29709-0_32⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01517919/file/symbeq.pdf BibTex
titre
A Formally Verified Interpreter for a Shell-like Programming Language
auteur
Nicolas Jeannerod, Claude Marché, Ralf Treinen
article
VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01534747/file/jeannerod-marche-treinen-vstte17.pdf BibTex
titre
Le coquillage dans le CoLiS-mateur
auteur
Nicolas Jeannerod
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Accès au texte intégral et bibtex
https://hal.science/hal-01432034/file/main.pdf BibTex

Reports

titre
Le langage CoLiS : syntaxe, sémantique et outillage
auteur
Ilham Dami, Claude Marché
article
[Rapport Technique] RT-0491, Inria Saclay Ile de France. 2017, pp.1-22
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01614488/file/RT-0491.pdf BibTex

Preprints, Working Papers, ...

titre
Having Fun With 31.521 Shell Scripts
auteur
Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen
article
2017
Accès au texte intégral et bibtex
https://hal.science/hal-01513750/file/main.pdf BibTex

2016

Conference papers

titre
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
auteur
Adrien Boiret, Raphaela Palenta
article
20th International Conference on Developments in Language Theory (DLT 2016), Jul 2016, Montreal, Canada. pp.355-367, ⟨10.1007/978-3-662-53132-7_29⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01429110/file/main.pdf BibTex

Reports

titre
A Formal Proof of a Unix Path Resolution Algorithm
auteur
Ran Chen, Martin Clochard, Claude Marché
article
[Research Report] RR-8987, Inria. 2016, pp.27
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01406848/file/RR-8987.pdf BibTex

2015

Conference papers

titre
Logics for Unordered Trees with Data Constraints on Siblings
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01088761/file/paper_78.pdf BibTex