Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Laboratoire de Recherche en Informatique [ESI-SBA, Sidi Bel Abbès]
labStructName_s : Institut de recherche en informatique de Toulouse
Image document

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Camille Fayollas , Célia Martinie , Philippe Palanque , Yamine Aït-Ameur
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Conference papers hal-01821411v1
Image document

A Secure and Trusted Channel Protocol for UAVs Fleets

Raja Naeem Akram , Konstantinos Markantonakis , Keith Mayes , Pierre-François Bonnefoi , Amina Cherif , et al.
11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.3-24, ⟨10.1007/978-3-319-93524-9_1⟩
Conference papers hal-01875525v1
Image document

Designing and Assessing Interactive Systems Using Task Models (2017)

Philippe Palanque , Célia Martinie , Marco Winckler
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
Conference papers hal-02748859v2
Image document

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems

David Navarre , Philippe Palanque , Arnaud Hamon , Sabrina Della Pasqua
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Conference papers hal-01821420v1
Image document

Dealing with Conflicting User Interface Properties in User-Centered Development Processes

Marco Winckler , Marta Larusdottir , Kati Kuusinen , Cristian Bogdan , Philippe Palanque
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Conference papers hal-01680275v1