+ All Categories
Home > Documents > Conference Program · Conference Programme - ISoLA 2016 Sunday, ... Program Analysis and...

Conference Program · Conference Programme - ISoLA 2016 Sunday, ... Program Analysis and...

Date post: 03-Apr-2018
Category:
Upload: lamtuong
View: 217 times
Download: 3 times
Share this document with a friend
21
Conference Program Produced: 27 Sep, 2016
Transcript

Conference ProgramProduced: 27 Sep, 2016

Contents

CONFERENCE PROGRAMME - ISOLA 2016 ............................................ 1

Sunday, October 9 ........................................................................................ 1

Monday, October 10 .................................................................................... 1

Tuesday, October 11 .................................................................................... 4

Wednesday, October 12 ............................................................................... 6

Thursday, October 13 ................................................................................... 9

Friday, October 14 ...................................................................................... 13

CONFERENCE PROGRAM - STRESS 2016 ........................................... 16

Room for the duration of STRESS: Penelope.............................................. 16

Wednesday, October 5 ............................................................................... 16

Thursday, October 6 ................................................................................... 16

Friday, October 7 ........................................................................................ 17

Saturday, October 8 ................................................................................... 17

Sunday, October 9 ...................................................................................... 18

USEFUL CONTACT NUMBERS ............................................................ 19

Emergency Numbers .................................................................................. 19

Other Useful Contact Details ...................................................................... 19

1

Conference Programme - ISoLA 2016

Sunday, October 9

18:00-19:00 Welcome Reception and Registration

Monday, October 10

08:00-12:30 14:00-17:00 Registration

08:45-09:00 Opening ISoLA (Korkyra)

09:00

10:30

Room: Korkyra Room: Alkinoos A Room: Alkinoos B

Towards a Unified View of Modeling and

Programming (Manfred Broy, Klaus

Havelund, Rahul Kumar, Bernhard

Steffen)

Statistical Model Checking

(Kim Larsen, Axel Legay)

Evaluation and Reproducibility of

Program Analysis and Verification

(Markus Schordan, Dirk Beyer, Jonas Lundberg)

Introduction Session 1 Opinions

Introduction Session 1: on extended

Model Checking

Introduction Session 1

Programming - Modeling - Engineering

Bran Selic

On Rare Event Simulation

Invited talk by Sean Seadwards

Symbolic Execution with CEGAR

Dirk Beyer, Thomas Lemberger

On a Unified View of Modeling and

Programming: Position Paper

Ed Seidewitz

Hypothesis testing for rare-event simulation:

limitations and possibilities

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt

Multi-Core Model Checking of Large-

Scale Reactive Systems Using Different State

Representations Marc Jasper, Markus

Schordan

On the Feasibility of a Unified Modelling and

Programming Paradigm Anne E. Haxthausen,

Jan Peleska

Survey of Statistical Verification of Linear

Unbounded Properties: Model Checking and

Distances Jan Kretinky

Discussion 10:30-11:00 Coffee Break

2

11:00

12:30

Towards a Unified View of Modeling and

Programming

Statistical Model Checking

Evaluation and Reproducibility of

Program Analysis and Verification

Session 2: More concrete

Session 2: on extended Model Checking

Session 2

Modeling Meets Programming: A

Comparative Study in Model Driven

Engineering Action Languages

Maged Elaasar, Omar Badreddin

Feedback Control for Statistical Model

Checking of Cyber-Physical Systems

Cyrille Jegourel, Anna Lukina, Axel Legay, Scott Smolka, Radu Grosu, Ezio Bartocci

Sparse Analysis of Variable Path

Predicates Based Upon SSA-Form

Thomas Heinze, Wolfram Amme

Abstractions for Modeling Complex

Systems

Zsolt Lattmann, Patrik Meijer, Tamas Kecskes,

Gabor Karsai, Peter Volgyesi, Akos Ledeczi

Probabilistic Model Checking of Incomplete

