Méthodes Formelles, Modèles et Langages

Équipes du LIG : 
Mots clés : 
Chargés de mission de l'axe : 

Les dernières publications dans HAL pour cet axe de recherche

2017

Article dans des revues

titre
Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous
auteur
Hugues Evrard, Frédéric Lang
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2017, 88, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf BibTex
titre
Reliable Self-deployment of Distributed Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
article
Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. <10.1002/spe.2400>
Accès au bibtex
BibTex

Communication dans un congrès

titre
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
auteur
Hubert Garavel, Wendelin Serwe
article
2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.230 - 270, 2017, <http://mars-workshop.org/mars2017/>. <10.4204/EPTCS.244.10>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01511847/file/Garavel-Serwe-17.pdf BibTex
titre
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
auteur
Hubert Garavel, Lina Marsso
article
2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.129 - 183, 2017, <http://mars-workshop.org/mars2017/>. <10.4204/EPTCS.244.6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01511859/file/Garavel-Marsso-17.pdf BibTex
titre
On Attitude Estimation with Smartphones
auteur
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
article
IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01376745/file/PerCom-2017.pdf BibTex

Pré-publication, Document de travail

titre
Backward Type Inference for XML Queries
auteur
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01497857/file/bti.pdf BibTex
titre
HAP: Building Pipelines with Heterogeneous Data and Hive
auteur
Damien Graux, Pierre Genevès, Nabil Layaïda
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01436850/file/report-hap.pdf BibTex

2016

Article dans des revues

titre
A Superposition Calculus for Abductive Reasoning
auteur
Mnacho Echenim, Nicolas Peltier
article
Journal of Automated Reasoning, Springer Verlag, 2016, 57 (2), pp.97--134. <http://link.springer.com/article/10.1007/s10817-015-9344-2>
Accès au bibtex
BibTex
titre
Behavioral Types in Programming Languages
auteur
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
article
Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. <10.1561/2500000031>
Accès au bibtex
BibTex
titre
VerChor: A Framework for the Design and Verification of Choreographies
auteur
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
article
IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01198918/file/TSC-2013-12-0224-author.pdf BibTex
S'abonner à RSS - Méthodes Formelles, Modèles et Langages