ICSSP/ICGSE 2021
Tue 18 - Wed 19 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

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

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
Pre-print
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

Conference Day
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 KulikAarhus University, Jalil BoudjadarAarhus University, Diego F. AranhaAarhus University
Pre-print
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
Pre-print
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

Conference Day
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 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
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
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

Conference Day
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
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 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
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

Conference Day
Tue 18 May

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

Conference Day
Wed 19 May

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

Conference Day
Thu 20 May

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

Conference Day
Fri 21 May

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