Models Shiraj Arora,

Panduranga Rao MV

A Model Interpreter for Timed Automata

Muhammad Usman Iftikhar, Jonas

Lundberg, Danny Weyns

Specifying and Verifying Advanced Control

Features Gary Leavens, David Naumann, Hridesh

Rajan, Tomoyuki Aotani

Plasma Lab: A Modular Statistical Model

Checking Platform Axel Legay, Sean

Sedwards, Louis-Marie Traonouez

Discussion 12:30-14:00 Lunch

14:00

15:30

Towards a Unified View of Modeling and

Programming (Manfred Broy, Klaus

Havelund, Rahul Kumar, Bernhard Steffen)

Statistical Model Checking

(Kim Larsen, Axel Legay)

ModSyn-PP: Modular Synthesis of Programs

and Processes (Boris Düdder, George

Heineman, Jakob Rehof)

Session 3 Meta-Level Consideration

Session 3: on SMC tools Session 1

Simplifying OMG MOF-based Meta-modeling

Nicolas Rouquette

Synthesizing Energy-Optimal Controllers for

Multiprocessor Dataflow Applications

with UPPAAL STRATEGO

Waheed Ahmad, Jaco van de Pol

ModSyn-PP: Modular Synthesis of Programs and Processes: Track

Introduction (Boris Düdder, George

Heineman, Jakob Rehof)

3

14:00

15:30

(Continued)

Modelling and Testing of Real Systems

Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer

Statistical Model Checking for Product

Lines Maurice ter Beek, Axel Legay, Andrea Vandin, Alberto Lluch Lafuente

Synthesis of High-Performance Stream

Processing Implementations from

Grammatical Specifications Fritz Henglein

Unifying Modelling and Programming: A Systems Biology

Perspective Hillel Kugler

Towards Adaptive Scheduling of

Maintenance for Cyber-Physical Systems

Alexis Linard, Marcos Luiz de Paula Bueno

Combinatory Process Synthesis

Jan Bessai, Andrej Dudenhefner, Boris

Duedder, Moritz Martens, Jakob Rehof

Discussion 15:30-16:00 Coffee Break

16:00

17:30

Towards a Unified View of Modeling and

Programming

Statistical Model Checking

ModSyn-PP: Modular Synthesis of Programs

and Processes

Session 4 Domain-specific Approaches

Session 4: on SMC applications

Session 2

Formally Unifying Modeling and Design

for Embedded Systems - a Personal View

Gérard Berry

Better railway engineering through

statistical model checking

Enno Ruijters, Marie ̈lle Stoelinga

Synthesis from a Practical Perspective Sven Jörges, Anna-

Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen

Interactive Model-Based Compilation

Continued -- Incremental Hardware Synthesis for SCCharts

Francesca Rybicki, Steven Smyth, Christian Motika,

Alexander Schulz-Rosengarten, Reinhard

von Hanxleden

On Creation and Analysis of Reliability Models by Means of

Stochastic Timed Automata and

Statistical Model Checking: Principle

Josef Strnadel

A Long and Winding Road Towards Modular

Synthesis George Heineman, Jan Bessai, Boris Duedder,

Jakob Rehof

Towards Semantically Integrated Models and

Tools for Cyber-Physical Systems

Design Peter Gorm Larsen,

John Fitzgerald, James Woodcock, René

Nilsson, Carl Gamble, Simon Foster

Automatic Synthesis of Code using Genetic

Programming Doron Peled

Discussion End of day activities

4

Tuesday, October 11

08:30-12:30 Registration

09:00

10:30

Room: Korkyra Room: Alkinoos A Room: Alkinoos B

Towards a Unified View of Modeling and

Programming (Manfred Broy, Klaus

Havelund, Rahul Kumar, Bernhard

Steffen)

Formal Methods and Safety Certification:

Challenges in the Railways Domain

(Alessandro Fantechi, Stefania Gnesi)

Semantic heterogeneity in the formal

