Patrick GIRARD
Patrick GIRARD
Professeur des Universités

email : girard@ensma.fr
tél : +33 (0)549498070
tutelle: SFA - Université de Poitiers
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Enseignement
  • Interaction Homme-Machine
  • Programmation Orientée-Objet
  • Génie Logiciel
Recherche
  • Interaction Homme-Machine
Publications
(78)
Ouvrages individuels ou collectifs
(4)
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
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
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-52http://www.editions-hermes.fr/fiche.asp?qid=4242http://www.editions-hermes.fr/fiche.asp?qid=4242
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
Revues Internationales
(5)
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-593http://dx.doi.org/10.1016/j.intcom.2010.06.003http://dx.doi.org/10.1016/j.intcom.2010.06.003
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-1886022/1997-micad-girard.pdf
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-2406040/1995-rapa-girard.pdf
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-2346170/1995-rapa-potier.pdf
Revues Nationales
(2)
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-1297584/2006-RIHM-Depaulis.pdf
Conférences Internationales
(46)
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, 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. 821945/OG_ERGOIA2016.pdf
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
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 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, 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 (HCSE and TAMODIA), vol. LNCS 5247, edited by Springer Berlin/Heidelberg, 2008, pp. 14-288133/2008-CaffiauTAMODIA.pdf
Loé SANOU, Sybille CAFFIAU, Patrick GIRARD, Laurent GUITTET, Example usage evaluation for the programming learning in the MELBA environment, IADIS-MCCSIS 08, Amsterdam, The Netherlands, MCISIS, edited by IADIS, 25-27 July, 2008, pp. 35-428192/2008-IADIS-Sanou.pdf
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-2727907/2007-TMD-Caffiau.pdf
Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Programming by Example: a powerful paradigm to support the experimental acquisition of programming skills., HCI International 2005, vol. ‘Human-Computer Interfaces: Concepts, New Ideas, Better Usability, and Applications’, n. 4, edited by Lawrence Erlbaum Associates, Inc, Las Vegas, Nevada, USA, 22-27 July, 20057173//papers/2005/2005-HCII-Guibert.pdf
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, 20057164/2005-WCCE-Guibert.pdf
Patrick GIRARD, Francis JAMBON, Mickael BARON, Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development, HCII, Las Vegas, USA, 20057212/2005-hcii05-gijaba.pdf
Loé SANOU, Patrick GIRARD, Laurent GUITTET, Introducing Programming by Demonstration techniques at the toolkit level : a case study, HCI international 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, 20057338//papers/2005/2005-HCI-SANOU.pdf
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-3527053/2004-TICESI-guibert.pdf
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, HESSD : Conference of Human Error, Safety and Systems Development, Toulouse, France, August 22-27, 20047066/HESSD04_AitAmeur.pdf
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, 20-22 octobre, 20047152/2004-RJC-SANOU.pdf
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-3516944/2004-iuicadui04-bmgp.pdf
Nicolas GUIBERT, Patrick GIRARD, Teaching and Learning Programming with a Programming by Example System, International Symposium on End User Development, Sankt Augustin (Bonn), Germany, EUD - net, 20037058/2003-ISEUD-guibert.pdf
Fabrice DEPAULIS, Laurent GUITTET, Patrick GIRARD, User Action Semantics in Programming by Demonstration Systems, Network of Excellence on End-User Development, 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), Interact 2003 - Closing the Gaps - Software Engineering and Human-Computer Interaction, edited by Morten Borup Harning and Jean Vanderdonckt, Zürich, Switzerland, 2003, pp. 55-626968/2003-sehci-gibmjf.pdf
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-7386920/2003-serp03-yabagi.pdf
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-2016939/2003-ihm03-bmgp.pdf
Nicolas GUIBERT, Patrick GIRARD, Programmation sur Exemple et Enseignement assisté par ordinateur de l'algorithmique : le projet MELBA (article court), 15° Conférence Francophone sur l'Interaction Homme-Machine (IHM'2003), vol. 1, Caen, edited by ACM Press, 2003, pp. 248-2516958/2003-IHM-GN_GP.pdf
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-715975/2002-tamodia02-baron-pg.pdf
Mickael BARON, Patrick GIRARD, Bringing Robustness to End-User Programming, 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, edited by IEEE, Stresa, Italy, edited by Entergraphica, 2001, pp. 142-1496803/2001-eup01-baron-pg.pdf
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-2046205/2001-uhci01-texier-lg-pg.pdf
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, edited by IEEE, Stresa, Italy, edited by Entergraphica, 2001, pp. 212-219
Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, Toronto, Canada, May 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, edited by Springer, 2001, pp. 39-556103/2001-ehci01-jambon-pg-yaa.pdf
Mickael BARON, Patrick GIRARD, Construction interactive d'application à partir du noyau fonctionnel, Ergonomie et informatique avancées (Ergo-IHM'2000), edited by Scapin, D and Vergisson, , Biarritz, France, edited by ESTIA, 2000, pp. 85-935960/2000-ihm-gp-bm.pdf
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-726144/1999-cadui-patry.pdf
Francis JAMBON, Patrick GIRARD, Yohann Boisdron, Dialogue Validation from Task Analysis, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99), SpringerComputerScience, edited by Duke, D J and Puerta, A, Universidade do Minho, Braga, Portugal, edited by Springer-Verlag, 1999, pp. 205-2246109/1999-dsvis-test.pdf
Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction, vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, edited by Kluwer Academic Publishers, 1998, pp. 91-1085952/1998-ehci-yaa_pg_fj.pdf
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 (DSV-IS'98), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-3525946/1998-dsvis-yaa_pg_fj.pdf
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-3356139/1998-ergoIA-patry.pdf
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-1966046/1997-ui4all-girard-long.pdf
Guillaume PATRY, Patrick GIRARD, From Adaptable Interfaces to Model-Based Interface Development: The GIPSE Project, ERCIM Workshop on User Interfaces for All (UI4ALL'97), edited by Carbonell, Noëlle, Obernai, France, edited by INRIA Lorraine, 1997, pp. 127-1336129/1997-ui4all-patry.pdf
Laurent GUITTET, Patrick GIRARD, Guy PIERRA, Dialogue verification using the EXPRESS language, Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'97), vol. Conference proceedings, edited by Harrison, Michael D. and Torres, Juan Carlos, Granada, Spain, 1997, pp. 457-4716052/1997-dsvis-guittet.pdf
Guillaume PATRY, Patrick GIRARD, Techniques d'interaction : intégrer simplement l'exploration dans les dialogues structurés, Colloque de l'AFIG'97, Rennes, 1997, pp. 1-106134/1997-afig-patry.pdf
Guy PIERRA, Jean-Claude POTIER, Patrick GIRARD, The EBP system : Example Based Programming for Parametric Design, Modelling and Graphics in Science and Technology, edited by Teixeira, J. and Rix, J., edited by Springer-Verlag, 1996, pp. 124-1406161/1996-mgst-pierra.pdf
Patrick GIRARD, Laurent GUITTET, Guy PIERRA, H4 : un modèle d'architecture d'applications graphiques interactives, Actes du colloque AGI'96 (Automatique et Génie Informatique), Tours, 6-7 Juin, 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'95, Rockville USA, edited by IEEE-ACM Sigsoft, 1995, pp. 181-189.
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'95), edited by Palanque, Philippe, Toulouse, edited by Cépaduès, 1995, pp. 61-686033/1995-ihm-girard.pdf
Patrick GIRARD, Guy PIERRA, Programming by Demonstration, a user-oriented programming paradigm for graphic systems, Eurographics Workshop on Object-Oriented Programming Paradigm, edited by Veltkamp, Remco and Blake, Edwin, Maastricht, edited by Eurographics, 1995, pp. 217-2326028/1995-oopp-girard.pdf
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, Aachen, Germany, 31st October - 4 November , 1994, pp. 397-4046650/1994-ISATA-PIERRA.pdf
Conférences Nationales
(19)
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, 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
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, 201416234/supervision_Olga_2014_final.pdf
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), ESTIA, 201210138/ComparaisonSimulation2.0.pdf
Thomas LACHAUME, Patrick GIRARD, Laurent GUITTET, Allan FOUSSE, Prototypage à partir de modèle de tâche : une étude pilote, 23ième Conférence Francophone Sur l'IHM 24-27 octobre 2011 Nice - Sophia Antipolis, edited by ACM New York, NY, USA ©2011, 2011
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
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, Pau, Mars 2010, 2010
Loé SANOU, Patrick GIRARD, Laurent GUITTET, Sybille CAFFIAU, Tester la conformité d'une interface homme machine à son modèle de tâches, IHM 08, edited by AFIHM, Metz, France, Université Paul Verlaine / AFIHM, edited by ACM, 2008, pp. 159-1628199/2008-IHM_08-Sanou.pdf
Loé SANOU, Patrick GIRARD, Laurent GUITTET, Sybille CAFFIAU, La programmation sur exemple pour l'automatisation des tests d'interfaces, Ergo'IA 08, edited by ESTIA Bidart-Biarritz, Bidart-Biarritz, France, ESTIA, edited by ESTIA, 14-17 Octobre, 2008, pp. 255-2568206/2008-IA-Sanou.pdf
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, Ergo'IA 08, edited by ESTIA Bidart-Biarritz, ESTIA, 14-17 Octobre, 2008, pp. 213-2208185/2008-IA-Sanou.pdf
Loé SANOU, Patrick GIRARD, Validation directe de la conformité d'une application interactive avec son modèle de tâches, IHM Rencontre doctorale, edited by AFIHM, Paris France, AFIH , 12-15 Novembre, 2007, pp. 249-2528211/2007-IHM-Sanou.pdf
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'06, 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-2087600/2006-ErgoIA-Sanou.pdf
Loé SANOU, Patrick GIRARD, Laurent GUITTET, Comparaison de deux méthodes pour implémenter la programmation sur exemple, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM), edited by AFIHM, Montréal, 2006, pp. 265-2687590/2006-IHM-Sanou.pdf
Nicolas GUIBERT, Patrick GIRARD, Laurent GUITTET, Performances et usages d’un environnement d’apprentisage de la programmation « basé sur exemple », ERGO'IA , 2006, pp. 103-1107506/2006-ERGOIA-guibert_girard_guittet.pdf
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), 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., 17e Conférence francophone sur l'Interaction Homme-machine (IHM 2005), Toulouse, France, 2005, pp. 147-1557245//papers/2005/2005-CIH-Guibert.pdf
Nicolas GUIBERT, Laurent GUITTET, Patrick GIRARD, Example-based Programming: a pertinent visual approach for learning to program, Advanced Visual Interfaces (AVI), edited by Costabile, Maria Francisca, Gallipoli, Italy, edited by acm press, 2004, pp. 358-3617044/2004_AVI_Guibert.pdf
Mickael BARON, Patrick GIRARD, Vers un développement sûr d'applications interactives, IHM-HCI 2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, edited by Cépaduès-Éditions, 2001, pp. 155-1585970/2001-ihmhci01-baron-gp.pdf
Thèses et HDR
(1)
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, 20006016/2000-hdr-girard.pdf
Rapports de Recherche
(1)
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