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

0 results

People (24 results)
Tim Menzies

Tim Menzies

North Carolina State University, USA

… Full prof, ex-nurse,rocketman,taxi-driver,journalist (it all made sense at the time). …

William Pourmajidi

William Pourmajidi

Ryerson University

… and he has synergized all these learnings in his vision as a Cloud Architect …

Lidia Fuentes

Lidia Fuentes

Universidad de Málaga, Spain

… Prof. Lidia Fuentes received her MsC degree and a PhD in Computer Science, from the Universidad de Málaga. She has done all her teaching work at the Department Lenguajes y Ciencias de la Computación since 1993, being the first female Full …

Events (5 results)

Program Verification: a 70-Year History

FormaliSE 2021 When: Tue 18 May 2021 15:30 - 16:30 People: Moshe Vardi

… of a program, its compiler, and the hardware of the computer have all been …

Formal characterization and efficient verification of a biological robustness property

FormaliSE 2021 When: Thu 20 May 2021 11:00 - 11:30 People: Lucia Nasti, Roberta Gori, Paolo Milazzo

… to consider all the possible parameter configurations. This is a process that can entail …

How much Specification is Enough? Mutation Analysis for Software Contracts

FormaliSE 2021 When: Tue 18 May 2021 14:30 - 15:00 People: Alexander Knüppel, Leon Schaer, Ina Schaefer

… specifications, covering only a fraction of all functional properties. As a consequence …

PEQcheck: Localized and Context-aware Checking of Functional Equivalence

FormaliSE 2021 When: Wed 19 May 2021 15:30 - 16:00 People: Marie-Christine Jakobs

… A refactoring must preserve the program’s functionality. However, not all refactorings are correct. Thus, preservation of the functionality must be checked. Since programs are rarely formally specified, we use the original program …

Tracks (1 results)

FormaliSE 2021

… . When carefully applied, formal methods can aid all aspects of software creation … during the conference. While all case study subjects are accepted, we ….

Full papers are expected to be roughly 10 pages long including all text …

General (1 results)

FormaliSE 2021 Homepage

… aid all aspects of software creation: user requirement formulation, design …