development of complex systems

(Idir Ait Sadoune, Paul Gibson, Marc Pantel)

Session 5 Tool/Framework view

Introduction Session 1

Introduction Session 1

Merging Modeling and Programming using

Umple Timothy Lethbridge,

Vahdat Abdelzad, Mahmoud Husseini

Orabi, Ahmed Hus-seini Orabi, Opeyemi

Adesina

Formal Methods and Safety Certification:

Challenges in the Railways Domain

Alessandro Fantechi, Alessio Ferrari, Stefania

Gnesi

On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications Amel Mammar, Régine

Laleau

Systems Modeling and Programming in a

Unified Environment based on Julia

Hilding Elmqvist, Toivo Henningsson, Martin

Otter

On the Use of Static Checking in the Verification of

Interlocking systems Anne E. Haxthausen, Peter H. Østergaard

Strengthening MDE and Formal Design Models

by references to Domain Ontologies. A

Model Annotation... Kahina Hacis, Yamine

Ait Ameur

Meta-level Reuse for Mastering Domain

Specialization Stefan Naujokat,

Johannes Neubauer, Tiziana Margaria, Bernhard Steffen

Compositional Verification of Multi-Station Interlocking

Systems Hugo Macedo,

Alessandro Fantechi, Anne E. Haxthausen

Discussion

10:30-11:00 Coffee Break

5

11:00

12:30

Towards a Unified View of Modeling and

Programming

Formal Methods and Safety Certification:

Challenges in the Railways Domain

Semantic heterogeneity in the formal

development of complex systems

Session 6 Panel Session 2 Session 2

Towards a Unified View of Modeling and

Programming Manfred Broy, Klaus

Havelund, Rahul Kumar

OnTrack: The Railway Verification Toolset

Phillip James, Faron Moller, Hoang Nga

Nguyen, Markus Roggenbach, Xu Wang,

Helen Treharne

Towards Functional Requirements Analytics Zouhir Djilani, Berkani

Nabila, Ladjel Bellatreche

Panelists & moderator

tba

Experiments in Formal Modelling of a Deadlock

Avoidance Algorithm for a CBTC System Franco Mazzanti,

Alessio Ferrari, Giorgio Oronzo Spagnolo

Heterogeneous Semantics and Unifying

Theories James Woodcock,

Simon Foster, Andrew Butterfield

Tuning energy consumption strategies in the railway domain: a model-based approach Davide Basile, Stefania

Gnesi

Discussion 12:30-14:00 Lunch

15:30

22:00

Excursion and Conference Dinner

End of day activities

6

Wednesday, October 12

08:30-12:30 14:00-17:00 Registration

09:00

10:30

Room: Korkyra Room: Alkinoos A Room: Alkinoos B

RVE: Runtime Verification and

Enforcement, the (industrial) application

perspective (Ezio Bartocci, Ylies

Falcone)

Variability modelling for scalable software

evolution (Ferruccio Damiani,

Christoph Seidl, Ingrid Chieh Yu)

Detecting and Understanding

Software Doping (Christel Baier, Holger

Hermanns)

Introduction Session 1. Traces and Distributed Runtime

Verification

Introduction Session 1

Introduction Session 1

What is a Trace? A Runtime Verification

Perspective Giles Reger, Klaus

Havelund

Towards Incremental Validation of Railway

Systems Reiner Hähnle, Radu

Muschevici

Detecting and Understanding

Software Doping -- Track Introduction

Christel Baier, Holger Hermanns

Execution Trace Analysis Using LTL-FO+

Raphael Khoury, Sylvain Hallé, Omar

Waldmann

Facets of Software Doping

Gilles Barthe, Pedro Ruben D'Argenio, Bernd

Finkbeiner, Holger Hermanns

Challenges in Fault-tolerant Distributed

Runtime Verification Borzoo Bonakdarpour,

Sergio Rajsbaum, Pierre Fraigniaud, Corentin Travers

