From model-based design to formal verification of adaptive embedded systems R Adler, I Schaefer, T Schuele, E Vecchié Formal Methods and Software Engineering: 9th International Conference on …, 2007 | 75 | 2007 |
Integration of component fault trees into the UML R Adler, D Domis, K Höfig, S Kemmann, T Kuhn, JP Schwinn, M Trapp Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011 | 49 | 2011 |
Runtime adaptation in safety-critical automotive systems R Adler, M Förster, J Junger, M Trapp Proc 25th IASTED International Multi-Conference Software Engineering, 308-315, 2005 | 47 | 2005 |
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems R Adler, I Schaefer, M Trapp, A Poetzsch-Heffter ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-39, 2011 | 43 | 2011 |
Safety engineering for autonomous vehicles R Adler, P Feth, D Schneider 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016 | 36 | 2016 |
Advances in component fault trees B Kaiser, D Schneider, R Adler, D Domis, F Möhrle, A Berres, M Zeller, ... Safety and Reliability–Safe Societies in a Changing World, 815-823, 2018 | 33 | 2018 |
A conceptual safety supervisor definition and evaluation framework for autonomous systems P Feth, D Schneider, R Adler Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 32 | 2017 |
Determining configuration probabilities of safety-critical adaptive systems R Adler, M Forster, M Trapp 21st International Conference on Advanced Information Networking and …, 2007 | 30 | 2007 |
Deutsche Normungsroadmap Künstliche Intelligenz R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ... DIN, 2022 | 24 | 2022 |
Multi-aspect safety engineering for highly automated driving: Looking beyond functional safety and established standards and methodologies P Feth, R Adler, T Fukuda, T Ishigooka, S Otsuka, D Schneider, D Uecker, ... Computer Safety, Reliability, and Security: 37th International Conference …, 2018 | 21 | 2018 |
Engineering dynamic adaptation for achieving cost-efficient resilience in software-intensive embedded systems R Adler, D Schneider, M Trapp 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 18 | 2010 |
Integrating variability and safety analysis models using commercial UML-based tools D Domis, R Adler, M Becker Proceedings of the 19th International Conference on Software Product Line …, 2015 | 16 | 2015 |
Safety assurance for autonomous and collaborative medical cyber-physical systems FL Leite, R Adler, P Feth Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 14 | 2017 |
Using Complementary Risk Acceptance Criteria to Structure Assurance Cases for Safety-Critical AI Components. M Kläs, R Adler, L Jöckel, J Groß, J Reich AISafety@ IJCAI, 2021 | 13 | 2021 |
Handling uncertainties of data-driven models in compliance with safety constraints for autonomous behaviour M Kläes, R Adler, I Sorokos, L Joeckel, J Reich 2021 17th European Dependable Computing Conference (EDCC), 95-102, 2021 | 12 | 2021 |
Dynamic risk management for cooperative autonomous medical cyber-physical systems FL Leite, D Schneider, R Adler Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018 | 12 | 2018 |
Assuring fairness of algorithmic decision making MP Hauer, R Adler, K Zweig 2021 IEEE International Conference on Software Testing, Verification and …, 2021 | 10 | 2021 |
Deis: dependability engineering innovation for industrial cps E Armengaud, G Macher, A Massoner, S Frager, R Adler, D Schneider, ... Advanced Microsystems for Automotive Applications 2017: Smart Systems …, 2018 | 10 | 2018 |
Apparatuses, methods and computer programs for controlling a machine D Schneider, T Kuhn, R Adler, VY Nguyen, P Feth, E Cioroaica, B Zimmer, ... US Patent 10,747,413, 2020 | 9 | 2020 |
Industrial perspective on reuse of safety artifacts in software product lines C Wolschke, M Becker, S Schneickert, R Adler, J MacGregor Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 9 | 2019 |