Ouvrages individuels ou collectifs
(5)
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

@BOOK{35995, author="Kubicki, Sébastien and Girard, Patrick and Calvary, Gaëlle and Lavoué, Elise", title="Proceedings of the 30th Conference on l'Interaction Homme-Machine, Brest, France, October 23-26, 2018", publisher="ACM 2019", year="2018", language="en", isbn="ISBN 978-1-4503-6078-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

@INBOOK{9850, author="Caffiau, Sybille and Girard, Patrick", title="A Global Process for Model-Driven Approaches in User Interface Design", publisher="IGI Global", year="2012", language="en",}
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


@INBOOK{6687, author="Fekete, Daniel and Girard, Patrick", title="Environnements de développement des systèmes interactifs (chapitre 1)", publisher="Hermès Science", year="2001", volume="2", series="Interaction homme-machine pour les S.I.", address="Paris, France", language="fr",}
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

@INBOOK{6691, author="Girard, Patrick", title="Bringing Programming by Demonstration to CAD Users (Chapter 7)", publisher="Morgan Kaufmann", year="2001", series="Programming by example", language="en",}
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

@BOOK{6288, author="Ait-Ameur, Yamine and Besnard, Frédéric and Girard, Patrick and Pierra, Guy and Potier, Jean-Claude", title="Specification and Metaprogramming in the EXPRESS Language", publisher="IEEE-ACM Sigsoft", year="1995", address="Rockville
USA", language="en",}
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

@ARTICLE{22806, author="Fousse, Allan and Girard, Patrick and Guittet, Laurent and Lachaume, Thomas", title="Task model simulators: a review", year="2015", volume="2015", language="en", journal="Journal d'Interaction Personne-Système",}
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


@ARTICLE{9106, author="Caffiau, Sybille and Scapin, Dominique and Girard, Patrick and Baron, Mickael and Jambon, Francis", title="Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models ", year="2010", pages="569-593", language="en", journal="Interacting with computers",}
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


@ARTICLE{6022, author="Girard, Patrick and Patry, Guillaume and Pierra, Guy and Potier, Jean-Claude", title="Deux exemples d'utilisation de la Programmation par Démonstration en Conception Assistée par Ordinateur", year="1997", volume="1997", number="1-2", pages="169-188", language="fr", journal="Revue Internationale de CFAO et d'informatique graphique",}
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


@ARTICLE{6170, author="Potier, Jean-Claude and Girard, Patrick and Pierra, Guy and Besnard, Frédéric", title="Génération graphique interactive de programmes de géométrie paramétrée", year="1995", volume="1995", number="2-3", pages="229-234", language="fr", journal="Revue d'Automatique et de Productique Appliquée ",}
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


@ARTICLE{6040, author="Girard, Patrick and Pierra, Guy and Guittet, Laurent", title="Les interacteurs hiérarchisés : une architecture orientée tâches pour la conception des dialogues", year="1995", volume="1995", number="2-3", pages="235-240", language="fr", journal="Revue d'Automatique et de Productique Appliquée (RAPA)",}
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

@ARTICLE{9687, author="Caffiau, Sybille and Girard, Patrick and Guittet, Laurent and Blanc, Xavier", title="Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur", year="2011", volume="2011", number="5", language="fr", journal="Ingénierie des systèmes d'information",}
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


@ARTICLE{7584, author="Depaulis, Fabrice and Jambon, Francis and Girard, Patrick and Guittet, Laurent", title="Le modèle d’architecture logicielle H4 : Principes, usages, outils et retours d’expérience dans les applications de conception technique", year="2006", volume="2006", number="1", pages="93-129", language="fr", journal="Revue d'Interaction Homme-Machine",}
Conférences Internationales
(47)
Ouissem MESLI, Yassine OUHAMMOU, Olga GOUBALI, Pascal Berruet, Patrick GIRARD, Emmanuel GROLLEAU, Towards a Model-Based Approach to Support Physical Test Process ofAircraft Hydraulic Systems, Model and Data Engineering - 10th International Conference, MEDI
2021, Tallinn, Estonia, June 21-23, 2021, Proceedings, edited by Springer, 2021, pp. 33--40

@INPROCEEDINGS{39069, author="Mesli, Ouissem and Ouhammou, Yassine and Goubali, Olga and Berruet, Pascal and Girard, Patrick and Grolleau, Emmanuel", title="Towards a Model-Based Approach to Support Physical Test Process ofAircraft Hydraulic Systems", booktitle="Model and Data Engineering - 10th International Conference, MEDI
2021, Tallinn, Estonia, June 21-23, 2021, Proceedings", year="2021", pages="33--40", publisher="Springer", language="en",}
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

@INPROCEEDINGS{31870, author="Riche-Piotaix, Quentin and Girard, Patrick and Bilan, Frédéric and Bellatreche, Ladjel", title="Example Based Programming and Ontology Building: A Bioinformatic Application", booktitle="International Conference on Human-Computer Interaction", year="2018", pages="101--108", organization="Springer", language="en",}
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

@INPROCEEDINGS{22813, author="Lachaume, Thomas and Girard, Patrick and Guittet, Laurent and Fousse, Allan", title="Avoiding Inaccuracies in Task Models", booktitle="18th International Conference on Human-Computer Interaction", year="2016", pages="498--509", publisher="Springer", language="en", month="jul",}
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


@INPROCEEDINGS{21945, author="Goubali, Olga and Girard, Patrick and Guittet, Laurent and Bignon, Alain and Berruet, Pascal and Bouillon, Jean-Frédérique and Kesraoui, Djamal", title="EVALUATION D’UN OUTIL D’AIDE A LA SPECIFICATION FONCTIONNELLE DES SYSTEMES COMPLEXES", booktitle="ERGONOMIE INFORMATIQUE AVANCEE", year="2016", pages="8", organization="ESTIA", language="en", month="jul",}
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

@INPROCEEDINGS{21853, author="Goubali, Olga and Girard, Patrick and Guittet, Laurent and Berruet, Pascal and Bignon, Alain and Bouillon, Jean-Frédérique and Kesraoui, Djamal", title="DESIGNING FUNCTIONAL SPECIFICATIONS for COMPLEX SYSTEMS", booktitle="18th International Conference on Human-Computer Interaction", year="2016", pages="12", publisher="Springer", language="en", month="jul",}
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

@INPROCEEDINGS{16017, author="Karimi, Ramin and Bellatreche, Ladjel and Girard, Patrick and Boukorca, Ahcène and Hajdu, Andras", title="BINOS4DNA: Bitmap Indexes and NoSQL for Identifying Species with DNA Signatures through Metagenomics Samples", booktitle="5th International Conference on Information Technology in Bio- and Medical Informatics", year="2014", language="en", month="sep",}
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

@INPROCEEDINGS{12585, author="Lachaume, Thomas and Girard, Patrick and Guittet, Laurent and Fousse, Allan", title="ProtoTask, new task model simulator", booktitle="Human-Centered Software Engineering", year="2012", editor="Winckler, Marco and Forbrig, Peter and Bernhaupt, Regina", pages="323--330", publisher="Springer Berlin Heidelberg", language="en", address="Berlin, Heidelberg", month="oct",}
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

@INPROCEEDINGS{8786, author="Caffiau, Sybille and Girard, Patrick and Guittet, Laurent and Scapin, Dominique", title="Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model", booktitle="HCI International 2009", year="2009", editor="Springer Berlin/Heidelberg", pages="667-673", language="en",}
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

@INPROCEEDINGS{8808, author="Kolski, Christophe and David, Bertrand and Girard, Patrick and Tran, Chi Dung and Ezzedine, Houcine", title="Agent-Based Architecture for Interactive System Design: Current Approaches, Perspectives and Evaluation, in Human-Computer Interaction", booktitle="HCI International", year="2009", editor="Springer Berlin/Heidelberg", pages="624-633", language="en",}
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


@INPROCEEDINGS{8192, author="Sanou, Loé and Caffiau, Sybille and Girard, Patrick and Guittet, Laurent", title="Example usage evaluation for the programming learning in the MELBA environment", booktitle="IADIS International Conference e-Learning 2008 (part of the MCCSIS 2008 Conference)", year="2008", pages="35-42", organization="MCISIS", language="en", address="Amsterdam, The Netherlands", month="jul",}
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


@INPROCEEDINGS{8133, author="Caffiau, Sybille and Girard, Patrick and Scapin, Dominique and Guittet, Laurent and Sanou, Loé", title="Assessment of Object Use for Task Modeling", booktitle="Engineering Interactive Systems", year="2008", editor="Springer Berlin/Heidelberg", pages="14-28", language="en",}
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


@INPROCEEDINGS{7907, author="Caffiau, Sybille and Girard, Patrick and Scapin, Dominique and Guittet, Laurent", title="Generating Interactive Applications from task Models: a Hard Challenge", booktitle="International workshop on TAsk MOdels and DIAgrams", year="2007", pages="267-272", language="en",}
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


@INPROCEEDINGS{7164, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="A study of the efficience of an alternative programming paradigm to teach the basics of programming. ", booktitle="IFIP 8th World Conference on Computers in Education", year="2005", organization="IFIP TC3, SBS Conferences", publisher="IFIP", language="en", address="Stellenboch, South Africa",}
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


@INPROCEEDINGS{7212, author="Girard, Patrick and Jambon, Francis and Baron, Mickael", title="Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development", booktitle="11th International Conference on Human-Computer Interaction", year="2005", language="en", address="Las Vegas, USA",}
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


@INPROCEEDINGS{7338, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent", title="Introducing Programming by Demonstration techniques at the toolkit level : a case study", booktitle="HCI international", year="2005", editor="Gavriel Salvendy ", publisher="CD-ROM by Lawrence Erlbaum Associates ", language="en", address="Las Vegas, Nevada, USA",}
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


@INPROCEEDINGS{7173, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="Programming by Example: a powerful paradigm to support the experimental acquisition of programming skills.", booktitle="11th International Conference on Human-Computer Interaction", year="2005", language="en", address="Las Vegas, USA",}
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


@INPROCEEDINGS{7053, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="Apprendre la programmation par l’exemple : méthode et système", booktitle="Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie", year="2004", pages="345-352", language="fr", address="UTC Compiègnes- France",}
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


@INPROCEEDINGS{6944, author="Baron, Mickael and Girard, Patrick", title="SUIDT : Safe User Interface Design Tool (Demo Paper)", booktitle="International Conference on Intelligent User Interfaces Computer-Aided Design of User Interfaces", year="2004", pages="350-351", publisher="ACM Press", language="en", address="Madeira, Portugal",}
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


@INPROCEEDINGS{7152, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent", title="Introduire des techniques de Programmation sur Exemple dans une boîte à outils : une étude de besoin", booktitle="Secondes Rencontres Jeunes Chercheurs en Interaction Homme-Machine", year="2004", organization="AFIHM, Lacaneau", language="fr",}
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


@INPROCEEDINGS{7066, author="Ait-Ameur, Yamine and Bréholée, Benoit and Girard, Patrick and Guittet, Laurent and Jambon, Francis", title="Formal verification and validation of interactive systems specifications from informal specifications to formal validation", booktitle="Conference of Human Error, Safety and Systems Development", year="2004", language="en", address="Toulouse, France", month="aug",}
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


@INPROCEEDINGS{6939, author="Baron, Mickael and Girard, Patrick", title="SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Article de Démonstration)", booktitle="15ème Conférence Francophone sur l'Interaction Homme-Machine", year="2003", pages="198-201", publisher="ACM Press", language="fr", address="Caen",}
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


@INPROCEEDINGS{7058, author="Guibert, Nicolas and Girard, Patrick", title="Teaching and Learning Programming with a Programming by Example System", booktitle="International Symposium on End User Development", year="2003", organization="EUD - net", language="en", address="Sankt Augustin (Bonn), Germany",}
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


@INPROCEEDINGS{6920, author="Ait-Ameur, Yamine and Baron, Mickael and Girard, Patrick", title="Formal validation of HCI user tasks", booktitle="International Conference on Software Engineering Research and Practice", year="2003", editor="Ban, Al-Ani and H.R, Arabnia and Youngsong, Mum", pages="732-738", publisher="CSREA Press", language="en", address="Las Vegas, Nevada USA",}
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


@INPROCEEDINGS{6958, author="Guibert, Nicolas and Girard, Patrick", title="Programmation sur Exemple et Enseignement assisté par ordinateur de l'algorithmique : le projet MELBA (article court)", booktitle="15ème Conférence Francophone sur l'Interaction Homme-Machine", year="2003", pages="248-251", publisher="ACM Press", language="fr", address="Caen",}
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

@INPROCEEDINGS{8995, author="Depaulis, Fabrice and Guittet, Laurent and Girard, Patrick", title="User Action Semantics in Programming by Demonstration Systems", booktitle="Network of Excellence on End-User Development", year="2003", editor="Software Engineering Issues in EUD", language="en", address="Bonn (Germany)",}
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


@INPROCEEDINGS{6968, author="Girard, Patrick and Baron, Mickael and Jambon, Francis", title="Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop)", booktitle="Closing the Gaps - Software Engineering and Human-Computer Interaction", year="2003", editor="Morten Borup Harning and Jean Vanderdonckt", pages="55-62", language="en", address="Zürich, Switzerland",}
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


@INPROCEEDINGS{5975, author="Baron, Mickael and Girard, Patrick", title="SUIDT : A task model based GUI-Builder", booktitle="International workshop on TAsk MOdels and DIAgrams", year="2002", pages="64-71", language="en", address="Romania, Bucharest",}
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


@INPROCEEDINGS{6803, author="Baron, Mickael and Girard, Patrick", title="Bringing Robustness to End-User Programming", booktitle="2001 IEEE Symposia on Human-Centric Computing Languages and Environments", year="2001", editor="IEEE", pages="142-149", publisher="Entergraphica", language="en",}
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


@INPROCEEDINGS{6103, author="Jambon, Francis and Girard, Patrick and Ait-Ameur, Yamine", title="Interactive System Safety and Usability enforced with the development process", booktitle="8th IFIP International Conference - Engineering for Human-Computer Interaction", year="2001", editor="Little, Reed Murray and Nigay, Laurence", pages="39-55", publisher="Springer", language="en", address="Berlin",}
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


@INPROCEEDINGS{6205, author="Texier, Guillaume and Guittet, Laurent and Girard, Patrick", title="The Dialog Toolset: a new way to create the dialog component", booktitle="Universal Access in HCI", year="2001", editor="Stephanidis, Constantine", pages="200-204", publisher="Lawrence Erlbaum Associates", language="en", address="New-Orleans, Louisiana, USA", month="aug",}
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

@INPROCEEDINGS{6149, author="Patry, Guillaume and Girard, Patrick", title="End-User Programming in a Structured Dialogue Environment: the GIPSE Project", booktitle="2001 IEEE Symposia on Human-Centric Computing Languages and Environments", year="2001", editor="IEEE", pages="212-219", publisher="Entergraphica", language="en",}
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

@INPROCEEDINGS{6097, author="Jambon, Francis and Girard, Patrick and Ait-Ameur, Yamine", title="Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case Study", booktitle="Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000", year="2000", editor="Hohnson, Chris and Palanque, Philippe and Paternò, Fabio", language="en", address="Toulouse, France",}
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


@INPROCEEDINGS{6144, author="Patry, Guillaume and Girard, Patrick", title="GIPSE: a Model-Based System for CAD", booktitle="Third Conference on Computer-Aided Design of User Interfaces", year="1999", editor="Vanderdonkt, Jean and Puerta, Angel", pages="61-72", publisher="Kluwer Academics", language="en",}
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


@INPROCEEDINGS{6109, author="Jambon, Francis and Girard, Patrick and Boisdron, Yohann", title="Dialogue Validation from Task Analysis", booktitle="Eurographics Workshop on Design, Specification, and Verification of Interactive Systems", year="1999", editor="Duke, D J and Puerta, A", pages="205-224", publisher="Springer-Verlag", language="en", address="Universidade do Minho, Braga, Portugal",}
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


@INPROCEEDINGS{5952, author="Ait-Ameur, Yamine and Girard, Patrick and Jambon, Francis", title="Using the B formal approach for incremental specification design of interactive systems", booktitle="Engineering for Human-Computer Interaction", year="1998", editor="Chatty, Stéphane and Dewan, Prasun", pages="91-108", publisher="Kluwer Academic Publishers", language="en",}
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


@INPROCEEDINGS{5946, author="Ait-Ameur, Yamine and Girard, Patrick and Jambon, Francis", title="A Uniform approach for the Specification and Design of Interactive Systems: the B method", booktitle="Eurographics Workshop on Design, Specification, and Verification of Interactive Systems", year="1998", editor="Markopoulos, Panos and Johnson, Peter", pages="333-352", language="en", address="Abingdon, UK",}
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


@INPROCEEDINGS{6139, author="Patry, Guillaume and Girard, Patrick", title="Ergonomie des dialogues structurés : Amélioration de l'évaluation de la tâche courante", booktitle="Ergonomie et Informatique Avancée", year="1998", pages="333-335", language="fr", address="Biarritz, France", month="oct",}
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


@INPROCEEDINGS{6129, author="Patry, Guillaume and Girard, Patrick", title="From Adaptable Interfaces to Model-Based Interface Development: The GIPSE Project", booktitle="ERCIM Workshop on User Interfaces for All", year="1997", editor="Carbonell, Noëlle", pages="127-133", publisher="INRIA Lorraine", language="en", address="Obernai, France",}
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


@INPROCEEDINGS{6052, author="Guittet, Laurent and Girard, Patrick and Pierra, Guy", title="Dialogue verification using the EXPRESS language", booktitle="Eurographics Workshop on Design, Specification and Verification of Interactive Systems", year="1997", editor="Harrison, Michael D. and Torres, Juan Carlos", pages="457-471", language="en", address="Granada, Spain",}
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


@INPROCEEDINGS{6046, author="Girard, Patrick and Pierra, Guy and Potier, Jean-Claude", title="Customizing by Demonstration Generic Systems to Specific Tasks", booktitle="3rd ERCIM Workshop on User Interfaces for All", year="1997", editor="Carbonell, Noëlle", pages="189-196", publisher="ERCIM & INRIA Lorraine", language="en", address="Ortrott, France", month="jan",}
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


@INPROCEEDINGS{6134, author="Patry, Guillaume and Girard, Patrick", title="Techniques d'interaction : intégrer simplement l'exploration dans les dialogues structurés", booktitle="Colloque de l'AFIG'97", year="1997", pages="1-10", language="fr", address="Rennes",}
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


@INPROCEEDINGS{6161, author="Pierra, Guy and Potier, Jean-Claude and Girard, Patrick", title="The EBP system : Example Based Programming for Parametric Design", booktitle="Modelling and Graphics in Science and Technology", year="1996", editor="Teixeira, J. and Rix, J.", pages="124-140", publisher="Springer-Verlag", language="en",}
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

@INPROCEEDINGS{8946, author="Girard, Patrick and Guittet, Laurent and Pierra, Guy", title="H4 : un modèle d'architecture d'applications graphiques interactives", booktitle="Automatique, Génie Informatique et Image", year="1996", pages="245-250", language="fr",}
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.

@INPROCEEDINGS{6586, author="Ait-Ameur, Yamine and Besnard, Frédéric and Girard, Patrick and Pierra, Guy and Potier, Jean-Claude", title="Specification and Metaprogramming in the EXPRESS Language", booktitle="International Conference on Software Engineering and Knowledge Engineering", year="1995", pages="181-189.", publisher="IEEE-ACM Sigsoft", language="en", address="Rockville USA",}
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


@INPROCEEDINGS{6028, author="Girard, Patrick and Pierra, Guy", title="Programming by Demonstration, a user-oriented programming paradigm for graphic systems", booktitle="Eurographics Workshop on Object-Oriented Programming Paradigm", year="1995", editor="Veltkamp, Remco and Blake, Edwin", pages="217-232", publisher="Eurographics", language="en", address="Maastricht",}
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


@INPROCEEDINGS{6033, author="Girard, Patrick and Pierra, Guy", title="Structures de contrôle générales en Programmation par Démonstration", booktitle="Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine", year="1995", editor="Palanque, Philippe", pages="61-68", publisher="Cépaduès", language="fr", address="Toulouse",}
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


@INPROCEEDINGS{6650, author="Pierra, Guy and Potier, Jean-Claude and Girard, Patrick", title="Design and Exchange of Parametric Models for Parts Library", booktitle="27th International Symposium on Advanced Transportation Applications, ISATA'94", year="1994", pages="397-404", language="en", address="Aachen, Germany",}
Conférences Nationales
(20)
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

@INPROCEEDINGS{21868, author="Goubali, Olga and Girard, Patrick and Guittet, Laurent and Bignon, Alain and Berruet, Pascal", title="Faciliter la spécification fonctionnelle des systèmes complexes.", booktitle="27ème conférence francophone sur l'Interaction Homme-Machine", year="2015", pages="4", language="fr", month="oct",}
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

@INPROCEEDINGS{7930, author="Guibert, Nicolas and Girard, Patrick and Guittet, Laurent", title="Protocoles et Métriques pour l'Analyse de l'Activité dans un Environnement Interactif d'Apprentissage de l'Algorithmique", booktitle="27ème conférence francophone sur l'Interaction Homme-Machine", year="2015", language="fr", month="oct",}
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


@INPROCEEDINGS{16234, author="Goubali, Olga and Berruet, Pascal and Bignon, Alain and Girard, Patrick and Guittet, Laurent", title="Anaxagore, un exemple d’ingénierie dirigée par les modèles pour la supervision industrielle", booktitle="Ergonomie et Informatique Avancée", year="2014", organization="ESTIA", language="fr", month="oct",}
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


@INPROCEEDINGS{10138, author="Caffiau, Sybille and Fousse, Allan and Girard, Patrick and Guittet, Laurent and Lachaume, Thomas", title="Comparaison de différentes approches de simulation dans les modèles de tâches", booktitle="Ergonomie et interaction homme-machine", year="2012", organization="ESTIA", language="fr", month="oct",}
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

@INPROCEEDINGS{9676, author="Lachaume, Thomas and Girard, Patrick and Guittet, Laurent and Fousse, Allan", title="Prototypage à partir de modèle de tâche : une étude pilote", booktitle="23ème Conférence Francophone Sur l'IHM", year="2011", editor="ACM New York, NY, USA ©2011", language="fr", month="oct",}
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

@INPROCEEDINGS{9160, author="Caffiau, Sybille and Girard, Patrick and Scapin, Dominique and Guittet, Laurent", title="Prise en compte de l'utilisateur dans le processus de conception d'une application d'édition de modèles de tâches", booktitle="Ergonomie et Informatique Avancée", year="2010", language="fr", month="oct",}
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

@INPROCEEDINGS{9230, author="Caffiau, Sybille and Girard, Patrick", title="Approche dirigée par les modèles pour une conception des modèles de tâches et de dialogue des applications interactives", booktitle="GDR-GPL Session IDM", year="2010", language="fr", address="Pau",}
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


@INPROCEEDINGS{8199, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent and Caffiau, Sybille", title="Tester la conformité d'une interface homme machine à son modèle de tâches", booktitle="20ème Conférence francophone sur l'Interaction Homme-Machine", year="2008", editor="AFIHM", pages="159-162", organization="Université Paul Verlaine / AFIHM", publisher="ACM", language="fr", address="Metz, France",}
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


@INPROCEEDINGS{8185, author="Sanou, Loé and Caffiau, Sybille and Girard, Patrick and Guittet, Laurent", title="Evaluation de l'usage de l'exemple pour l'apprentissage de la programmation dans l'environnement MELBA", booktitle="Ergonomie et Informatique Avancée", year="2008", editor="ESTIA Bidart-Biarritz", pages="213-220", organization="ESTIA", publisher="ESTIA", language="fr", address="Bidart-Biarritz, France",}
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


@INPROCEEDINGS{8206, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent and Caffiau, Sybille", title="La programmation sur exemple pour l'automatisation des tests d'interfaces", booktitle="Ergonomie et Informatique Avancée", year="2008", editor="ESTIA Bidart-Biarritz", pages="255-256", organization="ESTIA", publisher="ESTIA", language="fr", address="Bidart-Biarritz, France",}
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


@INPROCEEDINGS{8211, author="Sanou, Loé and Girard, Patrick", title="Validation directe de la conformité d'une application interactive avec son modèle de tâches (Rencontre Doctorale)", booktitle="19ème Conférence francophone sur l'interaction homme-machine", year="2007", pages="249-252", language="fr",}
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


@INPROCEEDINGS{7506, author="Guibert, Nicolas and Girard, Patrick and Guittet, Laurent", title="Performances et usages d’un environnement d’apprentisage de la programmation « basé sur exemple »", booktitle="ERGO'IA ", year="2006", pages="103-110", language="fr",}
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


@INPROCEEDINGS{7600, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent", title="La programmation sur exemple : principes, utilisation et utilité pour les applications interactives ", booktitle="Ergonomie et Informatique Avancée", year="2006", pages="201-208", organization="ESTIA, Bidart-Biarritz", language="fr", month="oct",}
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

@INPROCEEDINGS{7684, author="Sanou, Loé and Girard, Patrick", title="Vers un outils pour la réalisation de système de programmation sur exemple", booktitle="3eme Rencontres Jeunes Chercheurs en Interaction Homme Machine", year="2006", organization="AFIHM, Anglet", language="fr",}
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, avril, 2006, pp. 265-268


@INPROCEEDINGS{7590, author="Sanou, Loé and Girard, Patrick and Guittet, Laurent", title="Comparaison de deux méthodes pour implémenter la programmation sur exemple", booktitle="18ème Conférence Francophone sur l'Interaction Homme-Machine", year="2006", editor="ACM International Conference Proceeding Series", pages="265-268", language="fr",}
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

@INPROCEEDINGS{7236, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="Initiation à la programmation "par l'exemple" : Concepts, Environnement et Etude d'utilité.", booktitle="Environnements Iinformatiques pour l' Apprentissage Humain", year="2005", pages="461-466", language="fr", address="Montpellier, France",}
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


@INPROCEEDINGS{7245, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="Validation d’une approche « basée sur exemples » pour l’apprentissage de la programmation.", booktitle="17ème Conférence francophone sur l'Interaction Homme-machine", year="2005", editor="ACM Press", pages="147-155", language="fr", address="Toulouse,
France",}
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


@INPROCEEDINGS{7044, author="Guibert, Nicolas and Guittet, Laurent and Girard, Patrick", title="Example-based Programming: a pertinent visual approach for learning to program", booktitle="Advanced Visual Interfaces", year="2004", editor="Costabile, Maria Francisca", pages="358-361", publisher="acm press", language="en", address="Gallipoli, Italy",}
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


@INPROCEEDINGS{5970, author="Baron, Mickael and Girard, Patrick", title="Vers un développement sûr d'applications interactives", booktitle="Conférence francophone sur l'Interaction Homme-Machine", year="2001", editor="Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain", pages="155-158", publisher="Cépaduès-Éditions", language="fr",}
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


@INPROCEEDINGS{5960, author="Baron, Mickael and Girard, Patrick", title="Construction interactive d'application à partir du noyau fonctionnel", booktitle="Ergonomie et informatique avancées", year="2000", editor="Scapin, D and Vergisson, ", pages="85-93", publisher="ESTIA", language="fr", address="Biarritz, France",}
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


@PHDTHESIS{6017, author="Girard, Patrick", title="Ingénierie des systèmes interactifs : vers des méthodes formelles intégrant l'utilisateur", year="2000", language="fr", month="jan",}
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

@TECHREPORT{5941, author="Ait-Ameur, Yamine and Bréholée, Benoit and Girard, Patrick and Guittet, Laurent and Jambon, Francis", title="Formal verification and validation of interactive systems specifications", institution="Laboratory of Applied Computer Science (LISI/ENSMA)", year="2000", number="LISI 00-007", language="en", month="2000",}