Liste als BibTeX-Datei exportieren

2019

• 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva , Carmen Cârlan , Harald Rueß und Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
• 2019 Real-Time Personalization in Adaptive IDEs Matthias Schmidmaier , Zhiwei Han , Thomas Weber , Yuanting Liu und Heinrich Hußmann Seiten 81-86, 2019. ACM. Details URL BIB
• 2019 Roadmap to Skill Based Systems Engineering Kathrin Evers , Jan R Seyler , Vincent Aravantinos , Levi Lúcio und Anees Mehdi In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1093–1100, 2019. IEEE. Details DOI BIB

2018

• Dezember 2018 A Bird's Eye View on Requirements Engineering and Machine Learning Tahira Iqbal , Parisa Elahidoost und Levi Lúcio In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), Seiten 11-20, Dezember 2018. Details DOI BIB
• Oktober 2018 [T3] Develop your Own Car Levi Lúcio , Sebastian Voss , Tatiana Chuprina , Andreas Bayha , Johannes Eder und Sudeep Kanav Oktober 2018. Details URL BIB
• Oktober 2018 A modular approach to integrate verification tools in model based development Sudeep Kanav In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
• Oktober 2018 Controlling a virtual rover using AutoFOCUS3 Levi Lúcio , Sudeep Kanav , Andreas Bayha und Johannes Eder In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Oktober 2018. Details URL BIB
• Oktober 2018 Exploration of hardware topologies based on functions, variability and timing Johannes Eder In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 145–149, Oktober 2018. ACM. Details DOI BIB
• Oktober 2018 From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures Johannes Eder , Andreas Bayha , Sebastian Voss , Alexandru Ipatiov und Maged Khalil In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, Oktober 2018. ACM, Details DOI BIB
• Oktober 2018 Optimization and Reconfiguration of IEC 61499-based Software Architectures Tarik Terzimehić In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, Oktober 2018. Details DOI BIB
• September 2018 Alternatives for Flexible Deployment Architectures in Industrial Automation Systems Sten Grüner , Somayeh Malakuti , Johannes Schmitt , Tarik Terzimehić , Monika Wenger und Haitham Elfham In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB
• August 2018 Algorithms and Tools Jörn Migge , Patricia Balbastre , Simon Barner , Franck Chauvel , Silviu S. Craciunas , Alexander Diewald , Guy Durrieu , Oystein Haugen , Ali Abbas Jaffari Syed , Claire Pagetti , Ramon Serna Oliver und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
• August 2018 Formalizing EARS – First Impressions Levi Lúcio und Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Seiten 11-13, August 2018. Details DOI BIB
• August 2018 Modeling and Development Process Simon Barner , Franck Chauvel , Alexander Diewald , Fernando Eizaguirre , Oystein Haugen , Jörn Migge und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
• August 2018 Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems Tarik Terzimehić , Sebastian Voss und Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
• Juni 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani , Levi Lúcio und Adrian Bibal Juni 2018. Details URL BIB
• Mai 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss und Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, Mai 2018. IEEE, Details DOI BIB
• April 2018 Applying DSE for Solving the Deployment Problem in Industry 4.0 Tarik Terzimehić , Sebastian Voss , Monika Wenger und Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
• 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
• März 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker , Sebastian Voss und Bernhard Schätz Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB