Celia Picard

88 %
Libre accès
33
Documents
Affiliations actuelles
  • Ecole Nationale de l'Aviation Civile (ENAC)
  • Fédération ENAC ISAE-SUPAERO ONERA
  • ENAC - Equipe Informatique Interactive (LII)
Identifiants chercheurs
Contact

Présentation

Publications

13
10
4
3
1
1
1
15
10
9
9
9
7
6
6
5
4
4
3
3
3
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
1
2
1
4
4
7
1
1
2
1
1
2
1
18
11
7
5
7
1

Publications

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
Deposit thumbnail

Interaction homme-machine et personnalisation des visites : enjeux et perspectives critiques

Stéphanie Rey , Christophe Bortolaso , Anke Brock , Célia Picard , Mustapha Derras et al.

Culture et Musées, 2020, 35, pp.77-106. ⟨10.4000/culturemusees.4527⟩

Article dans une revue hal-02883368v1
Deposit thumbnail

Combinaison de dispositifs tactiles comme support à l'analyse de données

Gary Perelman , Marcos Serrano , Christophe Bortolaso , Célia Picard , Mustapha Derras et 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
Deposit thumbnail

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 et 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
Deposit thumbnail

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
Deposit thumbnail

BiCoq : Bigraphs Formalisation with Coq

Cécile Marcon , Cyril Allignol , Celia Picard , Blair Archibald , Michele Sevegnani et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Build Your Own Hercules: helping visitors personalize their museum experience

Stéphanie Rey , Célia Picard , Yanis Fatmi , Fanny Franco , Sarah Guilbert et 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
Deposit thumbnail

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

Designing Tangible Tools for the Creation of Personalized Visits by Museum Professionals

Stéphanie Rey , Nadine Couture , Célia Picard , Christophe Bortolaso , Mustapha Derras et 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
Deposit thumbnail

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 Gleizes et 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
Deposit thumbnail

Combining Tablets with Smartphones for Data Analytics

Gary Perelman , Marcos Serrano , Christophe Bortolaso , Célia Picard , Mustapha Derras et 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
Deposit thumbnail

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 Guilbert et al.

31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France

Communication dans un congrès hal-02389817v1
Deposit thumbnail

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
Deposit thumbnail

Combinaison de dispositifs tactiles pour interagir avec un tableur sur tablette

Gary Perelman , Marcos Serrano , Célia Picard , Christophe Bortolaso , Emmanuel Dubois et al.

30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29

Communication dans un congrès hal-01898855v1
Deposit thumbnail

Cell Selection for Spreadsheets on Tablets: Stacking-Based Interaction

Gary Perelman , Marcos Serrano , Célia Picard , Christophe Bortolaso , Mustapha Derras et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

DECO: A Design Space for Device Composition

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et al.

ACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446

Communication dans un congrès hal-01500513v1
Deposit thumbnail

The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et 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
Deposit thumbnail

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 Derras et al.

27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06

Communication dans un congrès hal-01219926v1
Deposit thumbnail

Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : Disco

Gary Perelman , Marcos Serrano , Mathieu Raynal , Célia Picard , Mustapha Derras et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Individualized Visits to Foster the Engagement and the re-visit in Museums

Stéphanie Rey , Anke Brock , Célia Picard , Christophe Bortolaso , Mustapha Derras et al.

ESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018

Poster de conférence hal-01767939v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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