Software that meets its Intent

Marieke Huisman, Herbert Bos, Sjaak Brinkkemper,

Arie van Deursen, Jan Friso Groote, Patricia

Lago, Jaco van de Pol, Eelco Visser

Discussion 10:30-11:00 Coffee Break

11:00

12:30

RVE: Runtime Verification and

Enforcement, the (industrial) application

perspective

Variability modelling for scalable software

evolution

Detecting and Understanding

Software Doping

Session 2: Runtime Verification for

Industrial Applications

Session 2: Mobility, Mobile and Cloud

Session 2

7

11:00

12:30

(Continued)

The HARMONIA project: Hardware Monitoring

for Automotive Systems-of-Systems Thang Nguyen, Ezio

Bartocci, Dejan Nickovic, Radu Grosu,

Stefan Jaksic, Kon-stantin Selyunin

Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards

Making Clafer Accessible to Practitioners

Eldar Khalilov, Jordan Ross, Michał Antkie-wicz, Markus Voelter, Krzysztof Czarnecki

Compliance, Functional Safety & Fault Detection

by Formal Methods Christof Fetzer,

Christoph Weidenbach, Patrick Wischnewski

Runtime Verification for Interconnected Medical

Devices

Martin Leucker, Malte Schmitz, Danilo à

Tellinghusen

Variability-Based Design of Services for Smart

Transportation Systems Maurice ter Beek,

Alessandro Fantechi, Stefania Gnesi, Laura

Semini

What the Hack Is Wrong with Software

Doping? Kevin Baum

Dynamic Analysis of Regression Problems in

Industrial Systems: Challenges and

Solutions Fabrizio Pastore, Leonardo Mariani

Comparing AWS deployments using

model-based predictions

Einar Broch Johnsen, Jia-Chun Lin, Ingrid

Chieh Yu

Panel Discussion:

Can formal methods help cleaning our

software?

Discussion 12:30-14:00 Lunch

14:00

15:30

RVE: Runtime Verification and

Enforcement, the (industrial) application

perspective (Ezio Bartocci, Ylies

Falcone)

Variability modelling for scalable software

evolution (Ferruccio Damiani,

Christoph Seidl, Ingrid Chieh Yu)

FoMaC Editorial Board Meeting

Session 3: Stream

Processing Applications and Runtime

Enforcement of Policies and Agreements

Session 3: Methodologies,

Languages and Tools

Towards a Logic for Inferring Properties of

Event Streams Rajeev Joshi, Sean Kauffman, Klaus

Havelund

A Toolchain for Delta-Oriented Modeling of

Software Product Lines Cristina Chesta, Ferruccio

Damiani, Liudmila Dobriakova, Marco

Guernieri, Simone Martini, Michael Nieke, Vitor

Rodrigues, Sven Schuster

8

14:00

15:30

(Continued)

Runtime Verification for Stream Processing

Applications

Christian Colombo Gordon Pace, Luke Camilleri, Claire Dimech, Reuben Farrugia, Jean Paul Grech, Alessio

Magro, Andrew C Sammut, Kristian Zarb Adami

A Technology-Neutral Role-Based

Collaboration Model for Software Ecosystems Stefan Stanciulescu,

Daniela Rabiser, Christoph Seidl

FoMaC Editorial Board Meeting

On the Runtime Enforcement of Evolving Privacy

Policies in Online Social Networks

Gordon Pace, Raúl Pardo, Gerardo Schneider

Adaptable Runtime Monitoring for the Java

Virtual Machine Andrea Rosà, Yudi Zheng, Haiyang Sun, Omar Javed,

Walter Binder

Discussion 15:30-16:00 Coffee Break

16:00

17:30

RVE: Runtime Verification and

Enforcement, the (industrial) application

perspective

Variability modelling for scalable software

evolution

FoMaC Editorial Board Meeting

Session 3: Continued Session 4: Variability Retrieval,

