21
Conference Program Produced: 27 Sep, 2016
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.
