Publications de
David Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
Dans : Elsevier’s Safety Science, Elsevier, Numéro spécial Reliability Engineering and System Safety, Vol. 96, p. 38-52, janvier 2011.
David Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni
ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability
Dans : Transactions on Computer-Human Interaction, ACM SIGCHI, USA, Numéro spécial User Interface Description Languages for Next Generation User Interfaces, Vol. 16 N. 4, p. 1-56, novembre 2009.
Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Une approche à base de modèles pour l’ingénierie logicielle de techniques d’interaction (regular paper)
Dans : , Luxembourg, 20/09/10-23/09/10, ACM Digital Library, p. 81-88, septembre 2010.
Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
Dans : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, p. 29-32, juillet 2010.
Résumé Accès : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper08.pdf
BibTeXJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre
Model-Based Usability Evaluation and Analysis of Interactive Techniques (short paper)
Dans : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, p. 21-24, juillet 2010.
Résumé Accès : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper06.pdf
BibTeXEric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2010), Berlin, Allemagne, 19/06/10-23/06/10, ACM SIGCHI, p. 143-152, 2010.
Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Antonio Winckler
Une Approche Formelle pour l’Evaluation de la Tolérance aux Interruptions des Système Interactifs (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2009), Grenoble, 13/08/09-16/08/09, ACM Digital Library, p. 141-150, octobre 2009.
Jean-François Ladry, David Navarre, Philippe Palanque
Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces (regular paper)
Dans : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009 2009), Cambridge, Massachusetts, USA, 02/11/09-06/11/09, ACM : Association for Computing Machinery, p. 135-142, novembre 2009.
Philippe Palanque, Marco Antonio Winckler, Jean-François Ladry, Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink
A Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2009), Pittsburgh, USA, 14/07/09-17/07/09, ACM Press, p. 211-220, juillet 2009.
Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems can be Formal too
Dans : HCI International, San Diego, CA, USA, 19/07/09-24/07/09, Springer-Verlag, p. 21-30, juillet 2009.
David Navarre, Philippe Palanque, Jean-François Ladry, Sandra Basnyat
An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems
Dans : Design Specification and Verification of Interactive Systems (DSV-IS 2008), Kingston, Ontario, Canada., 16/07/08-18/07/08, Vol. LNCS, Springer-Verlag, p. 0-0, 2008.
Jean-François Ladry, Philippe Palanque, Sandra Basnyat, Eric Barboni, David Navarre
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces.
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2008), Florence, Italy., 05/04/08-10/04/08, ACM : Association for Computing Machinery, (en ligne), 2008.
David Navarre, Philippe Palanque, Jean-François Ladry
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems.
Dans : IET International Conference on System Safety, Savoy Place, London UK, 22/10/08-24/10/08, IEEE : Institute of Electrical and Electronics Engineers, p. 0-0, 2007.
Une notation et un processus outillé pour le développement de systèmes interactifs multimodaux critiques
Thèse de doctorat, Université Paul Sabatier, octobre 2010.
Résumé Accès : http://thesesups.ups-tlse.fr/960/1/Ladry_Jean-francois.pdf
BibTeX