Prati
Rasmus Adler
Rasmus Adler
Fraunhofer IESE
Potvrđena adresa e-pošte na iese.fhg.de
Naslov
Citirano
Citirano
Godina
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
752007
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
492011
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
472005
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
432011
Safety engineering for autonomous vehicles
R Adler, P Feth, D Schneider
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
362016
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
332018
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
322017
Determining configuration probabilities of safety-critical adaptive systems
R Adler, M Forster, M Trapp
21st International Conference on Advanced Information Networking and …, 2007
302007
Deutsche Normungsroadmap Künstliche Intelligenz
R Adler, A Bunte, S Burton, J Großmann, A Jaschke, P Kleen, JM Lorenz, ...
DIN, 2022
242022
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
212018
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
182010
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
162015
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
142017
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
132021
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
122021
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
122018
Assuring fairness of algorithmic decision making
MP Hauer, R Adler, K Zweig
2021 IEEE International Conference on Software Testing, Verification and …, 2021
102021
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
102018
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
92020
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
92019
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20