Trustworthy systems: foundations and practices

HEAD

Hélène Waeselynck

Head

Hélène
Waeselynck

Scientific executive

Eric
Alata

Guillaume
Auriol

Claude
Baron

Romain
Cayre

Silvano
Dal Zilio

Agnan
De Bonneval

Jean-Charles
Fabre

Clément
Foucher

Jérémie
Guiochet

Mohamed
Kaaniche

Karama
Kanoun

Tomasz
Kloda

Didier
Le Botlan

Philippe
Leleux

Vincent
Migliore

Vincent
Nicomette

Jean-Claude
Pascal

Nicolas
Riviere

Gilles
Tredan

François
Vernadat

ITA contractor

Florent
Galtier

Denise
Gross

Postdoctoral

Valentin
Bouziat

Kenza
Riahi

PhD

Youssef
Amari

Aya
Attia

Antony
Dalmiere

Lucas
Georget

Adrien
Jakubiak

Sahar
Karaani

Louis
Lolive

Pierre
Malafosse

Reda
Naddam

Mamadou Lamine
Ndao

Van Tien
Nguyen

Loïc
Robert

Lamoussa
Sanogo

Intern

Ela
Mansour

Hilmi
Sakji

Elies
Tali

Partnership guest

Joris
Guerin

Latest publications

2024

Journal articles

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩. ⟨hal-04712076⟩

Murat Uzam, Ding Liu, Bernard Berthomieu, Gökhan Gelen, Zhaolong Zhang, et al.. On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access, 2024, 12, pp.135506 - 135534. ⟨10.1109/ACCESS.2024.3461168⟩. ⟨hal-04708018⟩

Books

Vincent Mahout, Thierry Rocacher, Guillaume Auriol. Programmation des systèmes embarqués. ISTE Group, 312 p., 2024, 9781836120049. ⟨hal-04717102⟩

Preprints, Working Papers, ...

Gurvan Richardeau, Erwan Le Merrer, Camilla Penzo, Gilles Trédan. THE 20 QUESTIONS GAME TO DISTINGUISH LARGE LANGUAGE MODELS. 2024. ⟨hal-04699271⟩

Texte à modifier dans l’interface d’édition: champ 'rayonnement' de la page Equipe.

Texte à modifier dans l’interface d’édition: champ 'productions' de la page Equipe.

THESIS / HDR

DEPARTMENT

risc

Trustworthy Computing Systems and Networks

OTHER TEAMS OF DEPARTMENT

tsf

isi

vertics

sara

Jobs / Interships

MORE JOB OFFERS

REJOINDRE

Notre équipe de recherche

Pour plus d’informations sur les offres d’emploi, vous pouvez contacter