Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
Structure: Internal structure identifier : 4629
publicationDateY_i : 2019
Page :
sorted by
Image document

Verifying System-Wide Properties of Industrial Component-Based Software

 Thomas Neele , Marijn Rol , Jan Friso Groote
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.158-175, ⟨10.1007/978-3-030-31517-7_11⟩
Conference papers hal-03769112v1
Image document

Correction to: Verifying System-Wide Properties of Industrial Component-Based Software

 Thomas Neele , Marijn Rol , Jan Friso Groote
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.C1-C1, ⟨10.1007/978-3-030-31517-7_18⟩
Conference papers hal-03769134v1
Image document

Active Learning of Industrial Software with Data

 Lisette Sanchez , Jan Friso Groote , Ramon Schiffelers
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.95-110, ⟨10.1007/978-3-030-31517-7_7⟩
Conference papers hal-03769114v1
Image document

Absolute Indirect Touch Interaction: Impact of Haptic Marks and Animated Visual Feedback on Usability and User Experience

 Regina Bernhaupt , Dimitri Drouet , Michael Pirker
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.251-269, ⟨10.1007/978-3-030-05909-5_15⟩
Conference papers hal-02270706v1
Image document

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems

 Alexandre Canny , Martin Cronel , Bruno Dumas , Philippe Palanque
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Conference papers hal-02270703v1
Image document

Design Requirements of Tools Supporting Reflection on Design Impact

 Qiong Peng , Jean-Bernard Martens
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.609-622, ⟨10.1007/978-3-030-29381-9_37⟩
Conference papers hal-02544558v1
Image document

Mining Local Process Models and Their Correlations

 Laura Genga , Niek Tax , Nicola Zannone
7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchatel, Switzerland. pp.65-88, ⟨10.1007/978-3-030-11638-5_4⟩
Conference papers hal-02060700v1
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

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

Entertainment Computing and Serious Games

 Erik Spek , Stefan Göbel , Ellen Yi-Luen Do , Esteban Clua , Jannicke Baalsrud Hauge
Springer International Publishing, LNCS-11863, 2019, Lecture Notes in Computer Science, 978-3-030-34643-0. ⟨10.1007/978-3-030-34644-7⟩
Books hal-03652053v1
Image document

COMMONS: A Board Game for Enhancing Interdisciplinary Collaboration When Developing Health and Activity-Related Wearable Devices

 Dennis Arts , Len Kromkamp , Steven Vos
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.461-470, ⟨10.1007/978-3-030-29390-1_25⟩
Conference papers hal-02877648v1
Image document

Correct and Efficient Antichain Algorithms for Refinement Checking

 Maurice Laveaux , Jan Friso Groote , Tim Willemse
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.185-203, ⟨10.1007/978-3-030-21759-4_11⟩
Conference papers hal-02313731v1
Image document

Data-Driven Usability Test Scenario Creation

 Maikel L. van Eck , Else Markslag , Natalia Sidorova , Angelique Brosens-Kessels , Wil M.P. van Der Aalst
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.88-108, ⟨10.1007/978-3-030-05909-5_6⟩
Conference papers hal-02270717v1
Image document

Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes

 Carmelo Ardito , Regina Bernhaupt , Philippe Palanque , Stefan Sauer
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.759-762, ⟨10.1007/978-3-030-29390-1_76⟩
Conference papers hal-02892786v1
Image document

Designing a VR Experience to Reduce the Experience of Pain: Scare, Excite or Relax?

 Erik Spek , Luuk Roelofs
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.97-110, ⟨10.1007/978-3-030-34644-7_8⟩
Conference papers hal-03652056v1
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
Page :