Sébastien Kubicki, Patrick GIRARD, Gaëlle Calvary, Elise Lavoué, Proceedings of the 30th Conference on l'Interaction Homme-Machine, Brest, France, October 23-26, 2018, Interaction Homme-Machine (IHM 2018), 2018

Sybille CAFFIAU, Patrick GIRARD, A Global Process for Model-Driven Approaches in User Interface Design, A Global Process for Model-Driven Approaches in User Interface Design, edited by IGI Global, 2012, pp. 219-234

Daniel Fekete, Patrick GIRARD, Environnements de développement des systèmes interactifs (chapitre 1), Environnements de développement des systèmes interactifs (chapitre 1), 2, Interaction homme-machine pour les S.I., Paris, France, edited by Hermès Science, 2001, pp. 23-52

Patrick GIRARD, Bringing Programming by Demonstration to CAD Users (Chapter 7), Bringing Programming by Demonstration to CAD Users (Chapter 7), Programming by example, edited by Morgan Kaufmann, 2001, pp. 135-162

Yamine AIT-AMEUR, Frédéric Besnard, Patrick GIRARD, Guy PIERRA, Jean-Claude POTIER, Specification and Metaprogramming in the EXPRESS Language, Specification and Metaprogramming in the EXPRESS Language, Rockville USA, 1995

Allan FOUSSE, Patrick GIRARD, Laurent GUITTET, Thomas LACHAUME, Task model simulators: a review, Journal d'Interaction Personne-Système (JIPS), vol. 3, 2015

Sybille CAFFIAU, Dominique Scapin, Patrick GIRARD, Mickael BARON, Francis JAMBON, Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models , Interacting with computers (IWC 2010), 2010, pp. 569-593

Patrick GIRARD, Guillaume PATRY, Guy PIERRA, Jean-Claude POTIER, Deux exemples d'utilisation de la Programmation par Démonstration en Conception Assistée par Ordinateur, Revue Internationale de CFAO et d'informatique graphique (R-CFAO-I 1997), vol. 12, n. 1-2, 1997, pp. 169-188

Jean-Claude POTIER, Patrick GIRARD, Guy PIERRA, Frédéric Besnard, Génération graphique interactive de programmes de géométrie paramétrée, Revue d'Automatique et de Productique Appliquée (RAPA 1995), vol. 8, n. 2-3, 1995, pp. 229-234

Patrick GIRARD, Guy PIERRA, Laurent GUITTET, Les interacteurs hiérarchisés : une architecture orientée tâches pour la conception des dialogues, Revue d'Automatique et de Productique Appliquée (RAPA) (RAPA 1995), vol. 8, n. 2-3, 1995, pp. 235-240

Sybille CAFFIAU, Patrick GIRARD, Laurent GUITTET, Xavier Blanc, Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur, Ingénierie des systèmes d'information (ISI 2011), vol. 16, n. 5, Septembre-Octobre, 2011

Fabrice DEPAULIS, Francis JAMBON, Patrick GIRARD, Laurent GUITTET, Le modèle d’architecture logicielle H4 : Principes, usages, outils et retours d’expérience dans les applications de conception technique, Revue d'Interaction Homme-Machine (RIHM 2006), vol. 7, n. 1, 2006, pp. 93-129

Quentin RICHE-PIOTAIX, Patrick GIRARD, Frédéric Bilan, Ladjel BELLATRECHE, Example Based Programming and Ontology Building: A Bioinformatic Application, International Conference on Human-Computer Interaction (HCII 2018), Springer, 2018, pp. 101--108

Thomas LACHAUME, Patrick GIRARD, Laurent GUITTET, Allan FOUSSE, Avoiding Inaccuracies in Task Models, 18th International Conference on Human-Computer Interaction (HCII 2016), Lecture Notes in Computer Science, edited by Springer, 2016, pp. 498--509

Olga GOUBALI, Patrick GIRARD, Laurent GUITTET, Pascal Berruet, Alain Bignon, Jean-Frédérique Bouillon, Djamal KESRAOUI, DESIGNING FUNCTIONAL SPECIFICATIONS for COMPLEX SYSTEMS, 18th International Conference on Human-Computer Interaction (HCII 2016), Lecture Notes in Computer Science, edited by Springer, 2016, pp. 12

