LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13511
 Functions: 

Seminar 13511
Software Engineering for Self-Adaptive Systems: Assurances

Rogerio de Lemos (University of Kent, GB), David Garlan (CMU - Pittsburgh, US), Carlo Ghezzi (Politecnico di Milano, IT), Holger Giese (Hasso-Plattner-Institut - Potsdam, DE)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.

 

Seminar Wide Materials
 
 Welcome slides
Abstracts: txt Slides: pdf

 Topics
Abstracts: txt Slides: pdf Other: txt

 Consolidation of the area
Abstracts: txt Slides: pdf Other: txt

 Program (Tuesday and Wednesday) - Presentations (schedulling)
Abstracts: txt Slides: pdf

 2nd Breakout session - reports
Slides: pdfpdfpdfpdf

 1st Breakout session - reports
Slides: pdfpdfpdfpdf

 Final breakout report slides
Slides: pptxpdfpdfpdfpdf

 Challenge Paper, Book and Chapters
Slides: pdf

 


Jesper Andersson , Linnaeus University - Växjö
 

Christopher Bailey , University of Kent
 

Luciano Baresi , Politecnico di Milano University
 Introduction silde
Slides: ppt

 Abstract
Abstracts: pdf

 

Benoit Baudry , INRIA Bretagne Atlantique - Rennes
 Introduction slide
Slides: ppt

 Artificial software diversity: automatic synthesis of program sosies
Abstracts: txt Slides: pdf

 

Nelly Bencomo , Aston University - Birmingham
 Introduction Slides
Slides: ppt

 Bayesian Artificial Intelligence for Tackling Uncertainty in Self-Adaptive Systems: The Case of Dynamic Decision Networks
Abstracts: txt Paper: pdf

  Bayesian artificial intelligence for tackling uncertainty in self-adaptive systems: The case of dynamic decision networks

 

Yuriy Brun , University of Massachusetts - Amherst
 Yuriy Brun's introduction slide.
Abstracts: txt Slides: ppt

 First breakout session summary
Slides: pptx

 Inferring models for verification (plenary talk)
Abstracts: txt Slides: pptx

 Second breakout session summary
Slides: pptx

 

Radu Calinescu , University of York
 Introduction slide
Slides: ppt

 Self-Adaptive Software Assurance through Continual Verification of Non-Functional Properties
Abstracts: txt Slides: pdf

 

Javier Camara , Carnegie Mellon University
 Introduction Slide
Slides: pdf

 

Myra B. Cohen , University of Nebraska - Lincoln
 Failure Avoidance using Feature Locality
Abstracts: txt Slides: pdf

 Introduction Slide
Slides: ppt

 Breakout Three Summary
Abstracts: txt Slides: pptx

 

Vittorio Cortellessa , University of L'Aquila
 Applying Model Differences to Automate Performance-Driven Refactoring of Software Models
Abstracts: txtdocx

 Introductory slide
Slides: ppt

 

Bojan Cukic , West Virginia University - Morgantown
 Assurance of Autonomous Adaptive Systems: (Some) Lessons Learned
Abstracts: docx Slides: ppt

 

Antonio Filieri , Universität Stuttgart
 One-slide presentation
Slides: pdf

 

Carlo Ghezzi , Politecnico di Milano University
 Software engineering for self-adaptive software: motivational talk
Abstracts: txt Slides: pdf

 

Holger Giese , Hasso-Plattner-Institut - Potsdam
 Assurance for Self-Adaptive Software and Models
Abstracts: txt Slides: pdf

 

Alessandra Gorla , Universität des Saarlandes
 

Vincenzo Grassi , University of Rome "Tor Vergata"
 One-slide introduction
Slides: ppt

 Fully Decentralized Service Assembly under Non Functional Requirements
Abstracts: txt Slides: pdf

 

Lars Grunske , Universität Stuttgart
 Runtime Quality Problem Detection Techniques with Statistical Techniques: Theory and Practical Applications
Abstracts: txt Slides: pdf

 

Paola Inverardi , University of L'Aquila
 

Jean-Marc Jezequel , IRISA / CNRS
 Pluggable Verification for Models at Runtime
