Liste als BibTeX-Datei exportieren

2015

• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker und Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB
• 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, 2015. 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, 2015. Details DOI BIB
• 2015 Textual model-based software/system architecture documentation using MPS Vincent Aravantinos , Kenji Miyamoto , Zaur Molotnikov , Nikolaus Regnat und Bernhard Schätz In Software Engineering & Management, Band 239, Seiten 232-237, 2015. Details URL BIB

2014

• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, August 2014. Springer International Publishing. Details DOI BIB
• Mai 2014 Deployment Calculation and Analysis for a Fail-Operational Automotive Platform Klaus Becker , Michael Armbruster , Bernhard Schätz und Christian Buckl In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Mai 2014. Details URL BIB
• 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, Februar 2014. Details URL BIB
• 2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker , Bernhard Schätz , Michael Armbruster und Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
• 2014 A Pattern-based Approach towards Modular Safety Analysis and Argumentation Maged Khalil , Bernhard Schätz und Sebastian Voss In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BIB
• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil , Alejandro Prieto und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, 2014. Springer. Details DOI BIB
• 2014 Design Space Exploration in AutoFOCUS3 - An Overview Sebastian Voss und Sergey Zverlov In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details 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 und Sebastian Voss In Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, Seiten 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 und Sebastian Voss In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, 2014. Details DOI BIB

2013

• Oktober 2013 RACE: A Centralized Platform Computer Based Architecture for Automotive Applications Stephan Sommer , Alexander Camek , Christian Buckl , Klaus Becker , Andreas Zirkler , Ludger Fiege , Michael Armbruster und Alois Knoll In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013), Oktober 2013. IEEE. Details DOI BIB
• Oktober 2013 Security policies for distributed systems Jean Quilbeuf , Georgeta Igna , Denis Bytschkow und Harald Rueß Oktober 2013. Details URL BIB
• Juni 2013 Sicher steuern mit Multicore-Prozessoren Simon Barner , Jia Huang und Sebastian Voss Computer & Automation, ():24-29, Juni 2013. Details URL BIB
• 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), Mai 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, April 2013. 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, April 2013. 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), 2013. Details BIB