Olga GOUBALI, Patrick GIRARD, Laurent GUITTET, Alain Bignon, Pascal Berruet, Jean-Frédérique Bouillon, Djamal KESRAOUI, EVALUATION D’UN OUTIL D’AIDE A LA SPECIFICATION FONCTIONNELLE DES SYSTEMES COMPLEXES, ERGONOMIE INFORMATIQUE AVANCEE (ERGO'IA 2016), ESTIA, 2016, pp. 8

Ramin Karimi, Ladjel BELLATRECHE, Patrick GIRARD, Ahcène BOUKORCA, Andras Hajdu, BINOS4DNA: Bitmap Indexes and NoSQL for Identifying Species with DNA Signatures through Metagenomics Samples, 5th International Conference on Information Technology in Bio- and Medical Informatics (ITBAM 2014), 2014

Thomas LACHAUME, Patrick GIRARD, Laurent GUITTET, Allan FOUSSE, ProtoTask, new task model simulator, Human-Centered Software Engineering (HCSE), edited by Winckler, Marco and Forbrig, Peter and Bernhaupt, Regina, Berlin, Heidelberg, edited by Springer Berlin Heidelberg, 2012, pp. 323--330

Christophe Kolski, Bertrand David, Patrick GIRARD, Chi Dung Tran, Houcine Ezzedine, Agent-Based Architecture for Interactive System Design: Current Approaches, Perspectives and Evaluation, in Human-Computer Interaction, HCI International (HCII 2009), vol. LNCS 5611 2009, edited by Springer Berlin/Heidelberg, 2009, pp. 624-633

Sybille CAFFIAU, Patrick GIRARD, Laurent GUITTET, Dominique Scapin, Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model, HCI International 2009 (HCII 2009), vol. LNCS 5611, edited by Springer Berlin/Heidelberg, 2009, pp. 667-673

Sybille CAFFIAU, Patrick GIRARD, Dominique Scapin, Laurent GUITTET, Loé SANOU, Assessment of Object Use for Task Modeling, Engineering Interactive Systems (Tamodia 2008), vol. LNCS 5247, edited by Springer Berlin/Heidelberg, 2008, pp. 14-28

Loé SANOU, Sybille CAFFIAU, Patrick GIRARD, Laurent GUITTET, Example usage evaluation for the programming learning in the MELBA environment, IADIS International Conference e-Learning 2008 (part of the MCCSIS 2008 Conference) (IADIS 2008), Amsterdam, The Netherlands, MCISIS, 25-27 July, 2008, pp. 35-42

Sybille CAFFIAU, Patrick GIRARD, Dominique Scapin, Laurent GUITTET, Generating Interactive Applications from task Models: a Hard Challenge, International workshop on TAsk MOdels and DIAgrams (TAMODIA 2007), vol. LNCS 4849, 2007, pp. 267-272

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, A study of the efficience of an alternative programming paradigm to teach the basics of programming. , IFIP 8th World Conference on Computers in Education (WCCE 2005), Stellenboch, South Africa, IFIP TC3, SBS Conferences, edited by IFIP, 2005

Patrick GIRARD, Francis JAMBON, Mickael BARON, Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development, 11th International Conference on Human-Computer Interaction (HCII 2005), Las Vegas, USA, 2005

Loé SANOU, Patrick GIRARD, Laurent GUITTET, Introducing Programming by Demonstration techniques at the toolkit level : a case study, HCI international (HCII 2005), ISBN/ISSN : 0-8058-5807-5, edited by Gavriel Salvendy , Las Vegas, Nevada, USA, edited by CD-ROM by Lawrence Erlbaum Associates , 22-27 July, 2005

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Programming by Example: a powerful paradigm to support the experimental acquisition of programming skills., 11th International Conference on Human-Computer Interaction (HCII 2005), Las Vegas, USA, 2005

Mickael BARON, Patrick GIRARD, SUIDT : Safe User Interface Design Tool (Demo Paper), International Conference on Intelligent User Interfaces Computer-Aided Design of User Interfaces (IUI-CADUI 2004), Madeira, Portugal, edited by ACM Press, 2004, pp. 350-351

Loé SANOU, Patrick GIRARD, Laurent GUITTET, Introduire des techniques de Programmation sur Exemple dans une boîte à outils : une étude de besoin, Secondes Rencontres Jeunes Chercheurs en Interaction Homme-Machine (RJC-IHM 2004), AFIHM, Lacaneau, 2004

Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications from informal specifications to formal validation, Conference of Human Error, Safety and Systems Development (HESSD 2004), Toulouse, France, August 22-27, 2004

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Apprendre la programmation par l’exemple : méthode et système, Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie (TICE 2004), UTC Compiègnes- France, 2004, pp. 345-352

Nicolas GUIBERT, Patrick GIRARD, Teaching and Learning Programming with a Programming by Example System, International Symposium on End User Development (EUD 2003), Sankt Augustin (Bonn), Germany, EUD - net, 2003

Nicolas GUIBERT, Patrick GIRARD, Programmation sur Exemple et Enseignement assisté par ordinateur de l'algorithmique : le projet MELBA (article court), 15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), vol. 1, Caen, edited by ACM Press, 2003, pp. 248-251

Fabrice DEPAULIS, Laurent GUITTET, Patrick GIRARD, User Action Semantics in Programming by Demonstration Systems, Network of Excellence on End-User Development (EUD 2003), edited by Software Engineering Issues in EUD, Bonn (Germany), 2003

Patrick GIRARD, Mickael BARON, Francis JAMBON, Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop), Closing the Gaps - Software Engineering and Human-Computer Interaction (Interact 2003), edited by Morten Borup Harning and Jean Vanderdonckt, Zürich, Switzerland, 2003, pp. 55-62

Mickael BARON, Patrick GIRARD, SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Article de Démonstration), 15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), vol. 1, Caen, edited by ACM Press, 2003, pp. 198-201

Yamine AIT-AMEUR, Mickael BARON, Patrick GIRARD, Formal validation of HCI user tasks, International Conference on Software Engineering Research and Practice (SERP 2003), vol. 2, edited by Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum, Las Vegas, Nevada USA, edited by CSREA Press, 2003, pp. 732-738

Mickael BARON, Patrick GIRARD, SUIDT : A task model based GUI-Builder, International workshop on TAsk MOdels and DIAgrams (TAMODIA 2002), Romania, Bucharest, 2002, pp. 64-71

Mickael BARON, Patrick GIRARD, Bringing Robustness to End-User Programming, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (HCCLE 2001), edited by IEEE, edited by Entergraphica, 2001, pp. 142-149

Guillaume TEXIER, Laurent GUITTET, Patrick GIRARD, The Dialog Toolset: a new way to create the dialog component, Universal Access in HCI (UAHCI 2001), edited by Stephanidis, Constantine, New-Orleans, Louisiana, USA, edited by Lawrence Erlbaum Associates, 2001, pp. 200-204

Guillaume PATRY, Patrick GIRARD, End-User Programming in a Structured Dialogue Environment: the GIPSE Project, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments (HCCLE 2001), edited by IEEE, edited by Entergraphica, 2001, pp. 212-219

Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced with the development process, 8th IFIP International Conference - Engineering for Human-Computer Interaction (EHCI 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, edited by Springer, 2001, pp. 39-55

Mickael BARON, Patrick GIRARD, Construction interactive d'application à partir du noyau fonctionnel, Ergonomie et informatique avancées (ErgoIHM 2000), edited by Scapin, D and Vergisson, , Biarritz, France, edited by ESTIA, 2000, pp. 85-93

Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study, Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000 (SUCA 2000), edited by Hohnson, Chris and Palanque, Philippe and Paternò, Fabio, Toulouse, France, 2000

Guillaume PATRY, Patrick GIRARD, GIPSE: a Model-Based System for CAD, Third Conference on Computer-Aided Design of User Interfaces (CADUI 1999), edited by Vanderdonkt, Jean and Puerta, Angel, edited by Kluwer Academics, 1999, pp. 61-72

Francis JAMBON, Patrick GIRARD, Yohann Boisdron, Dialogue Validation from Task Analysis, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 1999), SpringerComputerScience, edited by Duke, D J and Puerta, A, Universidade do Minho, Braga, Portugal, edited by Springer-Verlag, 1999, pp. 205-224

Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, A Uniform approach for the Specification and Design of Interactive Systems: the B method, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 1998), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-352

Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction (EHCI 1998), vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, edited by Kluwer Academic Publishers, 1998, pp. 91-108

