Liste als BibTeX-Datei exportieren

2016

• Januar 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov, Maged Khalil und Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Details URL BIB
• 2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald, Sebastian Voss und Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), Seiten 190–193, New York, NY, USA, ACM. Details DOI BIB

2015

• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl und Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, Details URL BIB
• 2015 Automating Design-Space Exploration: Optimal Deployment of Automotive SW-Components in an ISO26262 Context Bernhard Schätz, Sergey Zverlov und Sebastian Voss In Design Automation Conference (DAC), 2015 52st ACM/EDAC/IEEE, Details DOI BIB

2014

• Februar 2014 Design Space Exploration and its Visualization in AutoFOCUS3 Sebastian Voss, Johannes Eder und Florian Hölzl In Software Engineering (Workshops), Seiten 57–66, Details URL BIB
• 2014 Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems Sergey Zverlov und Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, Details DOI BIB

2013

• Mai 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly, Carmen Cârlan und Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), Details URL BIB
• April 2013 Deployment and Scheduling Synthesis for Mixed-Critical Shared Memory Applications Sebastian Voss und Bernhard Schätz In Proceedings of the Engineering Computer-Based Systems Conference (ECBS '13), Seiten 100–109, Phoenix, AZ, USA, IEEE. Details DOI BIB
• April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian Voss, Antoaneta Kondeva, Daniel Ratiu und Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Seiten 212, Details DOI BIB
• 2013 Emergency Shutdown System Demonstrator using AutoFOCUS3 Anton Hattendorf und Sebastian Voss In Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT) (co-located with DATE), Details BIB