Filter your results
- 71
- 7
- 69
- 8
- 1
- 78
- 4
- 1
- 1
- 8
- 6
- 17
- 2
- 3
- 6
- 6
- 2
- 7
- 5
- 12
- 4
- 78
- 78
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 33
- 18
- 15
- 12
- 8
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems7th 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
|
||
|
Human-Computer Interaction – INTERACT 2011, Part ISpringer, 6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩
Books
hal-01591820v1
|
||
|
A System Architecture Supporting the Agile Coordination of Homecare Services11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.227-234, ⟨10.1007/978-3-642-15961-9_27⟩
Conference papers
hal-01055989v1
|
||
|
Optimization Models to Improve First Quality Agricultural Production Through a Collaboration Program in Different Scenarios21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE 2020), Nov 2020, Valencia, Spain. pp.546-559, ⟨10.1007/978-3-030-62412-5_45⟩
Conference papers
hal-03176820v1
|
||
|
Designing and Assessing Interactive Systems Using Task Models (2017)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
|
||
|
A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers
hal-01402040v1
|
||
|
Investigating Screen Reachability on an Articulated Dual-Display Smartphone17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.476-485, ⟨10.1007/978-3-030-29387-1_27⟩
Conference papers
hal-02553854v1
|
||
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers
hal-01556835v1
|
||
|
TV Interaction Beyond the Button Press15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.412-419, ⟨10.1007/978-3-319-22668-2_31⟩
Conference papers
hal-01599878v1
|
||
|
A Collaborative Planning Model to Coordinate Mining and Smelting Furnace16th IFIP Working Conference on Virtual Enterprises : Risks and Resilience of Collaborative Networks (PRO-VE 2015), IFIP International Federation for Information Processing, Oct 2015, Albi, France. pp.557-565, ⟨10.1007/978-3-319-24141-8_52⟩
Conference papers
hal-01303831v2
|
||
|
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering6th International Conference on Human-Centred Software Engineering (HCSE 2016), Aug 2016, Stockholm, Sweden. pp.261-280, ⟨10.1007/978-3-319-44902-9_17⟩
Conference papers
hal-01647713v1
|
||
|
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers
hal-01591816v1
|
||
|
R++, User-Friendly Statistical Software17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.605-609, ⟨10.1007/978-3-030-29390-1_46⟩
Conference papers
hal-02878633v1
|
||
|
Possibility theory and possibilistic logic: Tools for reasoning under and about incomplete information4th IFIP International Conference on Intelligence Science - TC 12: Artificial Intelligence (ICIS 2021), IFIP : International Federation for Information Processing, Feb 2021, Durgapur (virtual), India. pp.79-89, ⟨10.1007/978-3-030-74826-5_7⟩
Conference papers
hal-03222778v1
|
||
|
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems5th 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
|
||
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers
hal-01343048v1
|
||
|
Combining Tablets with Smartphones for Data Analytics17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.439-460, ⟨10.1007/978-3-030-29390-1_24⟩
Conference papers
hal-02877659v1
|
||
|
Derivation of Heard-Of Predicates From Elementary Behavioral PatternsInternational 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
|
||
|
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Conference papers
hal-03740259v1
|
||
|
Scenarchitectures: The Use of Domain-Specific Architectures to Bridge Design and Implementation13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.341-358, ⟨10.1007/978-3-642-23771-3_26⟩
Conference papers
hal-01590876v1
|
||
|
Enriching Task Models with Usability and User Experience Evaluation Data7th 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
|
||
|
Tool for Nervousness Analysis in a Rolling Planning Environment via Historical DataIFIP WG 5.7 International Conference on Advances in Production Management Systems (APMS 2021), Sep 2021, Nantes, France. pp.475-483, ⟨10.1007/978-3-030-85874-2_50⟩
Conference papers
hal-03355397v1
|
||
|
Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire14th 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
|
||
|
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.663-664, ⟨10.1007/978-3-319-22723-8_91⟩
Conference papers
hal-01610829v1
|
||
|
Towards Self-Adaptive Monitoring Framework for Integrated Management5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.160-163, ⟨10.1007/978-3-642-21484-4_18⟩
Conference papers
hal-01585860v1
|
||
|
Towards a Pervasive Access Control within Video Surveillance Systems1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.289-303, ⟨10.1007/978-3-642-40511-2_20⟩
Conference papers
hal-01217394v1
|
||
|
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems6th 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
|
||
|
OTAWA: An Open Toolbox for Adaptive WCET Analysis8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩
Conference papers
hal-01055378v1
|
||
|
Role of Conferences in Shaping the Field of HCI15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.637-639, ⟨10.1007/978-3-319-22723-8_81⟩
Conference papers
hal-01610848v1
|
||
|
RootAsRole: Towards a Secure Alternative to sudo/su Commands for Home Users and SME Administrators36th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC 2021), IFIP : International Federation for Information Processing, Jun 2021, Oslo, Norway. pp.196-209, ⟨10.1007/978-3-030-78120-0_13⟩
Conference papers
hal-03345757v1
|