Laboratory for Analysis and Architecture of Systems
List obtained from the LAAS portal on HAL https://hal.laas.fr/