Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Rasmus Adler

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2010
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tecs/AdlerSTP10
- ask others
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)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/AdlerST10
- ask others
Rasmus Adler, Daniel Schneider, Mario Trapp: Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. ICECCS 2010: 21-30
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/models/AdlerDHKKST10
- ask others
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

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aina/AdlerFT07
- ask others
Rasmus Adler, Marc Forster, Mario Trapp: Determining Configuration Probabilities of Safety-Critical Adaptive Systems. AINA Workshops (2) 2007: 548-555
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/AdlerSSV07
- ask others
Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié: From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95