529 | -- | 530 | Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich. Editorial |
531 | -- | 566 | Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems |
567 | -- | 595 | Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene. ASM-based formal design of an adaptivity component for a Cloud system |
597 | -- | 613 | Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos. On the expressive power of behavioral profiles |
615 | -- | 641 | Marco Montali, Andrey Rivkin. Model checking Petri nets with names using data-centric dynamic systems |
643 | -- | 667 | Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira. Dynamic role authorization in multiparty conversations |
669 | -- | 696 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez. Self-adaptation and secure information flow in multiparty communications |
697 | -- | 722 | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. Reversible client/server interactions |