Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
ICSE 2021 (series) / Co-located Events /

Room information: FormaliSE Room

VenueCo-located Events
Room nameFormaliSE Room
Room InformationNo extra information available

Information for Participants
Info for room FormaliSE Room:

Go directly to this room on Clowdr

Program

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
OpeningFormaliSE 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 specificationFormaliSE 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
BreakFormaliSE at FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE

15:30 - 16:30
Keynote 1FormaliSE at FormaliSE Room
15:30
60m
Keynote
Program Verification: a 70-Year History
FormaliSE
Moshe Vardi
Media Attached
16:30 - 17:00
DiscussionFormaliSE 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 openingFormaliSE at FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE

14:00 - 15:00
Model checkingFormaliSE 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
BreakFormaliSE at FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE

15:30 - 17:00
Program verificationFormaliSE 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
DiscussionFormaliSE 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 openingFormaliSE at FormaliSE Room
09:30
30m
Social Event
Platform open for social interaction
FormaliSE

10:00 - 11:30
Monitoring & Biological systemsFormaliSE 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
DiscussionFormaliSE 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 openingFormaliSE at FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE

14:00 - 15:00
Keynote 2FormaliSE at FormaliSE Room
14:00
60m
Keynote
Towards Formalising Sustainable Security
FormaliSE
Liliana Pasquale University College Dublin & Lero
Media Attached
15:00 - 15:30
BreakFormaliSE 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
DiscussionFormaliSE 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

Room13:003014:003015:003016:0030
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

Room13:003014:003015:003016:003017:0030
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

Room9:003010:003011:0030
FormaliSE Room

FormaliSE

Day opening

FormaliSE

Monitoring & Biological systems

FormaliSE

Discussion

Fri 21 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room13:003014:003015:003016:003017:0030
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

Room13:0015304514:0015304515:0015304516:00153045
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

Room13:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:00153045
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

Room13:0015304514:0015304515:0015304516:0015304517:00153045
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