Patrick Girard

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 8

Top Topics

Lessons Learned

Ontology Evolution

Complex Systems

Top Venues

Publications

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