Celia Picard
- Ecole Nationale de l'Aviation Civile (ENAC)
- Fédération ENAC ISAE-SUPAERO ONERA
- ENAC - Equipe Informatique Interactive (LII)
Présentation
Publications
Publications
Formally proved specification of non-nested STL formulas as synchronous observersScience of Computer Programming, 2025, 245, pp.103315. ⟨10.1016/j.scico.2025.103315⟩ |
|
|
|
Interaction homme-machine et personnalisation des visites : enjeux et perspectives critiquesCulture et Musées, 2020, 35, pp.77-106. ⟨10.4000/culturemusees.4527⟩ |
|
|
Combinaison de dispositifs tactiles comme support à l'analyse de donnéesJournal 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⟩ |
|
|
Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented ProgrammingProceedings of the ACM on Human-Computer Interaction , 2018, Proceedings of the ACM on Human-Computer Interaction, 2 (EICS), pp.1 - 27. ⟨10.1145/3229094⟩ |
|
|
Coinductive Graph Representation: the Problem of Embedded ListsElectronic Communications of the EASST, 2011, Graph Computation Models Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), 39 |
|
|
BiCoq : Bigraphs Formalisation with CoqSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Sicily, Italy. pp.1982-1989, ⟨10.1145/3672608.3707824⟩ |
|
|
Reactive Semantics for User Interface Description Languages18th Interaction and Concurrency Experience, Jun 2025, Lille, France. ⟨10.48550/arXiv.2508.13610⟩ |
|
|
Towards Proved Formal Specification and Verification of STL Operators as Synchronous ObserversFMAS 2023 - 5th International Workshop on Formal Methods for Autonomous Systems, Nov 2023, Leiden, Netherlands. pp.188-204, ⟨10.4204/EPTCS.395.14⟩ |
|
|
Towards a User Interface Description Language Based on BigraphsTheoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia |
|
|
Représentation de programmes SMALA grâce à la théorie des bigraphesAFADL, Jun 2021, En ligne, France |
Build Your Own Hercules: helping visitors personalize their museum experienceTEI 2020. 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.495-502, ⟨10.1145/3374920.3374978⟩ |
|
|
|
Vers la vérification de SMALA, un langage réactif interactifAFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France |
Designing Tangible Tools for the Creation of Personalized Visits by Museum ProfessionalsTEI 2020, 14th International Conference on Tangible, Embedded, and Embodied Interaction, Feb 2020, Sydney, Australia. pp.487-493, ⟨10.1145/3374920.3374977⟩ |
|
|
|
Investigations of Process Mining Methods to discover Process Models on a Large Public Administration Software37ème Congrès Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2019), Jun 2019, Paris, France. pp.147-162 |
|
|
Combining Tablets with Smartphones for Data Analytics17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.439-460, ⟨10.1007/978-3-030-29390-1_24⟩ |
|
|
Build Your Own Hercules : une interface tangible de choix de parcours de visites personnalisées au musée31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France |
|
|
Towards Handling Latency in Interactive SoftwareFMIS 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⟩ |
|
|
Combinaison de dispositifs tactiles pour interagir avec un tableur sur tablette30eme conférence francophone sur l'interaction homme-machine, Oct 2018, Brest, France. pp.20-29 |
|
|
Cell Selection for Spreadsheets on Tablets: Stacking-Based InteractionConference on Human Factors in Computing Systems (CHI EA 2018), Apr 2018, Montreal, Canada. pp.1-4, ⟨10.1145/3170427.3186546⟩ |
|
|
Totem de Personnalisation : Conception d'une Interface Tangible pour le Choix de Parcours de Visite dans les MuséesIHM 2018, 30e Conférence Francophone sur l’Interaction Homme-Machine., Oct 2018, Brest, France. pp.219-226 |
|
|
Interaction multi-dispositifs pour tableurs sur tablette29è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⟩ |
|
|
DECO: A Design Space for Device CompositionACM conference on Designing Interactive Systems (DIS 2016), Jun 2016, Brisbane, Australia. pp. 435-446 |
|
|
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D InteractionACM CHI Conference on Human Factors in Computing Systems, Apr 2015, Seoul, South Korea. ⟨10.1145/2702123.2702244⟩ |
|
|
Disco(s) : Dispositifs à Multiples Degrés de Liberté pour Interagir avec des Données Multidimensionnelles27ème conférence francophone sur l'Interaction Homme-Machine., Oct 2015, Toulouse, France. pp.d06 |
|
|
Conception d’un Dispositif pour Interagir avec des Données Multidimensionnelles : DiscoIHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.91-100 |
|
|
Verification of redecoration for infinite triangular matrices using coinductionInternational Workshop on Types and Proofs for Programs - TYPES 2011, Sep 2011, Bergen, Norway. pp. 55-69 |
|
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩ |
|
|
Individualized Visits to Foster the Engagement and the re-visit in MuseumsESOF 2018, EuroScience Open Forum, Jul 2018, Toulouse, France. 2018 |
|
|
Conception de logiciels interactifs sûrs avec DJNNJournées nationales du GDR Génie de la Programmation et du Logiciel 2018, Jun 2018, Grenoble, France |
|
|
Représentation coinductive des graphesThéorie et langage formel [cs.FL]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨NNT : ⟩ |
Energy Efficient Matrix Computations Through Homomorphic Compression2024 10th International Conference on ICT for Sustainability (ICT4S), Jun 2024, Stockholm, France. IEEE, pp.109-115, 2024, ⟨10.1109/ICT4S64576.2024.00020⟩ |
|
|
|
Implémentation des Bigraphes dans CoqAFADL24, Jun 2024, Paris, France. 2024 |