 | 2010 |
| 5 |  | Rasmus Adler,
Daniel Schneider,
Mario Trapp:
Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems.
ICECCS 2010: 21-30 |
| 4 |  | Rasmus Adler,
Dominik Domis,
Kai Höfig,
Sören Kemmann,
Thomas Kuhn,
Jean-Pascal Schwinn,
Mario Trapp:
Integration of Component Fault Trees into the UML.
MoDELS Workshops 2010: 312-327 |
| 3 |  | Rasmus Adler,
Ina Schaefer,
Mario Trapp,
Arnd Poetzsch-Heffter:
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
ACM Trans. Embedded Comput. Syst. 10(2): 20 (2010) |
| 2007 |
| 2 |  | Rasmus Adler,
Marc Forster,
Mario Trapp:
Determining Configuration Probabilities of Safety-Critical Adaptive Systems.
AINA Workshops (2) 2007: 548-555 |
| 1 |  | Rasmus Adler,
Ina Schaefer,
Tobias Schüle,
Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
ICFEM 2007: 76-95 |