Accéder directement au contenu

Celia Picard

3
Documents
Identifiants chercheurs

Présentation

Publications

947486
Image document

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

Mathieu Magnaudet , Stéphane Chatty , Stéphane Conversy , Sébastien Leriche , Célia Picard
Proceedings of the ACM on Human-Computer Interaction , 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩
Article dans une revue hal-01815222v1
Image document

Towards Handling Latency in Interactive Software

Sébastien Leriche , Stéphane Conversy , Célia Picard , Daniel Prun , Mathieu Magnaudet
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⟩
Communication dans un congrès hal-01815224v1
Image document

Conception de logiciels interactifs sûrs avec DJNN

Stéphane Conversy , Sébastien Leriche , Mathieu Magnaudet , Célia Picard , Daniel Prun
Journées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France
Poster de conférence hal-01815218v1