Reconfiguration and Refactoring

On the Specification and Enforcement of Privacy-Preserving

Contractual Agreements

Gerardo Schneider

Identifying Variability in Object-Oriented Code Using Model-Based

Code Mining David Wille, Michael Tiede, Sandro Schulze, Christoph

Seidl, Ina Schaefer

User Profiles for Context-Aware

Reconfiguration in Software Product Lines

Michael Nieke, Jacopo Mauro, Christoph Seidl,

Ingrid Chieh Yu

Refactoring Delta Oriented Product Lines to Enforce Guidelines

for Efficient Type-checking

Ferruccio Damiani, Michael Lienhardt

Discussion End of day activities

9

Thursday, October 13

08:30-12:30 14:00-17:00 Registration

Room: Korkyra Room: Alkinoos A Room: Alkinoos B

09:00 ↓

10:30

Static and Runtime Verification:

Competitors or Friends? (Dilian Gurov, Klaus Havelund, Marieke

Huisman, Rosemary Monahan)

Rigorous Engineering of Collective Adap-tive

Systems (Stefan Jähnichen,

Martin Wirsing)

Correctness-by-Construction and Post-hoc Verification: friends

or foes? (Maurice ter Beek,

Reiner Haehnle, Ina Schaefer)

Introduction Session 1: How can

static verification benefit from runtime

verification?

Introduction Session 1 Calculi for

Modeling and Analyzing Collective Adaptive

Systems

Introduction Session 1

StaRVOOrS - Episode II, Strengthen and

Distribute the Force Wolfgang Ahrendt,

Gordon Pace, Gerardo Schneider

Programming of CAS systems by relying on

attribute-based communication

Yehia Abd Alrahman, Rocco De Nicola,

Michele Loreti

Correctness-by-Construction and Post-

hoc Verification: A Marriage of

Convenience? Bruce Watson, Derrick Kourie, Ina Schaefer,

Loek Cleophas

A Model-Based Approach to Combining

Static and Dynamic Verification Techniques

Shaun Azzopardi, Christian Colombo,

Gordon Pace

Towards Static Analysis of Policy-Based Self-Adaptive Computing

Systems Andrea Margheri,

Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese

Information Flow Analysis for Go

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina

Wickert

A Calculus for Open Ensembles and Their

Composition Rolf Hennicker

Discussion 10:30-11:00 Coffee Break

10

11:00

12:30

Static and Runtime Verification:

Competitors or Friends?

Rigorous Engineering of Collective Adaptive

Systems

Correctness-by-Construction and Post-hoc Verification: friends

or foes?

Session 2. How can runtime verification benefit from static

verification?

Session 2 Coordinating and Simulating

Collective Adaptive Systems I

Session 2

Challenges in High-Assurance Runtime

Verification Alwyn Goodloe

Logic Fragments: coordinating entities with logic programs Francesco Luca De

Angelis, Giovanna Di Marzo Serugendo

Deductive Verification of Legacy Code

Bernhard Beckert, Thorsten Bormer,

Daniel Grahl

Static versus Dynamic Verification in Why3, Frama-C and SPARK

2014

Nikolai Kosmatov, Claude Marché, Yan-

nick Moy, Julien Signoles

Mixed-Critical Systems Design with Coarse-grained Multi-core

Interference Peter Poplavko, Rany

Kahil, Dario Socci, Saddek Bensalem,

Marius Bozga

Correctness-by-Construction /\

Taxonomies => Deep Comprehension of Algorithm Families.

Loek Cleophas, Derrick Kourie, Vreda Pie-terse,

Bruce Watson, Ina Schaefer

Considering Type-State Verification for

Quantified Event Automata

Giles Reger

A Library and Scripting Language for Tool

Independent Simulation Descriptions

Alexandra Mehlhase, Stefan Jaehnichen,

Amir Czwink, Robert Heinrichs

Conditions for Compatibility of

Components - The case of masters and slaves

