Search - IFIP Open Digital Library Access content directly

Filter your results

15 results
Sub-domain level 1 : info.info-ar
Page :
sorted by
Image document

Fault Injection Characterization on modern CPUs - From the ISA to the Micro-Architecture

 Thomas Trouchkine , Guillaume Bouffard , Jessy Clédière
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.123-138, ⟨10.1007/978-3-030-41702-4_8⟩
Conference papers hal-03138010v1

Distributed Applications and Interoperable Systems

 Felber Pascal , Romain Rouvoy
Springer-Verlag, LNCS-6723, 2011, Lecture Notes in Computer Science, 978-3-642-21386-1. ⟨10.1007/978-3-642-21387-8⟩
Books inria-00635862v1
Image document

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation

 Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque , Christine Gris
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Conference papers hal-02089260v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

 Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers hal-01387758v1
Image document

Generic Architecture for Lightweight Block Ciphers: A First Step Towards Agile Implementation of Multiple Ciphers

 Etienne Tehrani , Jean-Luc Danger , Tarik Graba
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.28-43, ⟨10.1007/978-3-030-20074-9_4⟩
Conference papers hal-02294599v1
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

 Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1
Image document

3D logic cells design and results based on Vertical NWFET technology including tied compact model

 Mukherjee Chhandak , Marina Deng , François Marc , Cristell Maneux , Arnaud Poittevin , et al.
28th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SOC) 2020, Oct 2020, Salt Lake City (virtual), United States. ⟨10.1109/VLSI-SOC46417.2020.9344094⟩
Conference papers hal-03166674v1
Image document

Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones

 Nicolas Haderer , Romain Rouvoy , Lionel Seinturier
13th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.43-56, ⟨10.1007/978-3-642-38541-4_4⟩
Conference papers hal-00804114v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
Image document

Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

 Adam Shimi , Aurélie Hurault , Philippe Quéinnec
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Conference papers hal-02947787v1
Image document

Enriching Task Models with Usability and User Experience Evaluation Data

 Regina Bernhaupt , Philippe Palanque , Dimitri Drouet , Célia Martinie
7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩
Conference papers hal-02089252v1
Image document

Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire

 Regina Bernhaupt , Michael Pirker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.642-659, ⟨10.1007/978-3-642-40480-1_45⟩
Conference papers hal-01223180v2
Image document

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems

 Dorrit Billman , Camille Fayollas , Michael Feary , Célia Martinie , Philippe Palanque
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩
Conference papers hal-02603527v2
Image document

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems

 Alexandre Canny , Elodie Bouzekri , Célia Martinie , Philippe Palanque
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Conference papers hal-02089262v1
Image document

Connecting your Mobile Shopping Cart to the Internet-of-Things

 Nicolas Petitprez , Romain Rouvoy , Laurence Duchien
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.236-243, ⟨10.1007/978-3-642-30823-9_21⟩
Conference papers hal-00684780v1
Page :