Guillaume PATRY, Patrick GIRARD, Ergonomie des dialogues structurés : Amélioration de l'évaluation de la tâche courante, Ergonomie et Informatique Avancée (ERGO'IA 1998), Biarritz, France, 1998, pp. 333-335

Guillaume PATRY, Patrick GIRARD, Techniques d'interaction : intégrer simplement l'exploration dans les dialogues structurés, Colloque de l'AFIG'97 (AFIG 1997), Rennes, 1997, pp. 1-10

Laurent GUITTET, Patrick GIRARD, Guy PIERRA, Dialogue verification using the EXPRESS language, Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSVIS 1997), vol. Conference proceedings, edited by Harrison, Michael D. and Torres, Juan Carlos, Granada, Spain, 1997, pp. 457-471

Patrick GIRARD, Guy PIERRA, Jean-Claude POTIER, Customizing by Demonstration Generic Systems to Specific Tasks, 3rd ERCIM Workshop on User Interfaces for All (UI4ALL 1997), edited by Carbonell, Noëlle, Ortrott, France, edited by ERCIM & INRIA Lorraine, 1997, pp. 189-196

Guillaume PATRY, Patrick GIRARD, From Adaptable Interfaces to Model-Based Interface Development: The GIPSE Project, ERCIM Workshop on User Interfaces for All (UI4ALL 1997), edited by Carbonell, Noëlle, Obernai, France, edited by INRIA Lorraine, 1997, pp. 127-133

Guy PIERRA, Jean-Claude POTIER, Patrick GIRARD, The EBP system : Example Based Programming for Parametric Design, Modelling and Graphics in Science and Technology (MGST 1996), edited by Teixeira, J. and Rix, J., edited by Springer-Verlag, 1996, pp. 124-140

Patrick GIRARD, Laurent GUITTET, Guy PIERRA, H4 : un modèle d'architecture d'applications graphiques interactives, Automatique, Génie Informatique et Image (AGI 1996), 1996, pp. 245-250

Yamine AIT-AMEUR, Frédéric Besnard, Patrick GIRARD, Guy PIERRA, Jean-Claude POTIER, Specification and Metaprogramming in the EXPRESS Language, International Conference on Software Engineering and Knowledge Engineering (SEKE 1995), Rockville USA, edited by IEEE-ACM Sigsoft, 1995, pp. 181-189.

Patrick GIRARD, Guy PIERRA, Programming by Demonstration, a user-oriented programming paradigm for graphic systems, Eurographics Workshop on Object-Oriented Programming Paradigm (OOPP 1995), edited by Veltkamp, Remco and Blake, Edwin, Maastricht, edited by Eurographics, 1995, pp. 217-232

Patrick GIRARD, Guy PIERRA, Structures de contrôle générales en Programmation par Démonstration, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM 1995), edited by Palanque, Philippe, Toulouse, edited by Cépaduès, 1995, pp. 61-68

Guy PIERRA, Jean-Claude POTIER, Patrick GIRARD, Design and Exchange of Parametric Models for Parts Library, 27th International Symposium on Advanced Transportation Applications, ISATA'94 (ISATA 94), Aachen, Germany, 31st October - 4 November , 1994, pp. 397-404

Olga GOUBALI, Patrick GIRARD, Laurent GUITTET, Alain Bignon, Pascal Berruet, Faciliter la spécification fonctionnelle des systèmes complexes., 27ème conférence francophone sur l'Interaction Homme-Machine (IHM 2015), novembre, 2015, pp. 4

Nicolas GUIBERT, Patrick GIRARD, Laurent GUITTET, Protocoles et Métriques pour l'Analyse de l'Activité dans un Environnement Interactif d'Apprentissage de l'Algorithmique, 27ème conférence francophone sur l'Interaction Homme-Machine (IHM 2015), novembre, 2015

