Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueCo-located Events
Room nameFormaliSE Room
Room InformationNo extra information available

Information for Participants
Info for FormaliSE Room:
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 2021
13:50
10m
Day opening
Welcome from the organisers
FormaliSE 2021
14:00 - 15:00
Property and contract specificationFormaliSE 2021 at FormaliSE Room
14:00
30m
Talk
Methodology for Specification and Verification of High-Level Properties with MetAcsl
FormaliSE 2021
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
Pre-print
14:30
30m
Talk
How much Specification is Enough? Mutation Analysis for Software Contracts
FormaliSE 2021
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 2021
15:30 - 16:30
15:30
60m
Keynote
Program Verification: a 70-Year History
FormaliSE 2021
16:30 - 17:00
16:30
30m
Social Event
Platform open for social interaction
FormaliSE 2021

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 2021
14:00 - 15:00
Model checkingFormaliSE 2021 at FormaliSE Room
14:00
30m
Talk
Formally Verified Credentials Management for Industrial Control Systems
FormaliSE 2021
Tomas KulikAarhus University, Jalil BoudjadarAarhus University, Diego F. AranhaAarhus University
Pre-print
14:30
30m
Talk
Improved Bounded Model Checking of Timed Automata
FormaliSE 2021
Robert L. SmithPolitecnico di Milano, Marcello BersaniPolitecnico di Milano, Italy, Matteo RossiPolitecnico di Milano, Pierluigi San PietroPolitecnico di Milano
Pre-print
15:00 - 15:30
15:00
30m
Social Event
Platform open for social interaction
FormaliSE 2021
17:00 - 17:30
17:00
30m
Social Event
Platform open for social interaction
FormaliSE 2021

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 2021
10:00 - 11:30
Monitoring & Biological systemsFormaliSE 2021 at FormaliSE Room
10:00
30m
Talk
Monitoring Cumulative Non-functional Properties
FormaliSE 2021
Omar Al BatainehNational University of Singapore, Singapore, Arvind EaswaranNanyang Technological University, Daniel Jun Xian NgNanyang Technological University, Singapore
Pre-print
10:30
30m
Talk
Feasibility of Spatial Model Checking for Nevus Segmentation
FormaliSE 2021
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
Pre-print
11:00
30m
Talk
Formal characterization and efficient verification of a biological robustness property
FormaliSE 2021
Lucia NastiUniversità di Pisa - Dipartimento di Informatica, Roberta GoriUniversity of Pisa, Paolo MilazzoUniversity of Pisa - Department of Computer Science
Pre-print
11:30 - 12:00
11:30
30m
Social Event
Platform open for social interaction
FormaliSE 2021

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 2021
14:00 - 15:00
14:00
60m
Keynote
Towards Formalising Sustainable Security
FormaliSE 2021
Liliana PasqualeUniversity College Dublin & Lero
15:00 - 15:30
15:00
30m
Social Event
Platform open for social interaction
FormaliSE 2021
15:30 - 17:00
“North American East Coast”FormaliSE 2021 at FormaliSE Room
15:30
30m
Talk
Runtime Verification Under Access Restrictions
FormaliSE 2021
Rania TalebUniversité du Québec à Chicoutimi, Raphael KhouryUniversité du Québec à Chicoutimi, Canada, Sylvain HalléUniversité du Québec à Chicoutimi
Pre-print
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE 2021
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE 2021
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 2021

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