Wissenschaftliche Publikationen
2017
- Absolute Accurate Calibration of a Robotic C-Arm System based on X-Ray Observations using a Kinematic Model In Proceedings of the Workshop on Surgical Robots: Compliant, Continuum, Cognitive, and Collaborative, IEEE International Conference on Robotics and Automation (ICRA), Singapore, Singapore, June 2017. Details BIB
- Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms In Vincent Nelis and Tam Chantem , editor, Proceedings of the 8th Real-Time Scheduling Open Problems Seminar (RTSOPS) held in conjunction with the 29th Euromicro Conference on Real-Time Systems (ECRTS), June 2017. CISTER, ISEP, Portugal, Details BIB
- Motion Planning under Perception and Control Uncertainties with Space Exploration Guided Heuristic Search In Proceedings of the IEEE Intelligent Vehicles Symposium, Redondo Beach, CA, USA, June 2017. Details DOI BIB
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, June 2017. Details URL BIB
- A web-based system architecture for ontology-based data integration in the domain of IT benchmarking Enterprise Information Systems, ():1-23, May 2017. Details URL DOI BIB
- Just Formal Enough? Automated Analysis of EARS Requirements In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, May 2017. Details URL DOI BIB
- Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Dissertation, Technische Universität München, May 2017. Details URL BIB
- An Exact Solver for Geometric Constraints with Inequalities IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BIB
- Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pages 406–422, 2017. Details URL DOI BIB
- A rewriting framework and logic for activities subject to regulations Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
- Analysis of design strategies for unmanned aerial vehicles using co-simulation Design Autom. for Emb. Sys., 21(3-4):157–172, 2017. Details URL DOI BIB
- Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern In 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pages 53–60, 2017. IEEE. Details DOI BIB
- Arguing on Software-Level Verification Techniques Appropriateness In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 10488 of LNCS, pages 39–54, Cham, 2017. Springer International Publishing. Details DOI BIB
- autoCode4: Structural Controller Synthesis In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, 2017. Details DOI BIB
- Erstellung einer Referenzarchitektur anhand von individuellen Unternehmensanforderungen , ():23-42, 2017. Details BIB
- Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details URL PDF BIB
- Increasing Control Application Reusability through Generic Device Configuration Model In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BIB
- Living Safety Arguments for Open Systems In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
- Maximum Resilience of Artificial Neural Networks In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB