Export list as BibTeX file

2017

• 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
• 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 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider , Alois Zoitl , Monika Wenger and 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 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 An Adaptive Nonlinear Model Predictive Controller for Longitudinal Motion of Automated Vehicles Martin Buechel and 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 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

• September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns and Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• February 2015 Model-based Performance Evaluation of Large-Scale Smart Metering Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler and Helmut Krcmar In Proceedings of the 4th International Workshop on Large-Scale Testing, pages 9–12, New York, NY, USA, February 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 and 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 and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 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 and Helmut Krcmar volume 9272 of Lecture Notes in Computer Science, pages 243-257. Springer International Publishing, 2015. Details URL DOI BIB

2014

• December 2014 Balancing Exploration and Exploitation in Sampling-Based Motion Planning Markus Rickert , Arne Sieverling and Oliver Brock IEEE Transactions on Robotics, 30(6):1305–1317, December 2014. Details DOI BIB
• 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
• June 2014 Cloudburst - Simulating Workload for IaaS Clouds Johannes Kroß and Andreas Wolke In Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, pages 841–848, June 2014. IEEE. Details URL 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 Practitioners' and Researchers' Expectations on Design Space Exploration for Multicore Systems in the Automotive and Avionics Domains: A Survey Philipp Diebold , Constanza Lampasona , Sergey Zverlov and Sebastian Voss In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, pages 1:1–1:10, New York, NY, USA, 2014. ACM. 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