Accéder directement au contenu

Celia Picard

3
Documents
Identifiants chercheurs

Présentation

Publications

nicolas-nalpon
Image document

Towards a User Interface Description Language Based on Bigraphs

Nicolas Nalpon , Cyril Allignol , Célia Picard
Theoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia
Communication dans un congrès hal-03790499v1
Image document

Représentation de programmes SMALA grâce à la théorie des bigraphes

Cécile Marcon , Nicolas Nalpon , Cyril Allignol , Célia Picard
AFADL, Jun 2021, En ligne, France
Communication dans un congrès hal-03457039v1
Image document

Vers la vérification de SMALA, un langage réactif interactif

Nicolas Nalpon , Célia Picard , Cyril Allignol , Sébastien Leriche
AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France
Communication dans un congrès hal-02916890v1