Liste als BibTeX-Datei exportieren

2017

• Juni 2017 Absolute Accurate Calibration of a Robotic C-Arm System based on X-Ray Observations using a Kinematic Model Sabine Thürauf, Oliver Hornung, Mario Körner, Florian Vogt, M. Ali Nasseri und Alois Knoll In Proceedings of the Workshop on Surgical Robots: Compliant, Continuum, Cognitive, and Collaborative, IEEE International Conference on Robotics and Automation (ICRA), Singapore, Singapore, Details BIB
• Juni 2017 Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms Oliver Horst, Uwe Baumgarten und Christian Prehofer 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), CISTER, ISEP, Portugal, Details BIB
• Juni 2017 Motion Planning under Perception and Control Uncertainties with Space Exploration Guided Heuristic Search Chao Chen, Markus Rickert und Alois Knoll In Proceedings of the IEEE Intelligent Vehicles Symposium, Redondo Beach, CA, USA, Details DOI BIB
• Juni 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB
• Mai 2017 A web-based system architecture for ontology-based data integration in the domain of IT benchmarking Matthias Pfaff und Helmut Krcmar Enterprise Information Systems, ():1-23, Mai 2017. Details URL DOI BIB
• Mai 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng und Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Seiten 427–434, Details URL DOI BIB
• Mai 2017 Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Sabine Teufl Dissertation, Technische Universität München, Details URL BIB
• April 2017 An Exact Solver for Geometric Constraints with Inequalities Nikhil Somani, Markus Rickert und Alois Knoll IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BIB
• Januar 2017 Connecting Artificial Brains to Robots in a Comprehensive Simulation Framework: The Neurorobotics Platform Egidio Falotico, Lorenzo Vannucci, Alessandro Ambrosano, Ugo Albanese, Stefan Ulbrich, Juan Camilo Vasquez Tieck, Georg Hinkel, Murat Kirtay, Igor Peric, Oliver Denninger, Nino Cauli, Arne Roennau, Gudrun Klinker, Axel von Arnim, Luc Guyot, Daniel Peppicelli, Pablo Martinez-Canada, Eduardo Ros, Patrick Maier, Sandro Weber, Manuel Huber, David Plecher, Florian Röhrbein, Stefan Deser, Alina Roitberg, Patrick van der Smagt, Rüdiger Dillmann, Paul Levi, Cecilia Laschi, Alois Knoll und Marc-Oliver Gewaltig Frontiers in Neurorobotics, 11():, Januar 2017. Details URL PDF DOI BIB
• 2017 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles Ian Mason, Vivek Nigam, Carolyn Talcott und Alisson Vasconcelos De Brito 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, Details URL DOI BIB