ICSE 2021 (series) / FormaliSE 2021 (series) /
FormaliSE 2021 Program
This is the FormaliSE 2021 program - see the full program for ICSE 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 18 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 18 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:00 | |||
13:30 20mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
13:50 10mDay opening | Welcome from the organisers FormaliSE 2021 Media Attached | ||
14:00 - 15:00 | |||
14:00 30mTalk | 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 30mTalk | How much Specification is Enough? Mutation Analysis for Software Contracts FormaliSE 2021 Media Attached | ||
15:00 - 15:30 | |||
15:00 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
15:30 - 16:30 | |||
15:30 60mKeynote | Program Verification: a 70-Year History FormaliSE 2021 Media Attached | ||
16:30 - 17:00 | |||
16:30 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
Wed 19 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 19 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:00 | |||
13:30 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
14:00 - 15:00 | |||
14:00 30mTalk | Formally Verified Credentials Management for Industrial Control Systems FormaliSE 2021 Pre-print Media Attached | ||
14:30 30mTalk | 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 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
15:30 - 17:00 | |||
15:30 30mTalk | PEQcheck: Localized and Context-aware Checking of Functional Equivalence FormaliSE 2021 Marie-Christine Jakobs TU Darmstadt, Germany Media Attached | ||
16:00 30mTalk | Permission-Based Verification of Red-Black Trees and Their Merging FormaliSE 2021 Pre-print Media Attached | ||
16:30 30mTalk | GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers FormaliSE 2021 Pre-print Media Attached | ||
17:00 - 17:30 | |||
17:00 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
Thu 20 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 20 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:00 | |||
09:30 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
10:00 - 11:30 | |||
10:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
Fri 21 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 21 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:00 | |||
13:30 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
14:00 - 15:00 | |||
14:00 60mKeynote | Towards Formalising Sustainable Security FormaliSE 2021 Liliana Pasquale University College Dublin & Lero Media Attached | ||
15:00 - 15:30 | |||
15:00 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||
15:30 - 17:00 | |||
15:30 30mTalk | Runtime Verification Under Access Restrictions FormaliSE 2021 Rania Taleb PhD student, Raphael Khoury Université du Québec à Chicoutimi, Canada, Sylvain Hallé Université du Québec à Chicoutimi Pre-print Media Attached | ||
16:00 30mTalk | Quantifying Faultiness: What Does It Mean to Have N Faults FormaliSE 2021 Media Attached | ||
16:30 30mTalk | 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 30mSocial Event | Platform open for social interaction FormaliSE 2021 | ||