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

Filter your results

24 results
Page :
sorted by
Image document

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

 Eleni Bila , Simon Doherty , Brijesh Dongol , John Derrick , Gerhard Schellhorn , et al.
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers hal-03283234v1
Image document

Model-Based Product Configuration in Augmented Reality Applications

 Sebastian Gottschalk , Enes Yigitbas , Eugen Schmidt , Gregor Engels
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.84-104, ⟨10.1007/978-3-030-64266-2_5⟩
Conference papers hal-03250496v1
Image document

Real-Time Coordination Patterns for Advanced Mechatronic Systems

 Stefan Dziwok , Christian Heinzemann , Matthias Tichy
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.166-180, ⟨10.1007/978-3-642-30829-1_12⟩
Conference papers hal-01529598v1
Image document

Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems

 Enes Yigitbas , Holger Fischer , Thomas Kern , Volker Paelke
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.267-274, ⟨10.1007/978-3-662-44811-3_18⟩
Conference papers hal-01405084v1

Building Bridges: HCI, Visualization, and Non-formal Modeling

 Achim Ebert , Gerrit van Der Veer , Gitta Domik , Nahum D. Gershon , Inga Scheler
Springer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books hal-01414711v1
Image document

Usability Evaluation of Model-Driven Cross-Device Web User Interfaces

 Enes Yigitbas , Anthony Anjorin , Ivan Jovanovikj , Thomas Kern , Stefan Sauer , et al.
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.231-247, ⟨10.1007/978-3-030-05909-5_14⟩
Conference papers hal-02270698v1
Image document

Economic Aspects of Service Composition: Price Negotiations and Quality Investments

 Sonja Brangewitz , Simon Hoof
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.201-215, ⟨10.1007/978-3-319-44482-6_13⟩
Conference papers hal-01638597v1
Image document

Human-Centered Software Engineering for Changing Contexts of Use

 Stefan Sauer , Regina Bernhaupt , Carmelo Ardito
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.548-552, ⟨10.1007/978-3-030-85607-6_75⟩
Conference papers hal-04291201v1
Image document

On-the-Fly Usability Evaluation of Mobile Adaptive UIs Through Instant User Feedback

 Enes Yigitbas , Ivan Jovanovikj , Klementina Josifovska , Stefan Sauer , Gregor Engels
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.563-567, ⟨10.1007/978-3-030-29390-1_38⟩
Conference papers hal-02877645v1
Image document

On the Development of Context-Aware Augmented Reality Applications

 Enes Yigitbas , Ivan Jovanovikj , Stefan Sauer , Gregor Engels
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.107-120, ⟨10.1007/978-3-030-46540-7_11⟩
Conference papers hal-03188823v1
Image document

Engineering Context-Adaptive UIs for Task-Continuous Cross-Channel Applications

 Enes Yigitbas , Stefan Sauer
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.281-300, ⟨10.1007/978-3-319-44902-9_18⟩
Conference papers hal-01647701v1
Image document

Automatic Fairness Testing of Machine Learning Models

 Arnab Sharma , Heike Wehrheim
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.255-271, ⟨10.1007/978-3-030-64881-7_16⟩
Conference papers hal-03239825v1
Image document

Building Bridges – HCI and Visualization

 Achim Ebert , Gitta Domik , Nahum Gershon , Gerrit van Der Veer
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.722-723, ⟨10.1007/978-3-642-23768-3_133⟩
Conference papers hal-01596957v1
Image document

A Short Survey on Using Software Error Localization for Service Compositions

 Julia Krämer , Heike Wehrheim
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.248-262, ⟨10.1007/978-3-319-44482-6_16⟩
Conference papers hal-01638583v1
Image document

Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto)

 Stefan Sauer , Kai Breiner , Heinrich Hussmann , Gerrit Meixner , Andreas Pleuss , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.724-725, ⟨10.1007/978-3-642-23768-3_134⟩
Conference papers hal-01597019v1
Image document

Simplifying Robot Programming Using Augmented Reality and End-User Development

 Enes Yigitbas , Ivan Jovanovikj , Gregor Engels
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.631-651, ⟨10.1007/978-3-030-85623-6_36⟩
Conference papers hal-04331783v1
Image document

Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows

 Holger Fischer , Björn Senft
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.30-41, ⟨10.1007/978-3-319-44902-9_3⟩
Conference papers hal-01647719v1

Human-Centered Software Engineering

 Stefan Sauer , Cristian Bogdan , Peter Forbrig , Regina Bernhaupt , Marco Winckler
Springer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
Books hal-01405095v1
Image document

Human-Centered Software Engineering

 Regina Bernhaupt , Carmelo Ardito , Stefan Sauer
Springer International Publishing, LNCS-12481, 2020, Lecture Notes in Computer Science, 978-3-030-64265-5. ⟨10.1007/978-3-030-64266-2⟩
Books hal-03250485v1

Human-Centered and Error-Resilient Systems Development

 Cristian Bogdan , Jan Gulliksen , Stefan Sauer , Peter Forbrig , Marco Winckler , et al.
Springer International Publishing, 9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩
Books hal-01647710v1
Image document

Augmented and Virtual Reality Object Repository for Rapid Prototyping

 Ivan Jovanovikj , Enes Yigitbas , Stefan Sauer , Gregor Engels
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.216-224, ⟨10.1007/978-3-030-64266-2_15⟩
Conference papers hal-03250500v1
Image document

ProConAR: A Tool Support for Model-Based AR Product Configuration

 Sebastian Gottschalk , Enes Yigitbas , Eugen Schmidt , Gregor Engels
8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.207-215, ⟨10.1007/978-3-030-64266-2_14⟩
Conference papers hal-03250494v1
Image document

Unlinkable Content Playbacks in a Multiparty DRM System

 Ronald Petrlic , Stephan Sekula
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.289-296, ⟨10.1007/978-3-642-39256-6_21⟩
Conference papers hal-01490713v1
Image document

IFIP WG 13.2 Workshop on User Experience and User-Centered Development Processes

 Marco Winckler , Regina Bernhaupt , Peter Forbrig , Stefan Sauer
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.661-662, ⟨10.1007/978-3-319-22723-8_90⟩
Conference papers hal-01610772v1
Page :