Celia Picard

Identifiants chercheurs

IdHAL :

celiapicard

ORCID :

0000-0002-8715-4365

IdRef :

165059583

Présentation

Publications

Article dans une revue (5)

Formally proved specification of non-nested STL formulas as synchronous observers Céline Bellanger,Pierre-Loic Garoche,Matthieu Martel,Celia Picard Science of Computer Programming, 2025, 245, pp.103315. ⟨10.1016/j.scico.2025.103315⟩ Article dans une revue hal-05444099v1
Interaction homme-machine et personnalisation des visites : enjeux et perspectives critiques Stéphanie Rey,Christophe Bortolaso,Anke Brock,Célia Picard,Mustapha Derraset al. Culture et Musées, 2020, 35, pp.77-106. ⟨10.4000/culturemusees.4527⟩ Article dans une revue hal-02883368v1
Combinaison de dispositifs tactiles comme support à l'analyse de données Gary Perelman,Marcos Serrano,Christophe Bortolaso,Célia Picard,Mustapha Derraset al. Journal d'Interaction Personne-Système, A paraître, Special issue : the best of IHM'2018, Volume 8, Issue 1, Special issue : the best of IHM'2018 (1), pp.1 - 26. ⟨10.46298/jips.5935⟩ Article dans une revue hal-02383908v1
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 Picardet al. 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
Coinductive Graph Representation: the Problem of Embedded Lists Célia Picard,Ralph Matthes Electronic Communications of the EASST, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39 Article dans une revue hal-02015853v1

Communication dans un congrès (22)

Reactive Semantics for User Interface Description Languages Basile Pesin,Celia Picard,Cyril Allignol 18th Interaction and Concurrency Experience, Jun 2025, Lille, France. ⟨10.48550/arXiv.2508.13610⟩ Communication dans un congrès hal-05268507v1
BiCoq : Bigraphs Formalisation with Coq Cécile Marcon,Cyril Allignol,Celia Picard,Blair Archibald,Michele Sevegnaniet al. SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩ Communication dans un congrès hal-05088148v1
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers Céline Bellanger,Pierre-Loïc Garoche,Matthieu Martel,Célia Picard FMAS 2023 - 5th International Workshop on Formal Methods for Autonomous Systems, Nov 2023, Leiden, Netherlands. pp.188-204, ⟨10.4204/EPTCS.395.14⟩ Communication dans un congrès hal-04387928v1
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
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
Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals Stéphanie Rey,Nadine Couture,Célia Picard,Christophe Bortolaso,Mustapha Derraset al. TEI 2020, 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.487-493, ⟨10.1145/3374920.3374977⟩ Communication dans un congrès hal-02389844v1
Build Your Own Hercules: helping visitors personalize their museum experience Stéphanie Rey,Célia Picard,Yanis Fatmi,Fanny Franco,Sarah Guilbertet al. TEI 2020. 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.495-502, ⟨10.1145/3374920.3374978⟩ Communication dans un congrès hal-02389832v1
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
Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software Florent Mouysset,Célia Picard,Christophe Bortolaso,Frédéric Migeon,Marie-Pierre Gleizeset al. 37ème Congrès Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2019), Jun 2019, Paris, France. pp.147-162 Communication dans un congrès hal-02158902v1
Combining Tablets with Smartphones for Data Analytics Gary Perelman,Marcos Serrano,Christophe Bortolaso,Célia Picard,Mustapha Derraset al. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.439-460, ⟨10.1007/978-3-030-29390-1_24⟩ Communication dans un congrès hal-02877659v1
Build Your Own Hercules : une interface tangible de choix de parcours de visites personnalisées au musée Stéphanie Rey,Célia Picard,Yanis Fatmi,Fanny Franco,Sarah Guilbertet al. 31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France Communication dans un congrès hal-02389817v1
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
Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction Gary Perelman,Marcos Serrano,Célia Picard,Christophe Bortolaso,Mustapha Derraset al. Conference on Human Factors in Computing Systems (CHI EA 2018), Apr 2018, Montreal, Canada. pp.1-4, ⟨10.1145/3170427.3186546⟩ Communication dans un congrès hal-01866404v1
Combinaison de dispositifs tactiles pour interagir avec un tableur sur tablette Gary Perelman,Marcos Serrano,Célia Picard,Christophe Bortolaso,Emmanuel Duboiset al. 30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29 Communication dans un congrès hal-01898855v1
Totem de Personnalisation : Conception d'une Interface Tangible pour le Choix de Parcours de Visite dans les Musées Stéphanie Rey,Pierre Mauriéras,Célia Picard,Anke Brock IHM 2018, 30e Conférence Francophone sur l’Interaction Homme-Machine., Oct 2018, Brest, France. pp.219-226 Communication dans un congrès hal-01882721v1
Interaction multi-dispositifs pour tableurs sur tablette Gary Perelman,Marcos Serrano,Célia Picard,Mustapha Derras,Emmanuel Dubois 29ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2017), AFIHM : Association Francophone de l'Interaction Homme-Machine, Aug 2017, Poitiers, France. pp.105-116, ⟨10.1145/3132129.3132132⟩ Communication dans un congrès hal-01578468v1
DECO: A Design Space for Device Composition Gary Perelman,Marcos Serrano,Mathieu Raynal,Célia Picard,Mustapha Derraset al. ACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446 Communication dans un congrès hal-01500513v1
Disco(s) : Dispositifs à Multiples Degrés de Liberté pour Interagir avec des Données Multidimensionnelles Gary Perelman,Marcos Serrano,Mathieu Raynal,Célia Picard,Mustapha Derraset al. 27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06 Communication dans un congrès hal-01219926v1
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction Gary Perelman,Marcos Serrano,Mathieu Raynal,Célia Picard,Mustapha Derraset al. ACM CHI Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. ⟨10.1145/2702123.2702244⟩ Communication dans un congrès hal-01116302v1
Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : Disco Gary Perelman,Marcos Serrano,Mathieu Raynal,Célia Picard,Mustapha Derraset al. IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.91-100 Communication dans un congrès hal-01090411v1
Verification of redecoration for infinite triangular matrices using coinduction Ralph Matthes,Célia Picard International Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69 Communication dans un congrès hal-01143261v1
Permutations in Coinductive Graph Representation Célia Picard,Ralph Matthes 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩ Communication dans un congrès hal-01539884v1

Poster de conférence (2)

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
Individualized Visits to Foster the Engagement and the re-visit in Museums Stéphanie Rey,Anke Brock,Célia Picard,Christophe Bortolaso,Mustapha Derraset al. ESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018 Poster de conférence hal-01767939v1

Thèse (1)

Représentation coinductive des graphes Célia Picard Théorie et langage formel [cs.FL]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩ Thèse tel-00862507v1

Logiciel (1)

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

Proceedings/Recueil des communications (2)

Implémentation des Bigraphes dans Coq Cécile Marcon,Cyril Allignol,Xavier Thirioux,Célia Picard AFADL24, Jun 2024, Paris, France. 2024 Proceedings/Recueil des communications hal-04631694v1
Energy Efficient Matrix Computations Through Homomorphic Compression Matthieu Martel,Célia Picard,Abdelmouhaimen Sarhane 2024 10th International Conference on ICT for Sustainability (ICT4S), Jun 2024, Stockholm, France. IEEE, pp.109-115, 2024, ⟨10.1109/ICT4S64576.2024.00020⟩ Proceedings/Recueil des communications hal-04980253v1