Liste als BibTeX-Datei exportieren

2013

• 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
• 2013 Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach Paul Pop , Leonidas Tsiopoulos , Sebastian Voss , Oscar Slotosch , Christoph Ficek , Ulrik Nyman und Alejandra Ruiz Lopez 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 URL BIB
• 2013 MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering Sabine Teufl , Dongyue Mou und Daniel Ratiu In Proceedings of the 21st IEEE International Requirements Engineering Conference (RE), 2013. Details DOI BIB
• 2013 Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal Maged Khalil In Software Engineering (Workshops), Seiten 493–499, 2013. Details URL BIB
• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss , Bernhard Schätz , Maged Khalil und Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB

2012

• November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone und Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
• September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, September 2012. Details DOI BIB
• März 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech , Dongyue Mou und Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), Seiten 13–27, Tallinn, Estonia, März 2012. Details DOI BIB
• Februar 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss und Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, Februar 2012. Details URL BIB
• 2012 SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern Klaus Becker , Christian Buckl , Alexander Camek , Reiner Falk , Ludger Fiege , Jürgen Gessner und Stephan Sommer In Automotive - Safety & Security, 2012. Details URL BIB

2011

• Februar 2011 A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study Martin Feilkas , Florian Hölzl , Christian Pfaller , Sabine Rittmann , Bernhard Schätz , Wolfgang Schwitzer , Wassiou Sitou , Maria Spichkova und David Trachtenherz Februar 2011. Details URL BIB
• 2011 Experience with content-based requirements engineering assessments Sabine Teufl , Maged Khalil , Dongyue Mou und Eva Geisberger In Proceedings of the 19th International Requirements Engineering Conference, Seiten 345-346, 2011. IEEE. Details DOI BIB
• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl und Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB

2010

• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova und David Trachtenherz TUM-I1021, November 2010. Details URL BIB
• 2010 AutoFOCUS3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems Florian Hölzl und Martin Feilkas In Model-Based Engineering of Embedded Real-Time Systems, Band 6100 von LNCS, . Springer, Berlin Heidelberg, 2010. Details DOI BIB
• 2010 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy , Martin Feilkas , Markus Herrmannsdörfer , Stefano Merenda und Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB