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
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
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
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
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, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf BibTex
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
titre
Formal Modelling and Verification of GALS Systems Using GRL and CADP
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. <10.1007/s00165-016-0373-3>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf BibTex
titre
Verification of EB3 specifications using CADP
auteur
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. <10.1007/s00165-016-0362-6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290460/file/FAOC.pdf BibTex
titre
MCC’2015 – The Fifth Model Checking Contest
auteur
Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
article
Transactions on Petri Nets and Other Models of Concurrency, Springer, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. <http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12>. <10.1007/978-3-662-53401-4_12>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01361274/file/main.pdf BibTex
S'abonner à RSS - Méthodes Formelles, Modèles et Langages