Publications de
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Dans : Formal Aspects of Computing, Springer, Vol. 28 N. 5, p. 847-879, septembre 2016.
Accès : http://queinnec.perso.enseeiht.fr/publis/Formaspects.pdf – https://oatao.univ-toulouse.fr/16963/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Numéro spécial Proceedings of the 15th International Workshop on Automated Verification of Critical Systems, Vol. 72, (en ligne), 2015.
Accès : http://journal.ub.tu-berlin.de/eceasst/issue/view/87 – https://oatao.univ-toulouse.fr/16909/
BibTeX
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
Mechanized Refinement of Communication Models with TLA+ (regular paper)
Dans : International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), Linz, Austria, 23/05/16-27/05/16, Vol. 9675, Springer, Lecture Notes in Computer Science, p. 312-318, mai 2016.
Accès : http://queinnec.perso.enseeiht.fr/publis/ABZ2016.pdf – https://oatao.univ-toulouse.fr/16917/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+ (regular paper)
Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2015), Edinburgh, Scotland, UK, 01/09/15-04/09/15, Electronic Communications of the EASST, (en ligne), septembre 2015.
Accès : http://journal.ub.tu-berlin.de/eceasst/issue/view/87 – https://oatao.univ-toulouse.fr/16851/
BibTeXFlorent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
La composition de services dans le monde asynchrone Formalisation et v ́erification en TLA+ (short paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2015), Bordeaux, 09/06/15-10/06/15, Frédéric Dadeau, Pascale Le Gall (Eds.), CNRS – GDR GPL, p. 34-39, juin 2015.
Accès : http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf – https://oatao.univ-toulouse.fr/15360/
BibTeX