Export list as BibTeX file

2017

• June 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 and 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
• June 2017 Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms Oliver Horst, Uwe Baumgarten and Christian Prehofer 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), CISTER, ISEP, Portugal, Details BIB
• June 2017 Motion Planning under Perception and Control Uncertainties with Space Exploration Guided Heuristic Search Chao Chen, Markus Rickert and Alois Knoll In Proceedings of the IEEE Intelligent Vehicles Symposium, Redondo Beach, CA, USA, Details DOI BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB
• May 2017 A web-based system architecture for ontology-based data integration in the domain of IT benchmarking Matthias Pfaff and Helmut Krcmar Enterprise Information Systems, ():1-23, May 2017. Details URL DOI BIB
• May 2017 Just Formal Enough? Automated Analysis of EARS Requirements Levi Lúcio, Salman Rahman, Chih-Hong Cheng and Alistair Mavin In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pages 427–434, Details URL DOI BIB
• May 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 and Alois Knoll IEEE Robotics and Automation Letters, 2(2):1148–1155, April 2017. Details DOI BIB
• January 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 and Marc-Oliver Gewaltig Frontiers in Neurorobotics, 11():, January 2017. Details URL PDF DOI BIB
• 2017 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles Ian Mason, Vivek Nigam, Carolyn Talcott and 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, pages 406–422, Details URL DOI BIB