Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- CloudServiceCheck Band . fortiss GmbH, , Ausgabe, Juni 2014. Details URL BIB
- Intuitive Robot Tasks with Augmented Reality and Virtual Obstacles In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), Seiten 6026–6031, Hong Kong, China, Juni 2014. Details DOI BIB
- Using Ellipsis Detection and Word Similarity for Transformation of Spoken Language into Grammatically Valid Sentences In Proceedings of the 15th Annual SIGdial Meeting on Discourse and Dialogue (SIGDIAL 2014), Philadelphia, USA, Juni 2014. Details BIB
- Delta modeling for variant-rich and evolving manufacturing systems In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, Seiten 32-41, Mai 2014. ACM. Details BIB
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Mai 2014. Details URL BIB
- CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time Systems In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), April 2014. ACM. Details BIB
- Designing and Evaluating a Social Gaze-Control System for a Humanoid Robot IEEE Transactions on Human-Machine Systems, 2(44):157–168, April 2014. Details DOI BIB
- Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking - Towards a Domain Specific Ontology In 16th International Conference on Enterprise Information Systems (ICEIS 2014), Seiten 320-324, April 2014. SciTePress. Details DOI BIB
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, März 2014. Details DOI BIB
- Ghost-in-the-Machine: Initial Results In Proceedings of the 9th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2014), Bielefeld, Germany, März 2014. Details BIB
- Tool Support for Integrated Development of Component-based Embedded Systems In Software Engineering 2014 (SE 2014), Seiten 61–62, Kiel, Germany, Februar 2014. GI. Details BIB
- A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems In Embedded Real-Time Software and Systems (ERTS2), Februar 2014. Details BIB
- Data-Centric Middleware support for ASIL assessment and decomposition in open automotive systems In Automotive meets Electronics, Februar 2014. VDE/VDI Gesellschaft Mikroelekonik Mikrosystem- und Feinwerktechnik (GMM) in Dortmund, Details BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), Seiten 57–66, Februar 2014. Details URL BIB
- Eingebettete Systeme der Zukunft - Charakteristika, Schl�sseltechnologien und Forschungsbedarf Band . BICCnet Clusterb�ro, , Ausgabe, Januar 2014. Details BIB
- Capability-based Planning and Scheduling for Adaptable Manufacturing Systems In IEEE Conference on Emerging Technology and Factory Automation (ETFA), Seiten 1—8, 2014. Details BIB
- G4LTL-ST: Automatic Generation of PLC Programs In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, Seiten 541–549, 2014. Details URL DOI BIB
- Increasing the Adaptability of Manufacturing Systems by Using Data-centric Communication In IEEE Conference on Emerging Technology and Factory Automation (ETFA), Seiten 1–8, 2014. Details BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- A Formal Systems Engineering Approach in Practice: An Experience Report In SER&IPs, Seiten 34–41, 2014. Details BIB