Upload
trannhu
View
228
Download
1
Embed Size (px)
Citation preview
P r o d u c e d : 1 8 A u g , 2 0 1 6
ISoLA 2016 Preliminary Program
www.isola-conference.org
Corfu, G
reece
ISoLA 2016 – Preliminary Program
STRESS 2016
Room: TBA Wednesday, 5 Oct Thursday, 6 Oct Friday, 7 Oct Saturday, 8 Oct Sunday, 9 Oct
09:00 ↓
10:30
Simplicity-Driven Development of Domain-tailored Environments
Towards a Holistic Security Concept
Verification Techniques for Hybrid Systems
On the Power of Statistical Model
Checking
10:30 Coffee break
11:00 ↓
12:30
Simplicity-Driven Development of Domain-tailored Environments
Towards a Holistic Security Concept
Verification Techniques for Hybrid Systems
On the Power of Statistical Model
Checking
12:30 Lunch Break
14:30 ↓
16:00
Simplicity-Driven Development of Domain-tailored Environments
Stefan Naujokat, Johannes Neubauer,
Bernhard Steffen
Towards a Holistic Security Concept Tiziana Margaria,
Paolo Prinetto, Antonio Variale
Verification Techniques for Hybrid Systems
Pravithra Prabhakar
On the Power of Statistical Model
Checking Km Larsen, Axel
Legay
16:00 Coffee break
16:30 ↓
18:00
Soft Skills Getting to Yes
Barry Floyd Tiziana Margaria
Soft Skills Getting to Yes
Soft Skills Getting to Yes
Soft Skills Getting to Yes
ISoLA 2016
Sunday, October 9
Room: TBA
STRESS 2016
12:30 Lunch Break
14:30 ↓
16:00 RERS CHALLENGE
16:00 Coffee Break
16:30 Panel: The Future of Tool Competitions
Panelists & moderator: TBA
18:00
Welcome Reception and Registration
ISoLA 2016 – Preliminary Program
Monday, October 10 08:00 Registration
08:45 Opening ISoLA
Room: TBA Room: TBA Room: TBA
09:00 ↓
10:30
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 Discussion Discussion
10:30 Coffee Break
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 Discussion Discussion
12:30 Lunch Break
ISoLA 2016 – Preliminary Program
Room: TBA Room: TBA Room: TBA
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
tba
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
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
Discussion Discussion Discussion
15:30 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, Marielle Stoelinga
tba
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
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 Discussion Discussion
ISoLA 2016 – Preliminary Program
Tuesday, October 11 08:00 Registration
Room: TBA Room: TBA Room: TBA
09:00 ↓
10:30
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 Discussion Discussion
10:30 Coffee Break
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 Discussion Discussion
12:30 Lunch Break
14:30 22:00 Excursion and Conference Dinner
ISoLA 2016 – Preliminary Program
Wednesday, October 12 08:00 Registration
Room: TBA Room: TBA Room: TBA
09:00 ↓
10: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)
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 Discussion Discussion
10:30 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
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 Discussion Discussion
12:30 Lunch Break
ISoLA 2016 – Preliminary Program
Room: TBA Room: TBA Room: TBA
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
Runtime Verification for Stream Processing Applications
Christian Colombo Gordon Pace, Luke Camilleri, Claire Dimech,
Reuben Farru-gia, 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
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 Discussion
15:30 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 Discussion
18:00 Optional Excursion and Fish Dinner
ISoLA 2016 – Preliminary Program
Thursday, October 13 08:00 Registration
Room: TBA Room: TBA Room: TBA
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 Discussion Discussion
10:30 Coffee Break
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 Discussion Discussion
12:30 Lunch Break
ISoLA 2016 – Preliminary Program
Room: TBA Room: TBA Room: TBA
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
Combining Static and Runtime Methods to Achieve Safe Standing-
Up for Humanoid Robots Francesco Leofante, Simone
Vuotto, Erika Abraham, Armando Tacchella, Nils Jansen
Panel: Adaptation to the Unforeseen: Do
we Master our Autonomic Systems? Panelists: Stefan Jähnichen
(Moderator), Saddek Bensalem, Rocco De Nicola, Giovanna di
Marzo Serugendo, Emil Vassev
A Logic for Statistical Model Checking of Dynamic Software
Architectures Jean Quilbeuf, Everton Cavalcante,
Louis-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 Discussion Discussion
15:30 Coffee Break
16:00 ↓
17:30
Doctoral Symposium Rigorous Engineering of Collective Adaptive Systems
Correctness-by-Construction and Post-hoc Verification: friends or
foes? Session 4 Tool Support and Case
Studies Session 4
tba
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
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
Integration and Promotion of Autonomy with the ARE Framework
Emil Vassev, Mike Hinchey
Discussion Discussion Discussion
ISoLA 2016 – Preliminary Program
Friday, October 14 Room: TBA Room: TBA Room: TBA
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
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. Kramer
tba
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 Mul-tiparty Distributed Systems
Najah Ben Said, Takoua Abdellatif, Marius Bozga, Saddek Bensalem
Information Leakage Analysis of Complex C Code and its Application
to OpenSSL Pasquale Malacaria, Michael Tautchning, Dino Distefano
Discussion Discussion Discussion
10:30 Coffee Break
11:00 ↓
12:30
Learning Systems: Machine-Learning in Software Products and
Learning-based Analysis of Software Systems
Privacy and Security Issues in Information Systems
Doctoral Symposium
Session 2 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
tba
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 Discussion Discussion
12:30 Lunch Break
ISoLA 2016 – Preliminary Program
Room: TBA Room: TBA Room: TBA
14:00 ↓
15:30
(Joint session) Learning Systems
& Industry Track
Testing the Internet of Things (Michael Felderer, Ina
Schieferdecker)
Introduction
Doctoral Symposium
tba
Testing the Internet of Things Michael Felderer, Ina
Schieferdecker
tba
Data Science Challenges to Improve Quality Assurance of Internet of
Things Applications Harald Foidl, Michael Felderer
Model-Based Testing as a Service for IoT Platforms
Abbas Ahmad, Fabrice Bouquet, Franck Le Gall, Bruno Legeard,
Elizabeta Fourneret
Discussion Discussion Discussion
15:30 Coffee Break
16:00 ↓
17:30
Learning Systems
tba
Discussion
17:30 Closing ISoLA