Towards self-adaptation in real-time, networked systems: Efficient solving of system constraints for automotive embedded systems M Zeller, C Prehofer, G Weiss, D Eilers, R Knorr 2011 IEEE Fifth International Conference on Self-Adaptive and Self …, 2011 | 43 | 2011 |
WAP: digital dependability identities D Schneider, M Trapp, Y Papadopoulos, E Armengaud, M Zeller, K Höfig 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 41 | 2015 |
Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems M Zeller, C Prehofer Journal of Systems Architecture 59 (10), 1067-1082, 2013 | 34 | 2013 |
Towards self-organization in automotive embedded systems G Weiss, M Zeller, D Eilers, R Knorr Autonomic and Trusted Computing: 6th International Conference, ATC 2009 …, 2009 | 33 | 2009 |
Advances in Component Fault Trees B Kaiser, D Schneider, R Adler, D Domis, F Möhrle, A Berres, M Zeller, ... Proceedings of the 28th European Safety and Reliability Conference (ESREL), 2018 | 26 | 2018 |
Timing constraints for runtime adaptation in real-time, networked embedded systems M Zeller, C Prehofer 2012 7th International Symposium on Software Engineering for Adaptive and …, 2012 | 24 | 2012 |
ALFRED: a methodology to enable component fault trees for layered architectures K Höfig, M Zeller, R Heilmann 2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015 | 18 | 2015 |
Towards automotive embedded systems with self-x properties G Weiss, M Zeller, D Eilers New Trends and Developments in Automotive System Engineering, 411-432, 2011 | 18 | 2011 |
Learning and testing resilience in cooperative multi-agent systems T Phan, T Gabor, A Sedlmeier, F Ritz, B Kempter, C Klein, H Sauer, ... Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 17 | 2020 |
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems T Gabor, A Sedlmeier, T Phan, F Ritz, M Kiermeier, L Belzner, B Kempter, ... International Journal on Software Tools for Technology Transfer 22, 457-476, 2020 | 15 | 2020 |
Automated evidence analysis of safety arguments using digital dependability identities J Reich, M Zeller, D Schneider Computer Safety, Reliability, and Security: 38th International Conference …, 2019 | 15 | 2019 |
Model-based reliability and safety: reducing the complexity of safety analyses using component fault trees K Hofig, A Joanni, M Zeller, F Montrone, M Rothfelder, R Amarnath, ... 2018 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2018 | 15 | 2018 |
Automated compositional safety analysis using component fault trees F Mohrle, M Zeller, K Hofig, M Rothfelder, P Liggesmeyer 2015 IEEE International Symposium on Software Reliability Engineering …, 2015 | 15 | 2015 |
Designing fail-safe architectures for aircraft electrical power systems J Menu, M Nicolai, M Zeller 2018 AIAA/IEEE Electric Aircraft Technologies Symposium (EATS), 1-14, 2018 | 14 | 2018 |
Safety. lab: Model-based domain specific tooling for safety argumentation D Ratiu, M Zeller, L Killian Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 14 | 2015 |
An approach for providing dependable self-adaptation in distributed embedded systems M Zeller, G Weiss, D Eilers, R Knorr Proceedings of the 2011 ACM Symposium on Applied Computing, 236-237, 2011 | 14 | 2011 |
Towards runtime adaptation in AUTOSAR M Zeller, C Prehofer, D Krefft, G Weiss ACM SIGBED Review 10 (4), 17-20, 2013 | 13 | 2013 |
A multi-layered control approach for self-adaptation in automotive embedded systems M Zeller, C Prehofer Advances in Software Engineering 2012, 10-10, 2012 | 11 | 2012 |
Co-simulation of self-adaptive automotive embedded systems M Zeller, G Weiss, D Eilers, R Knorr 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2010 | 11 | 2010 |
Approach for iterative validation of automotive embedded systems G Weiss, M Zeller, D Eilers, R Knorr Models 2010 ACES-MB Workshop Proceedings, 69-83, 2010 | 11 | 2010 |