Search for 'all'
0 results

Tim Menzies
North Carolina State University, USA
… Full prof, ex-nurse,rocketman,taxi-driver,journalist (it all made sense at the time). …

William Pourmajidi
Ryerson University
… and he has synergized all these learnings in his vision as a Cloud Architect …

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 …
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 …
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 …
FormaliSE 2021 Homepage
… aid all aspects of software creation: user requirement formulation, design …