Search Results - "Palanque, P."

Refine Results
  1. 1

    Design and evaluation of braced touch for touchscreen input stabilisation by Cockburn, A., Masson, D., Gutwin, C., Palanque, P., Goguey, A., Yung, M., Gris, C., Trask, C.

    “…•Introduces and analyses the design of Braced Touch for touch input stabilisation during vibration.•Describes an empirical validation of Braced Touch using…”
    Get full text
    Journal Article
  2. 2

    Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits by Bouzekri, E., Canny, A., Fayollas, C., Martinie, C., Palanque, P., Barboni, E., Deleris, Y., Gris, C.

    “…•Identification of requirements for engineering critical recommender systems.•Presentation of a generic software architecture for recommender systems.•Proposal…”
    Get full text
    Journal Article
  3. 3

    Task Model-Based Systematic Analysis of Both System Failures and Human Errors by Martinie, C., Palanque, P., Fahssi, R., Blanquart, J.-P, Fayollas, C., Seguin, C.

    Published in IEEE transactions on human-machine systems (01-04-2016)
    “…The overall dependability of an interactive system is one of its weakest components, which is usually its user interface. The presented approach integrates…”
    Get full text
    Journal Article
  4. 4

    Formal socio-technical barrier modelling for safety-critical interactive systems design by Basnyat, S., Palanque, P., Schupp, B., Wright, P.

    Published in Safety science (01-06-2007)
    “…This paper presents a three step approach to improve safety in the field of interactive systems. The approach combines, within a single framework, previous…”
    Get full text
    Journal Article Conference Proceeding
  5. 5

    Multidisciplinary perspective on accident investigation by Basnyat, S., Chozos, N., Palanque, P.

    Published in Reliability engineering & system safety (01-12-2006)
    “…The increasing complexity of many computer-controlled application processes is placing increasing demands on the investigation of adverse events. At the same…”
    Get full text
    Journal Article
  6. 6

    A Visual and Formal Glue between Application and Interaction by BASTIDE, R., PALANQUE, P.

    Published in Journal of visual languages and computing (01-10-1999)
    “…The construction of interactive software is known to be a difficult task. As far as the non-interactive part of the application is concerned, designers can…”
    Get full text
    Journal Article
  7. 7

    An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits by Fayollas, C., Martinie, C., Palanque, P., Deleris, Y., Fabre, J.-C, Navarre, D.

    “…A cockpit (also called flight deck) is an interactive environment of an aircraft which enables both pilot and first officer to monitor the aircraft systems and…”
    Get full text
    Conference Proceeding
  8. 8

    Task-model based assessment of automation levels: Application to space ground segments by Martinie, C., Palanque, P., Barboni, E., Ragosta, M.

    “…Designing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering in aviation, space…”
    Get full text
    Conference Proceeding
  9. 9
  10. 10

    A tool-supported design framework for safety critical interactive systems by Bastide, Rémi, Navarre, David, Palanque, Philippe

    Published in Interacting with computers (01-06-2003)
    “…This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative…”
    Get full text
    Journal Article
  11. 11

    A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics by Fayollas, C., Fabre, J. C., Palanque, P., Cronel, M., Navarre, D., Deleris, Y.

    “…Engineering interactive systems for safety critical applications such as in avionic digital cockpits (and more generally Graphical User interfaces) is a…”
    Get full text
    Conference Proceeding
  12. 12

    Synergistic modelling of tasks, users and systems using formal specification techniques by Palanque, Philippe, Bastide, Rémi

    Published in Interacting with computers (01-10-1997)
    “…This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a…”
    Get full text
    Journal Article
  13. 13

    Design, specification, and verification of interactive systems (workshop session) by Palanque, Philippe, Paternò, Fabio

    “…Design, Specification and Verification of Interactive Systems (DSV-IS) is an international Workshop organized every year since 1994. The 7th DSV-IS aims to…”
    Get full text
    Conference Proceeding Journal Article
  14. 14

    A formal notation and tool for the engineering of CORBA systems by Bastide, Rémi, Sy, Ousmane, Palanque, Philippe

    Published in Concurrency (Chichester, England.) (10-12-2000)
    “…CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a…”
    Get full text
    Journal Article
  15. 15

    Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques by Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J.-C, Fayollas, C.

    “…In the last few years, glass cockpits are being replaced by interactive cockpits to provide a higher level of integration of both command and information…”
    Get full text
    Conference Proceeding
  16. 16

    A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661 by Barboni, E., Navarre, D., Palanque, P., Basnyat, S.

    “…The purpose of the ARINC specification 661 is to define interfaces to a cockpit display system (CDS) targeting new aircraft installations. ARINC 661 provides…”
    Get full text
    Conference Proceeding
  17. 17

    Gaining Assurance in a Voter-Verifiable Voting System by Alberdi, E., Strigini, L., Leach, K., Ryan, P., Palanque, P., Winckler, M.

    “…The literature on e-voting systems has many examples of discussion of the correctness of the computer and communication algorithms of such systems, as well as…”
    Get full text
    Conference Proceeding
  18. 18

    Model-based framework for addressing diversity, usability and reliability for safety critical interactive systems by Navarre, D, Palanque, P, Ladry, J.-F

    “…This paper proposes a notation and an architecture for the management of failure on input devices for safety critical interactive systems. This management of…”
    Get full text
    Conference Proceeding
  19. 19

    A model-based tool for interactive prototyping of highly interactive applications by Navarre, D., Palanque, P., Bastide, R., Su, O.

    “…This paper presents a case tool supporting the ICO (Interactive Cooperative Object) formalism. This formalism allows for describing, in a formal way, highly…”
    Get full text
    Conference Proceeding
  20. 20

    Formal support for the engineering of CORBA-based distributed object systems by Bastide, R., Sy, O., Palanque, P.

    “…We present a CASE tool based on an object oriented Petri net dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used…”
    Get full text
    Conference Proceeding