Maurice ter Beek, Jetty Kleijn, Josep Carmona

Discussion 12:30-14:00 Lunch

14:00

15:30

Static and Runtime Verification:

Competitors or Friends? (Dilian Gurov, Klaus Havelund, Marieke

Huisman, Rosemary Monahan)

Rigorous Engineering of Collective Adaptive

Systems (Stefan Jähnichen,

Martin Wirsing)

Correctness-by-Construction and Post-hoc Verification: friends

or foes? (Maurice ter Beek,

Reiner Haehnle, Ina Schaefer)

Session 3: How can we bridge the gap?

Session 3 Session 3

11

Combining Static and Runtime Methods to

Achieve Safe Standing-Up for Humanoid

Robots Francesco Leofante,

Panel: Adaptation to the

Unforeseen: Do we Master our Autonomic

Systems? Panelists: Stefan

A Logic for Statistical Model Checking of Dynamic Software

Architectures Jean Quilbeuf, Everton

Cavalcante, Louis-

14:00

15:30

(Continued)

Simone Vuotto, Erika Abraham, Armando

Tacchella, Nils Jansen

Jähnichen (Moderator), Saddek Bensalem, Rocco

De Nicola, Giovanna di Marzo Serugendo, Emil

Vassev

Marie Traonouez, Flavio Oquendo, Thais

Batista, Axel Legay

On Combinations of Static and Dynamic

Analysis

Martin Leucker

Coordinating and Programming

Collective Adaptive Systems II

On two Friends for getting Correct

Programs - Automatically

Translating Event-B Specifications to

Recursive Algorithms in Rodin

Dominique Méry, Zheng Cheng,

Rosemary Monahan

Safer Refactorings Anna Maria Eilertsen, Anya Helene Bagge,

Volker Stolz

Smart coordination of autonomic component

ensembles in the context of ad-hoc communication

Tomas Bures, Petr Hnetynka, Filip Krijt,

Vladimir Matena, Frantisek Plasil

Proof-Carrying Apps: Contract-Based

Deployment-Time Verification

Sönke Holthusen, Michael Nieke, Thomas

Thüm, Ina Schaefer

Discussion 15:30-16:00 Coffee Break

16:00

17:30

ISoLA Doctoral Symposium

Anna-Lena Lamprecht

Rigorous Engineering of Collective Adaptive

Systems

Correctness-by-Construction and Post-hoc Verification: friends

or foes? Introduction Session 4 Tool Support

and Case Studies Session 4

Handling domain knowledge in formal

design models Kahina Hacid

A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems

Vincenzo Ciancia, Diego Latella, Mieke

Massink, Rytis Paskauskas, Andrea

Vandin

Supervisory Controller Synthesis for Product

Lines with CIF3 Maurice ter Beek,

Michel Reniers, Erik de Vink

Towards Model Based Generation of Model

Based Transformation Language Tools Michael Lybecait

12

16:00 ↓

17:30 (Continued)

Meta-Level Aspect-Orientation

Dawid Kopetzki

Rigorous graphical modelling of movement

in Collective Adaptive Systems

Natalia Zon, Stephen Gilmore, Jane Hillston

Partial Verification and Intermediate Results as a Solution to Combine

Automatic and Interactive Verification

Techniques. Dirk Beyer

Metamodel-Driven Formalization of

Execution Semantics Philip Zweihoff

Towards Reuse on the Meta-Level

Dominic Wirkner

Integration and Promotion of Autonomy

with the ARE Framework

Emil Vassev, Mike Hinchey

CINCO-based Generation of

Community Websites Dennis Kühn

(Title TBA) Shiraj Arora

(Title TBA) Frederik Gossen

Discussion End of day activities

13

Friday, October 14

08:30-12:30 14:00-15:30 Registration

Room: Korkyra Room: Alkinoos A Room: Alkinoos B

09:00 ↓

10:30

Learning Systems: Machine-Learning in

Software Products and Learning-based

