Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
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, Juni 2017. Details BIB
- Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms In Vincent Nelis und 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), Juni 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, Juni 2017. Details DOI BIB
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, Juni 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, Mai 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, Seiten 427–434, Mai 2017. Details URL DOI BIB
- Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Dissertation, Technische Universität München, Mai 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():, Januar 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, Seiten 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), Seiten 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), Band 10488 von LNCS, Seiten 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, Seiten 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