PetShop

Palanque, P. Navarre, D., Basnyat, S., Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), 22-25 September 2008, Newcastle upon Tyne, UK

Navarre, D., Palanque, P., Ladry, J.F., Basnyat, S. (2008). An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. The XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSVIS 2008). Kingston, Ontario, Canada. July 16-18 2008.

Ladry, JF., Palanque, P., Basnyat, S., Barboni, E., Navarre, D. (2008) Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. CHI 2008 Workshop on UIDLs for Next Generation User Interfaces, Florence, Italy. April 5-10 2008

Barboni, E., Navarre, D., Palanque, P., Basnyat, S. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007. Special Session on Behavioural Models for Embedded Systems, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007

Eric Barboni, David Navarre, Philippe Palanque & Sandra Basnyat. "Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications." Proceedings of HCI aero conference, (HCI Aero 2006), Seatle, USA, Sept. 2006.

Eric Barboni, Stéphane Conversy, David Navarre & Philippe Palanque. "Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification." Proceedings of the 13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Dublin, Ireland, July 2006, Lecture Notes in Computer Science, Springer Verlag.

Philippe Palanque & Rémi Bastide. "Task Models - System Models: a Formal Bridge Over the Gap." in Critical Issues in User Interface Systems Engineering. David Benyon, and Philippe Palanque, editors. Springer (1996) 65-79, Chapter IV.

Rémi Bastide & Philippe Palanque. "A Visual and Formal Glue Between Application and Interaction." Journal of Visual Language and Computing 10, no. 3 (1999)

Philippe Palanque & Rémi Bastide. "Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques." Interacting With Computers 9, no. 2 (1997) 129-53.

Rémi Bastide, Philippe Palanque, Duc-Hoa Le & Jaime Muñoz. "Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems." in 5th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'98, Abingdon, U. K. June 3-5,1998. Springer-Verlag (1998)

Rémi Bastide & Philippe Palanque. "Implementation Techniques for Petri Net Based Specifications of Human Computer Dialogues." in 2nd Workshop on Computer Aided Design of User Interfaces, CADUI'96, Université Notre-Dame de la Paix, Namur (Belgium), 1996. Jean Vanderdonckt, Editor. Presses Universitaires de Namur (1996) 285-302.

Rémi Bastide & Philippe Palanque. "Verification of an Interactive Software by Analysis of Its Formal Specification." 5th IFIP TC13 International Conference, Interact'95, Lillehamer, Norway, June 25-29 1995. Chapman et Hall (1995) 191-96.