Francis JAMBON
Francis JAMBON
Maitre de Conférences

email : jambon@ensma.fr
tutelle: SFA - Université de Poitiers
adresse : ISAE-ENSMA, 1 avenue Clément Ader BP 40109, 86961 Chasseneuil - France
équipe : Ingénierie des Données et des Modèles
Publications
(23)
Ouvrages individuels ou collectifs
(1)
Francis JAMBON, Philippe Brun, Yamine AIT-AMEUR, Spécifications des systèmes interactifs, Spécifications des systèmes interactifs, chapt. 6, Interaction homme-machine pour les S.I., edited by Hermès Science, 2001, pp. 175-206http://www.editions-hermes.fr/fiche.asp?qid=4241http://www.editions-hermes.fr/fiche.asp?qid=4241
Revues Internationales
(2)
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-593http://dx.doi.org/10.1016/j.intcom.2010.06.003http://dx.doi.org/10.1016/j.intcom.2010.06.003
Francis JAMBON, La responsabilité du concepteur d'une interface homme-machine face aux erreurs des utilisateurs : exemple de l'accident de l'Airbus A320 survenu au mont Sainte-Odile, L'interacteur - Bulletin d'information de l'Association Francophone d'Interaction Homme-Machine (AFIHM), n. 2, avril, 1997, pp. 6http://www.afihm.org/interacteur/interacteur-2.pdfhttp://www.afihm.org/interacteur/interacteur-2.pdf
Revues Nationales
(1)
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-1297584/2006-RIHM-Depaulis.pdf
Conférences Internationales
(17)
Patrick GIRARD, Francis JAMBON, Mickael BARON, Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based development, HCII, Las Vegas, USA, 20057212/2005-hcii05-gijaba.pdf
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, HESSD : Conference of Human Error, Safety and Systems Development, Toulouse, France, August 22-27, 20047066/HESSD04_AitAmeur.pdf
Patrick GIRARD, Mickael BARON, Francis JAMBON, Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop), Interact 2003 - Closing the Gaps - Software Engineering and Human-Computer Interaction, edited by Morten Borup Harning and Jean Vanderdonckt, Zürich, Switzerland, 2003, pp. 55-626968/2003-sehci-gibmjf.pdf
Francis JAMBON, From Formal Specifications to Secure Implementations, Computer-Aided Design of User Interfaces (CADUI'2002), edited by Kolski, Christophe and Vanderdonckt, Jean, Valenciennes, France, edited by Kluwer Academics, 2002, pp. 43-546079/2002-cadui02-jambon.pdf
Vincent LUCQUIAUD, Dominique Scapin, Francis JAMBON, Outils de modélisation des tâches utilisateurs : exigences du point de vue utilisation, 14ème Conférence Francophone sur l'Interaction Homme-Machine (IHM'2002), edited by ACM Press, Poitiers, 27-29 novembre, 2002, pp. 243-2467630/2002-IHM-Lucquiaud.pdf
Francis JAMBON, Philippe Brun, Dominique GENIET, Un cadre d’études pour une approche temps-réel de l’ingénierie des IHM à contraintes temporelles, IHM-HCI'2001, vol. 2, edited by Vanderdonckt, Jean and Blandford, Ann and Derycke, Alain, Lille, France, edited by Cépaduès-Éditions, 2001, pp. 133-1366091/2001-ihmhci01-jambon-pb-dg.pdf
Francis JAMBON, Patrick GIRARD, Yamine AIT-AMEUR, Interactive System Safety and Usability enforced with the development process, Engineering for Human-Computer Interaction (8th IFIP International Conference, EHCI'01, Toronto, Canada, May 2001), vol. 2254, Lecture Notes in Computer Science, edited by Little, Reed Murray and Nigay, Laurence, Berlin, edited by Springer, 2001, pp. 39-556103/2001-ehci01-jambon-pg-yaa.pdf
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
Francis JAMBON, La prévention d'erreur par la technique des "Fonctions de Contrainte", Onzième conférence sur l'Interaction Homme-Machine (IHM'99), edited by Nanard, Jocelyne and Girard, Patrick, Montpellier, France, edited by Cépaduès-Éditions, 1999, pp. 102-1096075/1999-ihm-jambon.pdf
Francis JAMBON, Yohann Boisdron, Vers une validation du dialogue homme-machine pour les Applications Graphiques Interactives de Conception Technique, Onzième conférence sur l'Interaction Homme-Machine (IHM'99), edited by Nanard, Jocelyne and Girard, Patrick, Montpellier, France, edited by Cépaduès Éditions, 1999, pp. 1896085/1999-ihm-jambon-boisdron.pdf
Francis JAMBON, Patrick GIRARD, Yohann Boisdron, Dialogue Validation from Task Analysis, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS'99), SpringerComputerScience, edited by Duke, D J and Puerta, A, Universidade do Minho, Braga, Portugal, edited by Springer-Verlag, 1999, pp. 205-2246109/1999-dsvis-test.pdf
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 (DSV-IS'98), vol. Proceedings, edited by Markopoulos, Panos and Johnson, Peter, Abingdon, UK, 1998, pp. 333-3525946/1998-dsvis-yaa_pg_fj.pdf
Francis JAMBON, Taxonomy for Human Error and System Fault Recovery from the Engineering Perspective, International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero'98), edited by Boy, Guy and Graeber, Curtis, Montréal, Canada, edited by Éditions de l'École Polytechnique de Montréal, 1998, pp. 55-606071/1998-hciaero98-jambon.pdf
Yamine AIT-AMEUR, Patrick GIRARD, Francis JAMBON, Using the B formal approach for incremental specification design of interactive systems, Engineering for Human-Computer Interaction, vol. 22, edited by Chatty, Stéphane and Dewan, Prasun, edited by Kluwer Academic Publishers, 1998, pp. 91-1085952/1998-ehci-yaa_pg_fj.pdf
Philippe Brun, Francis JAMBON, Utilisation des spécifications formelles dans le processus de conception des Interfaces Homme-Machine, Journées Francophones sur l'Ingénierie de l'Interaction Homme-Machine (IHM'97), edited by Girard, Patrick and Carbonell, Noëlle and Chatty, Stéphane, Poitiers-Futuroscope, edited by Cépaduès Éditions, 1997, pp. 23-29ftp://ftp.imag.fr/imag/labo-CLIPS/IIHM/publications/1997/IHM97_Formalismes.Fr.psftp://ftp.imag.fr/imag/labo-CLIPS/IIHM/publications/1997/IHM97_Formalismes.Fr.ps
Francis JAMBON, Error Recovery Representations in Interactive System Development, Third Annual ERCIM Workshop on "User Interfaces for All" (ERCIM 1997), edited by Stephanidis, C and Carbonell, N, Obernai, France, edited by INRIA Lorraine, 1997, pp. 177-1826063/1997-ui4all-jambon.pdf
Francis JAMBON, Formal modelling of task interruptions, Conference on Human Factors in Computing Systems (CHI'96), vol. Conference companion, edited by Tauber, M., Vancouver, Canada, edited by ACM Press, 1996, pp. 45-46http://www.acm.org/pubs/citations/proceedings/chi/257089/p45-jambon/http://www.acm.org/pubs/citations/proceedings/chi/257089/p45-jambon/
Thèses et HDR
(1)
Francis JAMBON, Erreurs et interruptions du point de vue de l'ingénierie de l'interaction homme-machine, Thesis, Université Joseph Fourier (Grenoble 1), january, 1996ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/ftp://ftp.imag.fr/pub/Mediatheque.IMAG/theses/96-Jambon.Francis/
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