Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2016
- Building Product-lines of Mixed-Criticality Systems In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
- Interconnecting Product and Process Information to Enable Personalized Production Procedia CIRP, 52():186 - 191, September 2016. Details URL DOI BIB
- Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Seiten 221, September 2016. fortiss GmbH. Details DOI BIB
- Experimental Evaluation of the Accuracy at the C-Arm Pose Estimation with X-Ray Images In Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Seiten 3859–3862, Orlando, FL, USA, August 2016. Details DOI BIB
- A Realistic X-Ray Simulation for C-Arm Geometry Calibration In Proceedings of the IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob), Seiten 383–388, Singapore, Singapore, Juni 2016. Details DOI BIB
- Combining Task and Motion Planning for Intersection Assistance Systems In Proceedings of the IEEE Intelligent Vehicles Symposium, Seiten 1242–1247, Gothenburg, Sweden, Juni 2016. Details DOI BIB
- On Cognitive Robot Woodworking in SMErobotics In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, Juni 2016. Details URL BIB
- Industrieroboter für KMU: Flexible und intuitive Prozessbeschreibung Industrie Management, 32(2):46–49, April 2016. Details URL BIB
- Schedule synthesis for multi-period SW components In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB
- Towards Trusted Apps platforms for open CPS In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), Seiten 23–28, April 2016. Details DOI BIB
- A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Januar 2016. Details DOI BIB
- Factory Product Lines: Tackling the Compatibility Problem In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), Januar 2016. ACM. Details DOI BIB
- Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Januar 2016. Details URL BIB
- A Model Based Engineering Tool for ROS Component Compositioning, Configuration and Generation of Deployment Information In 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016. Details BIB
- iEMG: Imaging Electromyography Journal of Electromyography and Kinesiology, 27():1–9, 2016. Details DOI BIB
- Tactical Cooperative Planning for Autonomous Vehicles using MCTS In IEEE Intelligent Vehicles Symposium, 2016. Details BIB
- A Compositional Approach to the Verification of Hybrid Systems In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Seiten 88–103, 2016. Details URL DOI BIB
- A Differentiable Transition Between Additive and Multiplicative Neurons In International Conference on Learning Representations (ICLR), 2016. Details URL BIB
- A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, Seiten 1–4, 2016. IEEE, Details BIB
- A Lightweight Design Space Exploration and Optimization Language In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB