Search - IFIP Open Digital Library Access content directly

Filter your results

56 results
Structure: Internal structure identifier : 74348
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

Scientific Automation Rises the Productivity of Production Facilities

U. Frank , H. Anacker , Dirk Bielawny
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.296-309, ⟨10.1007/978-3-642-41329-2_29⟩
Conference papers hal-01485823v1
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

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems

Wolfgang Mueller , Alexander Bol , Alexander Krupp , Ola Lundkvist
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.78-89, ⟨10.1007/978-3-642-15234-4_9⟩
Conference papers hal-01054484v1
Image document

Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems

Jan Jatzkowski , Marcio Kreutz , Achim Rettberg
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.103-115, ⟨10.1007/978-3-319-90023-0_9⟩
Conference papers hal-01854163v1
Image document

All I Need to Know about Twitter in Education I Learned in Kindergarten

Wolfgang Reinhardt , Steve Wheeler , Martin Ebner
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.322-332, ⟨10.1007/978-3-642-15378-5_31⟩
Conference papers hal-01054688v1
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
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

On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem

Stefan Groesbrink
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.228-237, ⟨10.1007/978-3-642-38853-8_21⟩
Conference papers hal-01466677v1
Image document

Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study

Alexander Jungmann , Jan Jatzkowski , Bernd Kleinjohann
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.27-37, ⟨10.1007/978-3-319-90023-0_3⟩
Conference papers hal-01854152v1
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

Embedded Systems: Design, Analysis and Verification

Gunar Schirner , Marcelo Götz , Achim Rettberg , Mauro C. Zanella , Franz J. Rammig
Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books hal-01466697v1
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

Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems

Katharina Gilles , Stefan Groesbrink , Daniel Baldin , Timo Kerstan
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.293-305, ⟨10.1007/978-3-642-38853-8_27⟩
Conference papers hal-01466685v1
Image document

A Top-Down Approach for an Automatic Precedence Graph Construction under the Influence of High Product Variety

Simon Altemeier , Daniel Brodkorb , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.73-80, ⟨10.1007/978-3-642-16358-6_10⟩
Conference papers hal-01055865v1
Image document

Distributed, Parallel and Biologically Inspired Systems

Mike Hinchey , Bernd Kleinjohann , Lisa Kleinjohann , Peter Lindsay , Franz J. Rammig , et al.
Springer, AICT-329, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15233-7
Books hal-01556922v1
Image document

Getting granular on Twitter: Tweets from a conference and their limited usefulness for non-participants

Martin Ebner , Herbert Mühlburger , Sandra Schaffert , Mandy Schiefner , Wolfgang Reinhardt , et al.
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15378-5_10⟩
Conference papers hal-01054707v1
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

Database Scheme Configuration for a Product Line of MPC-TOOLS

Benjamin Klöpper , Tobias Rust , Bernhard Vedder , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.57-64, ⟨10.1007/978-3-642-16358-6_8⟩
Conference papers hal-01055796v1
Image document

Maturity Model for Improving Virtual Engineering in Small and Medium-Sized Enterprises

Tobias Bensiek , Arno Kuehn
9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.635-645, ⟨10.1007/978-3-642-35758-9_57⟩
Conference papers hal-01526132v1
Image document

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

Sufyan Samara , Yuhong Zhao , Franz J. Rammig
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers hal-01054482v1
Image document

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks

Kay Klobedanz , Jan Jatzkowski , Achim Rettberg , Wolfgang Mueller
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.238-249, ⟨10.1007/978-3-642-38853-8_22⟩
Conference papers hal-01466679v1
Image document

Efficient Mutation-Analysis Coverage for Constrained Random Verification

Tao Xie , Wolfgang Mueller , Florian Letombe
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.114-124, ⟨10.1007/978-3-642-15234-4_12⟩
Conference papers hal-01054481v1