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", 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",}
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",}
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",}
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",}
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", 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", 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", 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", 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", 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", 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", journal="Revue d'Interaction Homme-Machine",}
Conférences Internationales
(47)
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",}
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", 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", 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", 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", 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", address="Berlin, Heidelberg", month="oct",}
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",}
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",}
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",}
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", address="Amsterdam, The Netherlands", month="jul",}
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",}
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", 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", 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 ", 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", address="Las Vegas, USA",}
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", 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",}
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", address="Toulouse, France", month="aug",}
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", address="UTC Compiègnes- France",}
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", address="Sankt Augustin (Bonn), Germany",}
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", 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", 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", address="Zürich, Switzerland",}
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", address="Caen",}
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", address="Las Vegas, Nevada USA",}
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", 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",}
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", 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",}
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", address="Berlin",}
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", address="Biarritz, France",}
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", 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",}
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", address="Universidade do Minho, Braga, Portugal",}
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", address="Abingdon, UK",}
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",}
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", address="Biarritz, France", month="oct",}
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", address="Rennes",}
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", 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", address="Ortrott, France", month="jan",}
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", address="Obernai, France",}
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",}
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",}
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", 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", 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", 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", address="Aachen, Germany",}
Conférences Nationales
(19)
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", 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", 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", 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", 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", 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", address="Pau",}
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", month="oct",}
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", 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", 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", 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",}
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


@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", organization="Montréal",}
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",}
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", month="oct",}
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",}
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", 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", 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", 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",}
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", 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", month="2000",}