Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (75)

A
Al Bataineh, Omar
National University of Singapore, SingaporeSingapore
B
Bae, Kyungmin
Pohang University of Science and Technology (POSTECH)South Korea
Belmonte, Gina
Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, ItalyItaly
Bersani, Marcello
Politecnico di Milano, Italy
Ciancia, Vincenzo
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly
E
Easwaran, Arvind
Nanyang Technological UniversitySingapore
Furia, Carlo A.
Università della Svizzera italiana (USI)Switzerland
G
Gnesi, Stefania
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy
H
Hallé, Sylvain
Université du Québec à ChicoutimiCanada
Jun Xian Ng, Daniel
Nanyang Technological University, SingaporeSingapore
Khoury, Raphael
Université du Québec à Chicoutimi, CanadaCanada
Legay, Axel
Université Catholique de Louvain, Belgium
M
Margaria, Tiziana
University of Limerick and Lero - The Irish Software Research Centre Ireland
Milazzo, Paolo
University of Pisa - Department of Computer ScienceItaly
P
Pasquale, Liliana
University College Dublin & LeroIreland
Pelliccione, Patrizio
Gran Sasso Science Institute (GSSI) and Chalmers | University of GothenburgItaly
Robles, Virgile
CEA List, Software Reliability and Security LabFrance
San Pietro, Pierluigi
Politecnico di MilanoItaly
Semini, Laura
Università di Pisa - Dipartimento di InformaticaItaly
Smith, Robert L.
Politecnico di MilanoUnited States
T
Taleb, Rania
Université du Québec à ChicoutimiCanada