Artifact Evaluation Committee FormaliSE

Sharar Ahmadi

Jaime Arias

CNRS; LIPN; Université Sorbonne Paris Nord

France

Shaun Azzopardi

University of Malta

Malta

Levente Bajczi

Budapest University of Technology and Economics

Hungary

Laura Bussi

University of Pisa

Gustavo Carvalho

Universidade Federal de Pernambuco

Brazil

Xiao Cheng

UNSW

Australia

Christophe Garion

ISAE-SUPAERO

France

Bishoksan Kafle

The university of Melbourne

Australia

Andreas Katis

KBR / NASA Ames Research Center

Livia Lestingi

DEIB, Politecnico di Milano

Italy

Robert Müller

University of Siegen

Germany

Danilo Pianini

University of Bologna

Italy

Pedro Ribeiro

University of York, UK

United Kingdom

Cedric Richter

University of Oldenburg

Germany

Virgile Robles

CEA List, Software Reliability and Security Lab

France

Arnab Sharma

University of Paderborn

Germany

Martin Tappler

TU Graz; Silicon Austria Labs

Austria

Hoang-Dung Tran

University of Nebraska-Lincoln