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

Dates
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

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

Media Attached
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 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 2021
Alexander Knüppel TU Braunschweig, Leon Schaer TU Braunschweig, Ina Schaefer TU Braunschweig
Media Attached
15:00 - 15:30
15:00
30m
Social Event
Platform open for social interaction
FormaliSE 2021

16:30 - 17:00
16:30
30m
Social Event
Platform open for social interaction
FormaliSE 2021

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 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 2021
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
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

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 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 2021
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 2021
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
11:30
30m
Social Event
Platform open for social interaction
FormaliSE 2021

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 Pasquale University College Dublin & Lero
Media Attached
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 Taleb Université du Québec à Chicoutimi, 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 2021
Media Attached
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE 2021
Erick Raelijohn University of Montreal, Michalis Famelis Université de Montréal, Houari Sahraoui Université de Montréal
Media Attached
17:00 - 17:30
17:00
30m
Social Event
Platform open for social interaction
FormaliSE 2021