21 citations · 21 across the 4 of their papers we have counts for
1 paper · 1 filter
Marc Carwehl, Thomas Vogel, Genaína Nunes Rodrigues +1
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop…