Liste als BibTeX-Datei exportieren

2018

• März 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald , Simon Barner und Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), März 2018. Details BIB

2017

• November 2017 Designing a far-reaching view for highway traffic scenarios with 5G-based intelligent infrastructure Gereon Michael Hinz , Martin Buechel , Frederik Diehl , Guang Chen , Annkathrin Krämmer , Juri Kuhn , Venkatnarayanan Lakshminarasimhan , Malte Schellmann , Uwe Baumgarten und Alois Knoll In 8. Tagung Fahrerassistenzsysteme, Munich, Germany, November 2017. TÜV Süd. Details URL BIB
• September 2017 Robotics Library: An Object-Oriented Approach to Robot Applications Markus Rickert und Andre Gaschler In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Vancouver, BC, Canada, September 2017. Details URL DOI BIB
• 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 und Daniel Gracia Pérez In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS '17), Seiten 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 und Alistair Mavin In Tools and Demo Session track at MoDELS 2017, Seiten 1–6, 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 und Jon Pérez In Proceedings of the SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Seiten 157–172, September 2017. Springer. Details DOI BIB
• September 2017 Process-Aware Model-Driven Development Environments Levi Lúcio , Saad bin Abid , Salman Rahman , Vincent Aravantinos , Eduard Harwardt und Ralf Kuestner In MODELS Workshops, Seiten 405–411, September 2017. Details URL 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, Mai 2017. Details URL 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 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider , Alois Zoitl , Monika Wenger und Jan Olaf Blech In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details URL PDF BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB

2016

• Oktober 2016 Decomposition of Design Space Exploration Problems in the Context of model-based Development Sergey Zverlov In Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems (MODELS 2016), Oktober 2016. CEUR. Details URL BIB
• September 2016 An Adaptive Nonlinear Model Predictive Controller for Longitudinal Motion of Automated Vehicles Martin Buechel und Alois Knoll In 2016 IEEE Conference on Control Applications (CCA), September 2016. IEEE. Details DOI BIB
• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Fernando Eizaguirre , Anatoly Vasilevskiy und Franck Chauvel In Proceedings of the Forum on Specification and Design Languages (FDL 2016), Bremen, Germany, September 2016. IEEE. Details DOI BIB
• April 2016 Towards Trusted Apps platforms for open CPS Christian Prehofer , Oliver Horst , Riccardo Dodi , Arjan Geven , George Kornaros , Eleonora Montanari und Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), Seiten 23–28, April 2016. Details DOI BIB

2015

• September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns und Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• Februar 2015 Model-based Performance Evaluation of Large-Scale Smart Metering Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler und Helmut Krcmar In Proceedings of the 4th International Workshop on Large-Scale Testing, Seiten 9–12, New York, NY, USA, Februar 2015. ACM. Details URL DOI BIB
• 2015 An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures Martin Buechel , Jelena Frtunikj , Klaus Becker , Stephan Sommer , Christian Buckl , Michael Armbruster , Cornel Klein , Andre Marek , Andreas Zirkler und Alois Knoll In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
• 2015 Landscaping Performance Research at the ICPE and Its Predecessors: A Systematic Literature Review Alexandru Danciu , Johannes Kroß , Andreas Brunnert , Felix Willnecker , Christian Vögele , Anand Kapadia und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 91–96, New York, NY, USA, 2015. ACM. Details DOI BIB
• 2015 Stream Processing on Demand for Lambda Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler und Helmut Krcmar Band 9272 von Lecture Notes in Computer Science, Seiten 243-257. Springer International Publishing, 2015. Details URL DOI BIB