BoKSS 2021
Tue 1 - Wed 2 June 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
BoKSS Program
Your Program
Tue 1 Jun
Wed 2 Jun
Track/Call
Organization
BoKSS 2021 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICSE 2021
(
series
) /
BoKSS 2021 (
series
) /
Co-located Events
/
Room information: FormaliSE Room
Venue
Co-located Events
Room name
FormaliSE Room
Room Information
No extra information available
Information for Participants
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
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
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Opening
FormaliSE
at
FormaliSE Room
13:30
20m
Social Event
Platform open for social interaction
FormaliSE
13:50
10m
Day opening
Welcome from the organisers
FormaliSE
Media Attached
14:00 - 15:00
Property and contract specification
FormaliSE
at
FormaliSE Room
14:00
30m
Talk
Methodology for Specification and Verification of High-Level Properties with MetAcsl
FormaliSE
Virgile Robles
CEA List, Software Reliability and Security Lab
,
Nikolai Kosmatov
CEA List
,
Virgile Prevosto
CEA Tech List
,
Louis Rilling
DGA Maîtrise de l'Information
,
Pascale Le Gall
CentraleSupelec
Pre-print
Media Attached
14:30
30m
Talk
How much Specification is Enough? Mutation Analysis for Software Contracts
FormaliSE
Alexander Knüppel
TU Braunschweig
,
Leon Schaer
TU Braunschweig
,
Ina Schaefer
TU Braunschweig
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 16:30
Keynote 1
FormaliSE
at
FormaliSE Room
15:30
60m
Keynote
Program Verification: a 70-Year History
FormaliSE
Moshe Vardi
Media Attached
16:30 - 17:00
Discussion
FormaliSE
at
FormaliSE Room
16:30
30m
Social Event
Platform open for social interaction
FormaliSE
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Day opening
FormaliSE
at
FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE
14:00 - 15:00
Model checking
FormaliSE
at
FormaliSE Room
14:00
30m
Talk
Formally Verified Credentials Management for Industrial Control Systems
FormaliSE
Tomas Kulik
Aarhus University
,
Jalil Boudjadar
Aarhus University
,
Diego F. Aranha
Aarhus University
Pre-print
Media Attached
14:30
30m
Talk
Improved Bounded Model Checking of Timed Automata
FormaliSE
Robert L. Smith
Politecnico di Milano
,
Marcello Bersani
Politecnico di Milano, Italy
,
Matteo Rossi
Politecnico di Milano
,
Pierluigi San Pietro
Politecnico di Milano
Pre-print
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 17:00
Program verification
FormaliSE
at
FormaliSE Room
15:30
30m
Talk
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
FormaliSE
Marie-Christine Jakobs
TU Darmstadt, Germany
Media Attached
16:00
30m
Talk
Permission-Based Verification of Red-Black Trees and Their Merging
FormaliSE
Lukas Armborst
University of Twente
,
Marieke Huisman
University of Twente
Pre-print
Media Attached
16:30
30m
Talk
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
FormaliSE
Alexander Knüppel
TU Braunschweig
,
Thomas Thüm
University of Ulm
,
Ina Schaefer
TU Braunschweig
Pre-print
Media Attached
17:00 - 17:30
Discussion
FormaliSE
at
FormaliSE Room
17:00
30m
Social Event
Platform open for social interaction
FormaliSE
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:30 - 10:00
Day opening
FormaliSE
at
FormaliSE Room
09:30
30m
Social Event
Platform open for social interaction
FormaliSE
10:00 - 11:30
Monitoring & Biological systems
FormaliSE
at
FormaliSE Room
10:00
30m
Talk
Monitoring Cumulative Non-functional Properties
FormaliSE
Omar Al Bataineh
National University of Singapore, Singapore
,
Arvind Easwaran
Nanyang Technological University
,
Daniel Jun Xian Ng
Nanyang Technological University, Singapore
Pre-print
Media Attached
10:30
30m
Talk
Feasibility of Spatial Model Checking for Nevus Segmentation
FormaliSE
Gina Belmonte
Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, Italy
,
Giovanna Broccia
ISTI-CNR, FMT Lab
,
Vincenzo Ciancia
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY
,
Diego Latella
ISTI-CNR, Pisa, Italy
,
Mieke Massink
CNR-ISTI Pisa, Italy
Pre-print
Media Attached
11:00
30m
Talk
Formal characterization and efficient verification of a biological robustness property
FormaliSE
Lucia Nasti
Università di Pisa - Dipartimento di Informatica
,
Roberta Gori
University of Pisa
,
Paolo Milazzo
University of Pisa - Department of Computer Science
Pre-print
Media Attached
11:30 - 12:00
Discussion
FormaliSE
at
FormaliSE Room
11:30
30m
Social Event
Platform open for social interaction
FormaliSE
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Day opening
FormaliSE
at
FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE
14:00 - 15:00
Keynote 2
FormaliSE
at
FormaliSE Room
14:00
60m
Keynote
Towards Formalising Sustainable Security
FormaliSE
Liliana Pasquale
University College Dublin & Lero
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 17:00
“North American East Coast”
FormaliSE
at
FormaliSE Room
15:30
30m
Talk
Runtime Verification Under Access Restrictions
FormaliSE
Rania Taleb
PhD student
,
Raphael Khoury
Université du Québec à Chicoutimi, Canada
,
Sylvain Hallé
Université du Québec à Chicoutimi
Pre-print
Media Attached
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE
Besma Khaireddine
FST
,
Ali Mili
NJIT
Media Attached
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE
Erick Raelijohn
University of Montreal
,
Michalis Famelis
Université de Montréal
,
Houari Sahraoui
Université de Montréal
Media Attached
17:00 - 17:30
Discussion
FormaliSE
at
FormaliSE Room
17:00
30m
Social Event
Platform open for social interaction
FormaliSE
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
FormaliSE Room
FormaliSE
Opening
FormaliSE
Property and contract specification
FormaliSE
Break
FormaliSE
Keynote 1
FormaliSE
Discussion
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Model checking
FormaliSE
Break
FormaliSE
Program verification
FormaliSE
Discussion
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Monitoring & Biological systems
FormaliSE
Discussion
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Keynote 2
FormaliSE
Break
FormaliSE
“North American East Coast”
FormaliSE
Discussion
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 13:50
FormaliSE
Welcome from the organisers
13:50 - 14:00
FormaliSE
Methodology for Specification and Verification of High-Level Properties ...
14:00 - 14:30
FormaliSE
How much Specification is Enough? Mutation Analysis for Software Contracts
14:30 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
Program Verification: a 70-Year History
15:30 - 16:30
FormaliSE
Platform open for social interaction
16:30 - 17:00
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 14:00
FormaliSE
Formally Verified Credentials Management for Industrial Control Systems
14:00 - 14:30
FormaliSE
Improved Bounded Model Checking of Timed Automata
14:30 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
15:30 - 16:00
FormaliSE
Permission-Based Verification of Red-Black Trees and Their Merging
16:00 - 16:30
FormaliSE
GUIDO: Automated Guidance for the Configuration of Deductive Program Ve ...
16:30 - 17:00
FormaliSE
Platform open for social interaction
17:00 - 17:30
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
09:30 - 10:00
FormaliSE
Monitoring Cumulative Non-functional Properties
10:00 - 10:30
FormaliSE
Feasibility of Spatial Model Checking for Nevus Segmentation
10:30 - 11:00
FormaliSE
Formal characterization and efficient verification of a biological robu ...
11:00 - 11:30
FormaliSE
Platform open for social interaction
11:30 - 12:00
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 14:00
FormaliSE
Towards Formalising Sustainable Security
14:00 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
Runtime Verification Under Access Restrictions
15:30 - 16:00
FormaliSE
Quantifying Faultiness: What Does It Mean to Have N Faults
16:00 - 16:30
FormaliSE
Checking temporal patterns of API usage without code execution
16:30 - 17:00
FormaliSE
Platform open for social interaction
17:00 - 17:30
Information for Participants
Tue 18 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Property and contract specification
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 15:30 - 16:30 at
FormaliSE Room
-
Keynote 1
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 16:30 - 17:00 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Model checking
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 15:30 - 17:00 at
FormaliSE Room
-
Program verification
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 17:00 - 17:30 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 09:30 - 10:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 10:00 - 11:30 at
FormaliSE Room
-
Monitoring & Biological systems
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 11:30 - 12:00 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Keynote 2
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 15:30 - 17:00 at
FormaliSE Room
-
“North American East Coast”
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 17:00 - 17:30 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
x
Tue 24 Dec 03:01