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
-
2021
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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
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
-
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
-
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
-
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
-