Skip to Main content
Number of documents

4

CV Célia Picard


Sébastien Leriche   

Journal articles1 document

  • Mathieu Magnaudet, Stéphane Chatty, Stéphane Conversy, Sébastien Leriche, Célia Picard, et al.. Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming. Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩. ⟨hal-01815222⟩

Conference papers2 documents

  • Nicolas Nalpon, Célia Picard, Cyril Allignol, Sébastien Leriche. Vers la vérification de SMALA, un langage réactif interactif. AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France. ⟨hal-02916890⟩
  • Sébastien Leriche, Stéphane Conversy, Célia Picard, Daniel Prun, Mathieu Magnaudet. Towards Handling Latency in Interactive Software. FMIS 2018, 7th International Workshop on Formal Methods for Interactive Systems, Jun 2018, Toulouse, France. pp 233-239 /ISBN : 978-3-030-04770-2, ⟨10.1007/978-3-030-04771-9_18⟩. ⟨hal-01815224⟩

Poster communications1 document

  • Stéphane Conversy, Sébastien Leriche, Mathieu Magnaudet, Célia Picard, Daniel Prun. Conception de logiciels interactifs sûrs avec DJNN. Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France. ⟨hal-01815218⟩