Analysis of Software Systems

(Falk Howar, Andreas Rausch, Karl Meinke)

Privacy and Security Issues in Information

Systems (Axel Legay, Fabrizio

Biondi)

Industry Track (Axel Hessenkämper)

Session 1 Session 1

Learning Systems: Machine-Learning in

Software Products and Learning-Based

Analysis of Software Systems

Falk Howar, Karl Meinke, Andreas

Rausch

Invited paper: Automatic Verification

of Equivalence Properties for Cryptographic

Protocols S. Kremer

A retrospective of the past four years with

Industry 4.0 Axel Hessenkämper

ALEX: Mixed-Mode Learning of Web

Applications at Ease

Alexander Bainczyk, Malte Isberner, Tiziana

Margaria, Johannes Neubauer, Alexander Schieweck, Bernhard

Steffen

A Model-Based Approach to Secure

Multiparty Distributed Systems

Najah Ben Said, Takoua Abdellatif, Marius

Bozga, Saddek Bensalem

Effective and Efficient Customization through

Lean Trans-Departmental Configuration

Barbara Steffen, Steve Boßelmann, Axel Hessenkämper

Information Leakage Analysis of Complex C

Code and its Application to OpenSSL

Pasquale Malacaria, Michael Tautchning,

Dino Distefano

A Fully Model-Based Approach to Software

Development for Industrial Centrifuges Nils Wortmann, Malte

Michel, Stefan Naujokat

Discussion 10:30-11:00 Coffee Break

14

11:00

12:30

(Joint session) Learning Systems

& Industry Track

Privacy and Security Issues in Information

Systems

ISoLA Doctoral

Symposium

Session 1 Session 2

Assuring the Safety of Advanced Driver

Assistance Systems through a Combination

of Simulation and Runtime Monitoring Malte Mauritz, Falk

Howar, Andreas Rausch

Integrated Modeling Workflow for Security

Assurance Julien Delange, Min-Young Nam, Peter

Feiler

Discussion and Perspectives

Enhancement of an Adaptive HEV Operating Strategy using Machine

Learning Algorithms

Mark Schudeleit, Meng Zhang, Xiaofei Qi, Ferit

Küçükay, Andreas Rausch

A Privacy-Aware Conceptual Model for

Handling Personal Data Thibaud Antignac,

Riccardo Scandariato, Gerardo Schneider

Guaranteeing Privacy-observing Data

Exchange Christian W Probst

Discussion 12:30-14:00 Lunch

14:00

15:30

Tutorial Testing the Internet of Things

(Michael Felderer, Ina Schieferdecker)

Introduction

Learning-based Testing of Procedural and Reactive Systems

Karl Meinke, KTH Royal Institute of Technology,

Sweden

Testing the Internet of Things

Michael Felderer, Ina Schieferdecker

Data Science Challenges to Improve Quality Assurance of

Internet of Things Applications

Harald Foidl, Michael Felderer

15

14:00

15:30

(Continued)

Model-Based Testing as a Service for IoT

Platforms Abbas Ahmad, Fabrice

Bouquet, Franck Le Gall, Bruno Legeard, Elizabeta Fourneret

Discussion 15:30-16:00 Coffee Break

16:00

17:30

Tutorial

Active Automata Learning with LearnLib Falk Howar, Clausthal

University of Technology, Germany

Discussion

17:30 Closing ISoLA Room: Korkyra

16

Conference Program - STRESS 2016

Room for the duration of STRESS: Penelope

Wednesday, October 5

14:00-17:00 Registration

12:30-14:30 Lunch

14:30 ↓

16:00

Simplicity-Driven Development of Domain-tailored Environments (1)

Stefan Naujokat, Johannes Neubauer, Bernhard Steffen

16:00-16:30 Coffee Break 16:30 ↓

18:00

Soft Skills - Getting to Yes (1)

Barry Floyd, Tiziana Margaria

Thursday, October 6

