TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands
co-located with
ECOOP and ISSTA 2018
Toggle navigation
Attending
Venue: ISSTA Steering Committee Meeting
Restaurant: Cafe de Jaren
Venue: Uber
Venue: Mövenpick Hotel Amsterdam City Centre
Restaurant: Tobacco Theater
Restaurant: Zaalverhuur Pakhuis de Zwijger
Restaurant: De Koninklijke Industrieele Groote Club
Program
TAV-CPS/IoT Program
Your Program
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
TAV-CPS/IoT 2018
TAV-CPS/IoT
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Keynotes
ECOOP
Research Papers
ECOOP
Journal-First
ISSTA
ISSTA
ISSTA
Artifacts
ISSTA
Keynotes
ISSTA
Steering Committee Meeting (By Invitation Only)
ISSTA
Technical Papers
ISSTA
Tool Demonstrations
Workshops
BenchWork
COP
DPA
FTfJP
ICOOOLPS
INTUITESTBEDS
ISAGT
ML4PL
Panathon
SALAD
SOAP
VORTEX
WoSSCA
Organization
TAV-CPS/IoT 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
ECOOP Research Papers
ISSTA
Organizing Committee
ISSTA Artifacts
ISSTA Technical Papers
ISSTA Tool Demonstrations
Workshops
BenchWork
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
DPA
Organizing Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ISAGT
Organizing Committee
Program Committee
ML4PL
Organizing Committee
Program Committee
Panathon
Organizers
SALAD
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WoSSCA
Attendees
Program Committee
Organizing Committee
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2018
(
series
) /
TAV-CPS/IoT 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Bangkok
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Bangkok
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
COP
at
Bangkok
Chair(s):
Jens Lincke
Hasso Plattner Institute
,
Tetsuo Kamina
Oita University
11:00
30m
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni Mattis
Hasso Plattner Institute
,
Robert Hirschfeld
HPI, University of Potsdam
11:30
30m
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
DOI
12:00
30m
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert Hirschfeld
HPI, University of Potsdam
,
Patrick Rein
Hasso Plattner Institute
,
Marcel Taeumel
Hasso Plattner Institute
,
Tobias Dürschmid
Hasso Plattner Institute
14:00 - 15:30
Session 2
COP
at
Bangkok
Chair(s):
Tetsuo Kamina
Oita University
,
Jens Lincke
Hasso Plattner Institute
14:00
30m
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai Tanabe
Tokyo Institute of Technology
,
Tomoyuki Aotani
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
14:30
30m
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît Duhoux
Université catholique de Louvain, Belgium
,
Kim Mens
Université Catholique de Louvain, Belgium
,
Bruno Dumas
15:00
30m
Talk
A Declarative Language for Context Activation
COP
Nicolás Cardozo
Universidad de los Andes
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
VORTEX
at
Bangkok
Chair(s):
Davide Ancona
University of Genova
11:00
45m
Talk
Stream-based runtime verification with hardware support
Keynote
VORTEX
K:
Martin Leucker
University of Lübeck
11:45
45m
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active Monitors
Keynote
VORTEX
K:
Wolfgang Ahrendt
Chalmers University of Technology
14:00 - 15:30
Session 2
VORTEX
at
Bangkok
Chair(s):
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
14:00
30m
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P:
Eduardo Geraldo
,
João Costa Seco
NOVA LINCS -- Universidade Nova de Lisboa
14:30
30m
Talk
Implementing security protocol monitors
VORTEX
P:
Yannick Chevalier
,
Michael Rusinowitch
15:00
30m
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio Audrito
Università di Torino
,
P:
Ferruccio Damiani
University of Turin
,
Volker Stolz
Høgskulen på Vestlandet
,
Mirko Viroli
University of Bologna
16:00 - 18:00
Session 3
VORTEX
at
Bangkok
Chair(s):
Martin Leucker
University of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programs
Keynote
VORTEX
K:
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
,
Elena Giachino
,
P:
Stijn De Gouw
,
Reiner Hähnle
Technical University of Darmstadt
,
Einar Broch Johnsen
University of Oslo
,
Cosimo Laneve
,
Violet Ka I Pun
,
Gianluigi Zavattaro
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session #1
ML4PL
at
Bangkok
Chair(s):
Hila Peleg
Technion, Israel
,
Artem Pelenitsyn
Czech Technical University in Prague
11:00
60m
Talk
Inferring Input Structure for Machine Learning
Keynote
ML4PL
Andreas Zeller
Saarland University
12:00
30m
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila Peleg
Technion, Israel
14:00 - 15:30
Session #2
ML4PL
at
Bangkok
Chair(s):
Artem Pelenitsyn
Czech Technical University in Prague
14:00
30m
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina Cifuentes
Oracle Labs
,
Yang Zhao
Oracle Labs
,
Xingzhong Du
Oracle Labs
,
Paddy Krishnan
14:30
30m
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás Cardozo
Universidad de los Andes
,
Ivana Dusparic
Trinity College Dublin, Ireland
15:00
30m
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin
,
Victor Petukhov
ITMO University
,
Kirill Smirenko
Saint Petersburg State University
,
Nikita Povarov
JetBrains
16:00 - 18:00
Session #3
ML4PL
at
Bangkok
Chair(s):
Hila Peleg
Technion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry Swan
University of York
,
Colin Johnson
University of Kent
,
Edwin Brady
University of St. Andrews, UK
16:30
30m
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem Pelenitsyn
Czech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Welcome and Keynote
TAV-CPS/IoT
at
Bangkok
11:00
60m
Talk
Computing Paradigms for Emerging Pervasive & IoT-based Applications
TAV-CPS/IoT
Archan Misra
Singapore Management University, Singapore
12:00
30m
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron Yang
Carnegie Mellon University
,
Robert Morris
MIT
,
Corina S. Păsăreanu
NASA Ames Research Center
14:00 - 15:30
Talks
TAV-CPS/IoT
at
Bangkok
14:00
60m
Talk
Conformance Testing as a Tool for Designing Connected Vehicle Functions
TAV-CPS/IoT
Mohammad Mousavi
University of Leicester, UK
15:00
30m
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins Pontes
Faculty of Engineering, University of Porto and INESC TEC
,
Bruno Lima
Faculty of Engineering, University of Porto and INESC TEC
,
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bangkok
COP
Session 1
COP
Session 2
COP
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bangkok
VORTEX
Session 1
VORTEX
Session 2
VORTEX
Session 3
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bangkok
ML4PL
Session #1
ML4PL
Session #2
ML4PL
Session #3
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bangkok
TAV-CPS/IoT
Welcome and Keynote
TAV-CPS/IoT
Talks
TAV-CPS/IoT
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Bangkok
COP
Activity Contexts: Improving Modularity in Blockchain-based Smart Contr ...
11:00 - 11:30
COP
A Simple Context-Oriented Programming Extension to an FRP Language for ...
11:30 - 12:00
COP
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Con ...
12:00 - 12:30
COP
A Context-Oriented Programming Approach to Dependency Hell
14:00 - 14:30
COP
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
14:30 - 15:00
COP
A Declarative Language for Context Activation
15:00 - 15:30
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Bangkok
VORTEX
Keynote
Stream-based runtime verification with hardware support
11:00 - 11:45
VORTEX
Keynote
Who is to Blame? - Runtime Verification of Distributed Objects with Act ...
11:45 - 12:30
VORTEX
SNITCH: dynamic dependent Information flow for independent Java bytecode
14:00 - 14:30
VORTEX
Implementing security protocol monitors
14:30 - 15:00
VORTEX
On Distributed runtime verification by aggregate computing
15:00 - 15:30
VORTEX
Keynote
Run-time checking of data- and protocol-oriented properties of Java pro ...
16:00 - 16:45
VORTEX
Analysis of SLA Compliance in the Cloud
16:45 - 17:15
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Bangkok
ML4PL
Keynote
Inferring Input Structure for Machine Learning
11:00 - 12:00
ML4PL
On the Importance of Common Sense in Program Synthesis
12:00 - 12:30
ML4PL
Buffer Overflow Detection for C Programs is Hard to Learn
14:00 - 14:30
ML4PL
Generating Software Adaptations using Machine Learning
14:30 - 15:00
ML4PL
Detecting anomalies in Kotlin code
15:00 - 15:30
ML4PL
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
16:00 - 16:30
ML4PL
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
16:30 - 17:00
ML4PL
Open Forum
17:00 - 17:30
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Bangkok
TAV-CPS/IoT
Computing Paradigms for Emerging Pervasive & IoT-based Applications
11:00 - 12:00
TAV-CPS/IoT
Analysing The Effect of Uncertainty in Airport Surface Operations
12:00 - 12:30
TAV-CPS/IoT
Conformance Testing as a Tool for Designing Connected Vehicle Functions
14:00 - 15:00
TAV-CPS/IoT
A Pattern-based IoT Testing Framework
15:00 - 15:30
x
Sat 23 Nov 09:11