Abstracts: txt

 Introduction slide
Slides: ppt

 

Zhi Jin , Peking University
 Can RE Contribute to SAS Assurance?
Abstracts: txt Slides: pptx

 Introduction
Slides: ppt

 

Gabor Karsai , Vanderbilt University
 Self-adaptivity vs. Latent Software Defects: Software Health Management
Abstracts: txt Slides: pdf

 Introduction
Slides: ppt

 

Philip Koopman , Carnegie Mellon University
 Challenges in Autonomous Vehicle Validation
Abstracts: txt Slides: pdf Paper: pdf

 Introduction
Slides: ppt

 

Seok-Won Lee , Ajou University
 

Alberto Leva , Politecnico di Milano University
 Control-theoretical computing system design
Abstracts: txt Slides: pdf

 Introduction
Slides: pdf

 

Marin Litoiu , York University - Toronto
 Adaptation in Software Defined Infrastructures
Abstracts: txt Slides: ppt

 

Sam Malek , George Mason University - Fairfax
 Toward the Making of Software that Learns to Manage Itself
Abstracts: txt Slides: pptx

 

Raffaela Mirandola , Politecnico di Milano University
 Introduction slide
Slides: ppt

 Abstract
Abstracts: pdf

 

Marco Mori , University of Namur
 A Software Lifecycle Process For Data-intensive Self-adaptive Systems
Abstracts: txt Slides: pptpptx

 

Hausi A. Mueller , University of Victoria
 Managing Viability Zone Dynamics for the Assurance of Self-Adaptive Systems
Abstracts: txtdocxpdf Slides: ppt

 

Mauro Pezze , University of Lugano
 Self-Adaptive Cloud Controllers
Abstracts: txt Slides: ppt

 

Romain Rouvoy , Université de Lille I
 Feedbacks Control Loops as 1st Class Entities - The SALTY Experiment
Abstracts: txtpdf Slides: pdf

 Introduction
Slides: pdf

 

Cecilia Mary Fischer Rubira , UNICAMP
 Model - driven infrastructure for reliable service compositions using dynamic software product lines
Abstracts: txt Slides: pdf Paper: pdf

 Using CVL to Support Self-Adaptation of Fault-Tolerant Service Compositions
Abstracts: txtpdf

 Introduction Slide
Slides: ppt

 

Eric Rutten , INRIA - Grenoble
 presentation slide
Other: ppt

 Modular Discrete Control for Adaptive Software Systems
Abstracts: txt Slides: pdf

 

Bradley Schmerl , Carnegie Mellon University - Pittsburgh
 Introduction
Slides: ppt

 

Mary Shaw , Carnegie Mellon University
 

Giordano Tamburrelli , University of Lugano
 Abstract
Abstracts: txt Slides: zip

 

Gabriel Tamura , Universidad Icesi
 Managing Viability Zone Dynamics for the Assurance of Self-Adaptive Systems
Abstracts: txt Slides: ppt

 

Norha Milena Villegas Machado , Universidad Icesi
 Managing Viability Zone Dynamics for the Assurance of Self-Adaptive Systems
Abstracts: txtpdf Slides: pdfpdf

 

Thomas Vogel , Hasso-Plattner-Institut - Potsdam
 One-slide introduction
Slides: pdf

 Modeling Self-Adaptive Software
Abstracts: txt Slides: pdf

 

Danny Weyns , Linnaeus University - Växjö
 ActivFORMS: Active FORmal Model for Self-adaptation
Abstracts: txt Slides: pptx

 Intro slide
Slides: ppt

 

Franco Zambonelli , University of Modena
 Reconciling self-adaptation and self-organization towards effective assurances
Abstracts: txt Slides: pptx

 Introduction to myself
Abstracts: txt Slides: ppt

 

Carlos Eduardo da Silva , Federal University of Rio Grande do Norte
 Runtime Testing of Self-Adaptive Systems
Abstracts: txt Slides: pdf

 Introductory Talk
Slides: pdf

 

Rogerio de Lemos , University of Kent
 Introduction slide
Slides: ppt

 Architecting Resilience: Handling Malicious and Accidental Threats
Abstracts: txt Slides: pptx

 



License

Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: