Publications HAL du projet ANR. colis

2018

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 (JCSS), Elsevier, 2018, pp.40
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01176763/file/0-7711.pdf BibTex

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.archives-ouvertes.fr/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〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01897572/file/morbig-0.9.1.zip 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
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01760575/file/extended.pdf 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, ASDD-AlmaDL, 2017, 10 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652148/file/jfr7213.pdf BibTex
titre
Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Information and Computation, Elsevier, 2017, 253, pp.304-335 〈10.1016/j.ic.2016.07.012〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 105, pp.12, 2017, 〈10.1007/978-3-642-29709-0_32〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 10712, 2017, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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. Springer, Lecture Notes in Computer Science, 9840 pp.355-367, 2016, Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings. 〈10.1007/978-3-662-53132-7_29〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/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, 〈http://grammars.grlmc.com/lata2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088761/file/paper_78.pdf BibTex