Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021

Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Tue 18 May

Displayed 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

Conference Day
Wed 19 May

Displayed 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

Conference Day
Thu 20 May

Displayed 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

Conference Day
Fri 21 May

Displayed 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