Olga GOUBALI, Pascal Berruet, Alain Bignon, Patrick GIRARD, Laurent GUITTET, Anaxagore, un exemple d’ingénierie dirigée par les modèles pour la supervision industrielle, Ergonomie et Informatique Avancée (ERGO'IA 2014), ESTIA, 2014

Sybille CAFFIAU, Allan FOUSSE, Patrick GIRARD, Laurent GUITTET, Thomas LACHAUME, Comparaison de différentes approches de simulation dans les modèles de tâches, Ergonomie et interaction homme-machine (ERGO'IHM 2012), ESTIA, 2012

Thomas LACHAUME, Patrick GIRARD, Laurent GUITTET, Allan FOUSSE, Prototypage à partir de modèle de tâche : une étude pilote, 23ème Conférence Francophone Sur l'IHM (IHM 2011), edited by ACM New York, NY, USA ©2011, 2011

Sybille CAFFIAU, Patrick GIRARD, Approche dirigée par les modèles pour une conception des modèles de tâches et de dialogue des applications interactives, GDR-GPL Session IDM (GDR-GPL-IDM 2010), Pau, Mars 2010, 2010

Sybille CAFFIAU, Patrick GIRARD, Dominique Scapin, Laurent GUITTET, Prise en compte de l'utilisateur dans le processus de conception d'une application d'édition de modèles de tâches, Ergonomie et Informatique Avancée (ERGO'IA 2010), 2010

Loé SANOU, Patrick GIRARD, Laurent GUITTET, Sybille CAFFIAU, Tester la conformité d'une interface homme machine à son modèle de tâches, 20ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2008), edited by AFIHM, Metz, France, Université Paul Verlaine / AFIHM, edited by ACM, 2008, pp. 159-162

Loé SANOU, Sybille CAFFIAU, Patrick GIRARD, Laurent GUITTET, Evaluation de l'usage de l'exemple pour l'apprentissage de la programmation dans l'environnement MELBA, Ergonomie et Informatique Avancée (ERGO'IA 2008), edited by ESTIA Bidart-Biarritz, Bidart-Biarritz, France, ESTIA, edited by ESTIA, 14-17 Octobre, 2008, pp. 213-220

Loé SANOU, Patrick GIRARD, Laurent GUITTET, Sybille CAFFIAU, La programmation sur exemple pour l'automatisation des tests d'interfaces, Ergonomie et Informatique Avancée (ERGO'IA 2008), edited by ESTIA Bidart-Biarritz, Bidart-Biarritz, France, ESTIA, edited by ESTIA, 14-17 Octobre, 2008, pp. 255-256

Loé SANOU, Patrick GIRARD, Validation directe de la conformité d'une application interactive avec son modèle de tâches (Rencontre Doctorale), 19ème Conférence francophone sur l'interaction homme-machine (IHM 2007), Novembre, 2007, pp. 249-252

Loé SANOU, Patrick GIRARD, Laurent GUITTET, Comparaison de deux méthodes pour implémenter la programmation sur exemple, 18ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 265-268

Loé SANOU, Patrick GIRARD, Vers un outils pour la réalisation de système de programmation sur exemple, 3eme Rencontres Jeunes Chercheurs en Interaction Homme Machine (RJC-IHM 2006), AFIHM, Anglet, 12-15 novembre, 2006

Loé SANOU, Patrick GIRARD, Laurent GUITTET, La programmation sur exemple : principes, utilisation et utilité pour les applications interactives , Ergonomie et Informatique Avancée (ERGO'IA 2006), ESTIA, Bidart-Biarritz, 2006, pp. 201-208

Nicolas GUIBERT, Patrick GIRARD, Laurent GUITTET, Performances et usages d’un environnement d’apprentisage de la programmation « basé sur exemple », ERGO'IA (ERGOIA 2006), 2006, pp. 103-110

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Initiation à la programmation "par l'exemple" : Concepts, Environnement et Etude d'utilité., Environnements Iinformatiques pour l' Apprentissage Humain (EIAH 2005), Montpellier, France, 2005, pp. 461-466

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Validation d’une approche « basée sur exemples » pour l’apprentissage de la programmation., 17ème Conférence francophone sur l'Interaction Homme-machine (IHM 2005), edited by ACM Press, Toulouse, France, 2005, pp. 147-155

Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Example-based Programming: a pertinent visual approach for learning to program, Advanced Visual Interfaces (AVI 2004), edited by Costabile, Maria Francisca, Gallipoli, Italy, edited by acm press, 2004, pp. 358-361

Mickael BARON, Patrick GIRARD, Vers un développement sûr d'applications interactives, Conférence francophone sur l'Interaction Homme-Machine (IHM-HCI 2001), edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, edited by Cépaduès-Éditions, 2001, pp. 155-158

Patrick GIRARD, Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur, HDR, Habilitation à diriger les recherches, Université de Poitiers, january, 2000

Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA)(LISI 00-007), May, 2000