Filter your results
- 5
- 5
- 5
- 1
- 3
- 1
- 5
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 results
|
|
sorted by
|
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers
hal-03239812v1
|
||
|
Flat Design vs Traditional Design: Comparative Experimental Study15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.106-114, ⟨10.1007/978-3-319-22668-2_10⟩
Conference papers
hal-01599895v1
|
||
|
A model checking based approach for detecting SDN racesICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers
hal-02448964v1
|
||
|
Search Results on Flight Booking Websites: Displaying Departure and Return Flights on a Single Page vs Two Consecutive Pages17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.668-671, ⟨10.1007/978-3-030-29390-1_59⟩
Conference papers
hal-02878641v1
|
||
|
Visual Fixations Duration as an Indicator of Skill Level in eSports17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.397-405, ⟨10.1007/978-3-030-29381-9_25⟩
Conference papers
hal-02544566v1
|