Artifact Evaluation Committee FormaliSE

Sharar Ahmadi

Jaime Arias

CNRS; LIPN; Université Sorbonne Paris Nord

France

Levente Bajczi

Budapest University of Technology and Economics

Hungary

Laura Bussi

University of Pisa

Gustavo Carvalho

Universidade Federal de Pernambuco

Brazil

Xiao Cheng

University of Technology Sydney

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

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