08:30-12:30 14:00-17:00 Registration

09:00 ↓

10:30

Simplicity-Driven Development of Domain-tailored Environments (2) Stefan Naujokat, Johannes Neubauer, Bernhard Steffen

10:30-11:00 Coffee Break

11:00 ↓

12:30

Simplicity-Driven Development of Domain-tailored Environments (3) Stefan Naujokat, Johannes Neubauer, Bernhard Steffen

12:30-14:30 Lunch

14:30 ↓

16:00

Towards a Holistic Security Concept (1)

Tiziana Margaria, Paolo Prinetto, Antonio Variale

16:00-16:30 Coffee Break

16:30 ↓

18:00

Soft Skills - Getting to Yes (2) Barry Floyd, Tiziana Margaria

17

Friday, October 7

08:30-12:30 14:00-17:00 Registration

09:00 ↓

10:30

Towards a Holistic Security Concept (2) Tiziana Margaria, Paolo Prinetto, Antonio Variale

10:30-11:00 Coffee Break 11:00 ↓

12:30

Towards a Holistic Security Concept (3) Tiziana Margaria, Paolo Prinetto, Antonio Variale

12:30-14:30 Lunch 14:30 ↓

16:00

Verification Techniques for Hybrid Systems (1)

Pravithra Prabhakar

16:00-16:30 Coffee Break 16:30 ↓

18:00

Soft Skills - Getting to Yes (3) Barry Floyd, Tiziana Margaria

Saturday, October 8

08:30-12:30 14:00-17:00 Registration

09:00 ↓

10:30

Verification Techniques for Hybrid Systems (2) Pravithra Prabhakar

10:30-11:00 Coffee Break 11:00 ↓

12:30

Verification Techniques for Hybrid Systems (3) Pravithra Prabhakar

12:30-14:30 Lunch 14:30 ↓

16:00

On the Power of Statistical Model Checking (1)

Kim Larsen, Axel Legay

16:00-16:30 Coffee Break

16:30 ↓

18:00

Soft Skills - Getting to Yes (4) Barry Floyd, Tiziana Margaria

18

Sunday, October 9

08:30-12:30 14:00-19:00 Registration

09:00 ↓

10:30

On the Power of Statistical Model Checking (2) Kim Larsen, Axel Legay

10:30-11:00 Coffee Break 11:00 ↓

12:30

On the Power of Statistical Model Checking (3) Kim Larsen, Axel Legay

12:30-14:30 Lunch 14:30 ↓

16:00 RERS CHALLENGE

16:00-16:30 Coffee Break

16:30 ↓

18:00

Panel: Competitions and Challenges: Expectations, Progress, Impact

Organisers: Bernhard Steffen, Jaco van de Pol

Panelists: Dirk Beyer, Ylies Falcone, Marieke Huisman, Fabrice Kordon, Markus Schordan

18:00-19:00 Welcome Reception and Registration

19

Useful Contact Numbers

Country code prefix: +30 Directory Enquiry Service: 11888

Emergency Numbers

Ambulance: +30 26610 88200 Police (Emergency): 100 Police: +30 26610 39509 Operator Assistance (Local): 151 General Hospital: +30 26610 88200 Port Authority: +30 26610 32655

Other Useful Contact Details

Airports

Corfu Airport: +30 26610 89600 +30 26610 45829

Hotel Details

Grecotel Corfu Imperial 5* – VENUE P.O. Box 130, GR-49083 Tzavros – Kommeno Corfu, Greece Phone: +30 26610 88400 | Fax: +30 26610 91881 Email: [email protected]

Grecotel Eva Palace 5* P.O. Box 57, GR-49083 Tzavros – Kommeno Corfu, Greece Phone: +30 26610 90003 Email: [email protected]

If at any given moment during your trip to Corfu, or at any time throughout your stay, you find that you require assistance, please contact Mr Kyriakos Georgiades at: +30 69 4872 2527.


Recommended