Accéder directement au contenu

Cyril Allignol

4
Documents
Identifiants chercheurs

Présentation

Publications

celiapicard
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
Image document

Toward a User Interface Description Language based on bigraphs (model files, supplemental material)

 Nicolas Nalpon , Cyril Allignol , Célia Picard
2022, ⟨swh:1:dir:b2c888a286ac5c1302425f13ae70aead32b7bdf4;origin=https://hal.archives-ouvertes.fr/hal-03754387;visit=swh:1:snp:a889d19b43b665363a6980d282652b3ced4ac0bb;anchor=swh:1:rel:40e52c3fd9ad3caf6767622a7669ca5b4291b081;path=/⟩
Logiciel hal-03754387v1