Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021
VenueVirtual venue
Room nameFormaliSE Room
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 18 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 14:00
13:30
20m
Social Event
Platform open for social interaction
FormaliSE
13:50
10m
Day opening
Welcome from the organisers
FormaliSE
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 RoblesCEA List, Software Reliability and Security Lab, Nikolai KosmatovCEA List, Virgile PrevostoCEA Tech List, Louis RillingDGA Maîtrise de l'Information, Pascale Le GallCentraleSupelec
14:30
30m
Talk
How much Specification is Enough? Mutation Analysis for Software Contracts
FormaliSE
Alexander KnüppelTU Braunschweig, Leon SchaerTU Braunschweig, Ina SchaeferTU Braunschweig
15:00 - 15:30
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 16:30
15:30
60m
Keynote
Program Verification: a 70-Year History
FormaliSE
16:30 - 17:00
16:30
30m
Social Event
Platform open for social interaction
FormaliSE

Wed 19 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 14:00
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 KulikAarhus University, Jalil BoudjadarAarhus University, Diego F. AranhaAarhus University
14:30
30m
Talk
Improved Bounded Model Checking of Timed Automata
FormaliSE
Robert L. SmithPolitecnico di Milano, Marcello BersaniPolitecnico di Milano, Italy, Matteo RossiPolitecnico di Milano, Pierluigi San PietroPolitecnico di Milano
15:00 - 15:30
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
17:00 - 17:30
17:00
30m
Social Event
Platform open for social interaction
FormaliSE

Thu 20 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:00
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 BatainehThe University of New South Wales, Arvind EaswaranNanyang Technological University, Daniel Ng Jun XianNTU
10:30
30m
Talk
Feasibility of Spatial Model Checking for Nevus Segmentation
FormaliSE
Gina BelmonteAzienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, Italy, Giovanna BrocciaISTI-CNR, FMT Lab, Vincenzo CianciaIstituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego LatellaISTI-CNR, Pisa, Italy, Mieke MassinkCNR-ISTI Pisa, Italy
11:00
30m
Talk
Formal characterization and efficient verification of a biological robustness property
FormaliSE
Lucia NastiUniversità di Pisa - Dipartimento di Informatica, Roberta GoriUniversity of Pisa, Paolo MilazzoUniversity of Pisa - Department of Computer Science
11:30 - 12:00
11:30
30m
Social Event
Platform open for social interaction
FormaliSE

Fri 21 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 14:00
13:30
30m
Social Event
Platform open for social interaction
FormaliSE
14:00 - 15:00
14:00
60m
Keynote
Towards Formalising Sustainable Security
FormaliSE
Liliana PasqualeUniversity College Dublin & Lero
15:00 - 15:30
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 TalebUniversity of Quebec at Chicoutimi, Raphael KhouryUniversité du Québec à Chicoutimi, Canada, Sylvain HalléUniversité du Québec à Chicoutimi
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE
Erick RaelijohnUniversity of Montreal, Michalis FamelisUniversité de Montréal, Houari SahraouiUniversité de Montréal
17:00 - 17:30
17:00
30m
Social Event
Platform open for social interaction
FormaliSE

Tue 18 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 19 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 20 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 21 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change