Patrick Girard

42 papers B 1C 2Misc 1Journal 3Unranked 32
YearRankTypeTitle / Venue / Authors
2024 J jnl
Resource constraint scheduling on two dedicated machines: Application to avionics.
EURO J. Comput. Optim.
Ouissem Mesli-Kesraoui, Loic Ledreck, Emmanuel Grolleau, Soraya Kesraoui, Pascal Berruet, Yassine Ouhammou, Patrick Girard
2021 C conf
Towards a Model-Based Approach to Support Physical Test Process of Aircraft Hydraulic Systems.
MEDI
Ouissem Mesli-Kesraoui, Yassine Ouhammou, Olga Goubali, Pascal Berruet, Patrick Girard, Emmanuel Grolleau
2019 — conf
End User Designing of Complex Task Models for Complex Control-Command Systems.
HCI (1)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Soraya Kesraoui-Mesli, Pascal Berruet, Benjamin Morio, Laurianne Boulhic
2019 — ed.
Proceedings of the 30th Conference on l'Interaction Homme-Machine, IHM 2018, Brest, France, October 23-26, 2018
IHM
Sébastien Kubicki, Patrick Girard, Gaëlle Calvary, Élise Lavoué
2018 — conf
Example Based Programming and Ontology Building: A Bioinformatic Application.
HCI (28)
Quentin Riché-Piotaix, Patrick Girard, Frédéric Bilan, Ladjel Bellatreche
2016 — conf
Avoiding Inaccuracies in Task Models.
HCI (1)
Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse
2016 — conf
Designing Functional Specifications for Complex Systems.
HCI (1)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Pascal Berruet, Jean-Frédéric Bouillon
2016 — conf
Evaluation of tool support for functional specification of complex systems.
Erog'IA
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Laurianne Boulhic, Pascal Berruet, Jean-Frédéric Bouillon
2015 — conf
Teaching task analysis for user interface design: lessons learned from three pilot studies.
IHM
Káthia Marçal de Oliveira, Patrick Girard, Taisa Guidini Gonçalves, Sophie Lepreux, Christophe Kolski
2014 — conf
Anaxagore, an example of model-driven engineering for industrial supervision.
Erog'IA
Olga Goubali, Alain Bignon, Pascal Berruet, Patrick Girard, Laurent Guittet
2014 — conf
BINOS4DNA: Bitmap Indexes and NoSQL for Identifying Species with DNA Signatures through Metagenomics Samples.
ITBAM
Ramin Karimi, Ladjel Bellatreche, Patrick Girard, Ahcène Boukorca, András Hajdu
2012 — conf
Comparaison de différentes approches de simulation dans les modèles de tâches.
Ergo'IHM
Thomas Lachaume, Sybille Caffiau, Patrick Girard, Allan Fousse, Laurent Guittet
2012 — conf
ProtoTask, New Task Model Simulator.
HCSE
Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse
2011 — conf
Prototypage basé sur les modèles de tâches: une étude pilote.
IHM
Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse
2011 J jnl
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 Inf.
Sybille Caffiau, Patrick Girard, Laurent Guittet, Xavier Blanc
2010 J jnl
Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models.
Interact. Comput.
Sybille Caffiau, Dominique L. Scapin, Patrick Girard, Mickaël Baron, Francis Jambon
2010 — conf
Prise en compte de l'utilisateur dans le processus de conception d'une application d'édition de modèles de tâches.
Erog'IA
Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet
2009 — conf
Agent-Based Architecture for Interactive System Design: Current Approaches, Perspectives and Evaluation.
HCI (1)
Christophe Kolski, Peter Forbrig, Bertrand David, Patrick Girard, Chi Dung Tran, Houcine Ezzedine
2009 — conf
Formally Expressing the Users' Objects World in Task Models.
TAMODIA
Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet, Loé Sanou
2009 — conf
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model.
HCI (2)
Sybille Caffiau, Patrick Girard, Laurent Guittet, Dominique L. Scapin
2008 — conf
Assessment of Object Use for Task Modeling.
TAMODIA/HCSE
Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet, Loé Sanou
2008 — conf
Tester la conformité d'une IHM à son modèle de tâches.
IHM
Loé Sanou, Patrick Girard, Laurent Guittet, Sybille Caffiau
2007 — conf
Generating Interactive Applications from Task Models: A Hard Challenge.
TAMODIA
Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet
2007 — conf
Protocoles et métriques pour l'analyse de l'activité dans un environnement interactif d'apprentissage de l'algorithmique.
IHM
Nicolas Guibert, Patrick Girard, Laurent Guittet
2006 — conf
Comparaison de deux méthodes pour implémenter la programmation sur exemple.
IHM
Loé Sanou, Patrick Girard, Laurent Guittet
2005 — conf
Validation d'une approche " basée sur exemples " pour l'apprentissage de la programmation.
IHM
Nicolas Guibert, Laurent Guittet, Patrick Girard
2004 B conf
Example-based programming: a pertinent visual approach for learning to program.
AVI
Nicolas Guibert, Patrick Girard, Laurent Guittet
2004 — conf
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation.
Human Error, Safety and Systems Development
Yamine Aït Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
2003 — conf
Formal Validation of HCI User Tasks.
Software Engineering Research and Practice
Yamine Aït Ameur, Mickaël Baron, Patrick Girard
2003 — conf
Programming by example and computer-aided teaching of algorithmics: the MELBA project.
IHM
Nicolas Guibert, Patrick Girard
2003 — conf
SUIDT: a user interface builder for secure user interfaces.
IHM
Mickaël Baron, Patrick Girard
2002 — ed.
Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002
IHM
Patrick Girard, Thomas Baudel, Michel Beaudouin-Lafon, Eric Lecolinet, Dominique L. Scapin
2002 — conf
SUIDT: A task model based GUI-Builder.
TAMODIA
Mickaël Baron, Patrick Girard
2001 — ch.
Bringing Programming by Demonstration to CAD Users.
Your Wish is My Command
Patrick Girard
2001 — conf
Bringing Robustness to End-User Programming.
HCC
Mickaël Baron, Patrick Girard
2001 — conf
Interactive System Safety and Usability Enforced with the Development Process.
EHCI
Francis Jambon, Patrick Girard, Yamine Aït Ameur
2001 Misc conf
The dialog tool set: a new way to create the dialog component.
HCI
Guillaume Texier, Laurent Guittet, Patrick Girard
1999 — conf
Dialogue Validation from Task Analysis.
DSV-IS
Francis Jambon, Patrick Girard, Yohann Boisdron
1998 — conf
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
DSV-IS (2)
Yamine Aït Ameur, Patrick Girard, Francis Jambon
1998 — conf
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
EHCI
Yamine Aït Ameur, Patrick Girard, Francis Jambon
1995 C conf
Formal Specification and Metaprogramming in the EXPRESS Language.
SEKE
Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier
1990 — conf
End User Programming Environments : Interactive Programming-on-Example in CAD parametric Design.
Eurographics
Patrick Girard, Guy Pierra, Laurent Guittet