A model–based design methodology with contracts to enhance the development process of safety–critical systems A Baumgart, P Reinkemeier, A Rettberg, I Stierand, E Thaden, R Weber Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 …, 2010 | 33 | 2010 |
A system for seamless abstraction layers for model-based development of embedded software J Thyssen, D Ratiu, W Schwitzer, A Harhurin, M Feilkas, E Thaden Gesellschaft für Informatik eV, 2010 | 22 | 2010 |
A fault injection approach to evaluate soft-error dependability of system calls R Amarnath, SN Bhat, P Munk, E Thaden 2018 IEEE International Symposium on Software Reliability Engineering …, 2018 | 16 | 2018 |
Dependability challenges in the model-driven engineering of automotive systems R Amarnath, P Munk, E Thaden, A Nordmann, S Burton 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 16 | 2016 |
Semi-automatic safety analysis and optimization P Munk, A Abele, E Thaden, A Nordmann, R Amarnath, M Schweizer, ... Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 14 | 2018 |
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. M Büker, W Damm, G Ehmen, A Metzner, I Stierand, E Thaden SIES, 156-165, 2011 | 13 | 2011 |
From specification models to distributed embedded applications: A holistic user-guided approach I Stierand, G Ehmen, W Damm, D Janssen, M Büker, S Henkler, E Thaden SAE International Journal of Passenger Cars-Electronic and Electrical …, 2013 | 12 | 2013 |
A column generation approach to scheduling of periodic tasks E Althaus, R Naujoks, E Thaden International Symposium on Experimental Algorithms, 340-351, 2011 | 9 | 2011 |
Semi-automatic optimization of hardware architectures in embedded systems E Thaden Universität Oldenburg, 2013 | 7 | 2013 |
Accelerated simulated fault injection testing E Cioroaica, J Jahić, T Kuhn, C Peper, D Uecker, C Dropmann, P Munk, ... 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 6 | 2017 |
Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion E Thaden, H Lipskoch, A Metzner, I Stierand Embedded and Real-Time Computing Systems and Applications (RTCSA), 2010 IEEE …, 2010 | 6 | 2010 |
Scheduling of real-time networks with a column generation approach E Althaus, S Hoffmann, J Kupilas, E Thaden IAENG Transactions on Engineering Technologies: Special Issue of the World …, 2014 | 5 | 2014 |
A design space exploration framework for model-based software-intensive embedded system development M Büker, S Henkler, S Schlegel, E Thaden Gesellschaft für Informatik eV, 2013 | 5 | 2013 |
A column generation approach to scheduling of real-time networks E Althaus, S Hoffmann, J Kupilas, E Thaden Proceedings of the World Congress on Engineering and Computer Science 1, 24, 2012 | 5 | 2012 |
Cost-minimal pre-allocation of software tasks under real-time constraints B Clark, I Stierand, E Thaden Proceedings of the 2011 ACM Symposium on Research in Applied Computation, 77-83, 2011 | 4 | 2011 |
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers C Dropmann, E Thaden, M Trapp, D Uecker, R Amarnath, LA da Silva, ... Computer Safety, Reliability, and Security: 37th International Conference …, 2018 | 3 | 2018 |
Design Space Exploration for an industrial Lane-Keeping-Support Case Study R Weber, E Thaden, S Henkler, J Höfflinger, S Prochnow Proceedings of DATE Conference–University Booth, 24-28, 2014 | 3 | 2014 |
Specification of an architecture meta-model R Weber, E Thaden, P Reinkemeier, A Baumgart SPES, Report D 3, 2C_TR, 2012 | 3 | 2012 |
Method and device for configuring an execution means and for detecting a state of operation thereof M Liisberg, P Munk, EM Thaden, M Schweizer, C Dropmann, J Jahic, ... US Patent App. 16/037,475, 2019 | 1 | 2019 |
From Matlab-Simulink to Distributed Embedded Applications: An Automotive Tool Demonstration M Büker, G Ehmen, S Henkler, A Rettberg, I Stierand, E Thaden Proceedings of DATE Conference–University Booth, 19-22, 2013 | 1 | 2013 |