default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick Girard 0002
Person information
- affiliation: University of Poitiers, LIAS/ISAE-ENSMA
Other persons with the same name
- Patrick Girard — disambiguation page
- Patrick Girard 0001
![[0000-0003-0722-8772]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-0722-8772")
— University of Montpellier, LRIMM - Patrick Girard 0003 — NRC Canada, Industrial Materials Institute
- Patrick Girard 0004 — University of Auckland, Department of Philosophy, New Zealand
- Patrick Girard 0005 — INSA Lyon, CREATIS
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j3]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: 100093 (2024)- 2021
- [c36]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: 33-40
2010 – 2019
- 2019
- [c35]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: 114-130 - [e2]Sébastien Kubicki, Patrick Girard, Gaëlle Calvary, Élise Lavoué:
Proceedings of the 30th Conference on l'Interaction Homme-Machine, IHM 2018, Brest, France, October 23-26, 2018. ACM 2019, ISBN 978-1-4503-6078-4 [contents] - 2018
- [c34]Quentin Riché-Piotaix, Patrick Girard, Frédéric Bilan, Ladjel Bellatreche:
Example Based Programming and Ontology Building: A Bioinformatic Application. HCI (28) 2018: 101-108 - 2016
- [c33]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: 16:1-16:8 - [c32]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: 166-177 - [c31]Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse:
Avoiding Inaccuracies in Task Models. HCI (1) 2016: 498-509 - 2015
- [c30]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: 31:1-31:6 - 2014
- [c29]Olga Goubali, Alain Bignon, Pascal Berruet, Patrick Girard, Laurent Guittet:
Anaxagore, an example of model-driven engineering for industrial supervision. Erog'IA 2014: 58-65 - [c28]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: 1-14 - 2012
- [c27]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: 57 - [c26]Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse:
ProtoTask, New Task Model Simulator. HCSE 2012: 323-330 - 2011
- [j2]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): 9-41 (2011) - [c25]Thomas Lachaume, Patrick Girard, Laurent Guittet, Allan Fousse:
Prototypage basé sur les modèles de tâches: une étude pilote. IHM 2011: 23:1-23:4 - 2010
- [j1]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): 569-593 (2010) - [c24]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: 93-99
2000 – 2009
- 2009
- [c23]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: 624-633 - [c22]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: 664-673 - [c21]Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet, Loé Sanou:
Formally Expressing the Users' Objects World in Task Models. TAMODIA 2009: 117-130 - 2008
- [c20]Loé Sanou, Patrick Girard, Laurent Guittet, Sybille Caffiau:
Tester la conformité d'une IHM à son modèle de tâches. IHM 2008: 159-162 - [c19]Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet, Loé Sanou:
Assessment of Object Use for Task Modeling. TAMODIA/HCSE 2008: 14-28 - 2007
- [c18]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: 151-158 - [c17]Sybille Caffiau, Patrick Girard, Dominique L. Scapin, Laurent Guittet:
Generating Interactive Applications from Task Models: A Hard Challenge. TAMODIA 2007: 267-272 - 2006
- [c16]Loé Sanou, Patrick Girard, Laurent Guittet:
Comparaison de deux méthodes pour implémenter la programmation sur exemple. IHM 2006: 265-268 - 2005
- [c15]Nicolas Guibert, Laurent Guittet, Patrick Girard:
Validation d'une approche " basée sur exemples " pour l'apprentissage de la programmation. IHM 2005: 147-154 - 2004
- [c14]Nicolas Guibert, Patrick Girard, Laurent Guittet:
Example-based programming: a pertinent visual approach for learning to program. AVI 2004: 358-361 - [c13]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: 61-76 - 2003
- [c12]Mickaël Baron, Patrick Girard:
SUIDT: a user interface builder for secure user interfaces. IHM 2003: 198-201 - [c11]Nicolas Guibert, Patrick Girard:
Programming by example and computer-aided teaching of algorithmics: the MELBA project. IHM 2003: 248-251 - [c10]Yamine Aït Ameur, Mickaël Baron, Patrick Girard:
Formal Validation of HCI User Tasks. Software Engineering Research and Practice 2003: 732-738 - 2002
- [c9]Mickaël Baron, Patrick Girard:
SUIDT: A task model based GUI-Builder. TAMODIA 2002: 64-71 - [e1]Patrick Girard, Thomas Baudel, Michel Beaudouin-Lafon, Eric Lecolinet, Dominique L. Scapin:
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. ACM International Conference Proceeding Series 32, ACM 2002, ISBN 1-58113-615-3 [contents] - 2001
- [c8]Francis Jambon, Patrick Girard, Yamine Aït Ameur:
Interactive System Safety and Usability Enforced with the Development Process. EHCI 2001: 39-56 - [c7]Guillaume Texier, Laurent Guittet, Patrick Girard:
The dialog tool set: a new way to create the dialog component. HCI 2001: 200-204 - [c6]Mickaël Baron, Patrick Girard:
Bringing Robustness to End-User Programming. HCC 2001: 142- - [p1]Patrick Girard:
Bringing Programming by Demonstration to CAD Users. Your Wish is My Command 2001: 135-162
1990 – 1999
- 1999
- [c5]Francis Jambon, Patrick Girard, Yohann Boisdron:
Dialogue Validation from Task Analysis. DSV-IS 1999: 205-224 - 1998
- [c4]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: 51-67 - [c3]Yamine Aït Ameur, Patrick Girard, Francis Jambon:
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems. EHCI 1998: 91-109 - 1995
- [c2]Yamine Aït Ameur, Frederic Besnard, Patrick Girard, Guy Pierra, Jean-Claude Potier:
Formal Specification and Metaprogramming in the EXPRESS Language. SEKE 1995: 181-188 - 1990
- [c1]Patrick Girard, Guy Pierra, Laurent Guittet:
End User Programming Environments : Interactive Programming-on-Example in CAD parametric Design. Eurographics 1990
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
