Export list as BibTeX file

2017

• 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 Tool Support for Live Formal Verification Vincent Aravantinos and Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 145-155, 2017. Details DOI BIB

2016

• October 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), October 2016. CEUR. Details URL BIB
• September 2016 Building Product-lines of Mixed-Criticality Systems Simon Barner , Alexander Diewald , Fernando Eizaguirre , Anatoly Vasilevskiy and 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 and Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI BIB

2015

• 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 and Alois Knoll In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
• 2015 Stream Processing on Demand for Lambda Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler and Helmut Krcmar volume 9272 of Lecture Notes in Computer Science, pages 243-257. Springer International Publishing, 2015. Details URL DOI BIB

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna and Harald Rueß In Smart Grid Security, pages 16–29, August 2014. Springer International Publishing. Details DOI BIB
• August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl , Wolfgang Böhm and Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, pages 77-86, August 2014. Details DOI BIB
• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil , Alejandro Prieto and Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), volume 8822 of LNCS, pages 137–151, 2014. Springer. Details DOI BIB
• 2014 Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems Sergey Zverlov and Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, 2014. Details DOI BIB
• 2014 Using Performance Models to Support Load Testing in a Large SOA Environment Christian Vögele , Andreas Brunnert , Alexandru Danciu , Daniel Tertilt and Helmut Krcmar In Proceedings of the Third International Workshop on Large Scale Testing, pages 5-6, New York, NY, USA, 2014. ACM. Details DOI BIB

2012

• September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, September 2012. Details DOI BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova and David Trachtenherz TUM-I1021, November 2010. Details URL BIB