Export list as BibTeX file

2017

• September 2017 DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Jörn Migge , Ali Abbas Jaffari Syed , Gerhard Fohler , Madeleine Faugère and Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), pages 259–269, September 2017. IEEE. Details DOI BIB
• September 2017 EARS-CTRL: Building and Verifying Controllers for Dummies Levi Lúcio , Salman Rahman , Saad bin Abid and Alistair Mavin In Tools and Demo Session track at MoDELS 2017, pages 1–6, September 2017. Details URL BIB
• September 2017 ExplicitCase: Integrated Model-based Development of System and Safety Cases Carmen Cârlan , Simon Barner , Alexander Diewald , Alexandros Tsalidis and Sebastian Voss In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, volume 10489 of LNCS, pages 52 – 63, September 2017. Springer. Details DOI BIB
• September 2017 Expressive Symbolic-Execution Contract Proving for the DSLTrans Transformation Language Bentley James Oakes , Levi Lúcio , Cláudio Gomes and Hans Vangheluwe 2017-01, September 2017. Details URL BIB
• September 2017 GSN Support of Mixed-Criticality Systems Certification Carlos-Fernando Nicolas , Fernando Eizaguirre , Asier Larrucea Ortube , Simon Barner , Franck Chauvel , Goiuria Sagardui and Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, pages 157–172, September 2017. Springer. Details DOI BIB
• September 2017 Model-based Performance Evaluation of Batch and Stream Applications for Big Data Johannes Kroß and Helmut Krcmar In 2017 IEEE 25th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 80-86, September 2017. IEEE. Details URL DOI BIB
• September 2017 OPC UA for Plug & Produce: Automatic Device Discovery using LDS-ME Stefan Profanter , Kirill Dorofeev , Alois Zoitl and Alois Knoll In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, September 2017. Details BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio , Saad bin Abid , Salman Rahman , Vincent Aravantinos , Eduard Harwardt and Ralf Kuestner In MODELS Workshops, pages 405–411, September 2017. Details URL BIB
• August 2017 How to Teach Your Robot in 5 Minutes: Applying UX Paradigms to Human-Robot-Interaction Martin Kraft and Markus Rickert In Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), Lisbon, Portugal, August 2017. Details DOI BIB
• July 2017 Automatically Classifying User Engagement for Dynamic Multi-party Human–Robot Interaction Mary Ellen Foster , Andre Gaschler and Manuel Giuliani International Journal of Social Robotics, ():1–16, July 2017. Details DOI BIB
• July 2017 Environment Effects at Phantom-Based X-Ray Pose Measurements Sabine Thürauf , Mario Körner , Florian Vogt , Oliver Hornung , M. Ali Nasseri and Alois Knoll In Proceedings of the International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), pages 1836–1839, Seogwipo, South Korea, July 2017. Details DOI BIB
• 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, June 2017. 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), June 2017. 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, June 2017. Details DOI BIB
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, June 2017. 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, May 2017. Details URL DOI BIB
• May 2017 Seamless Model-based Requirements Engineering: Models, Guidelines, Tools Sabine Teufl Dissertation, Technische Universität München, May 2017. 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