TASSON Christine

Researcher [HDR] - شـريـكة
وحـدة : APR

Sorbonne Université - LIP6

+33 1 44 27 88 25
Christine.Tasson (at) nulllip6.fr
https://perso.lip6.fr/Christine.Tasson/

واحد مسجل في الدكتوراه (رئاسـة البـحث / تأطـير مـشـترك)

CARBONNEAU Danaël : Machines Co-inductives Monadiques pour la Programmation Probabiliste Certifiée.

2025
- É. Thomé, X. Denis, Ch. Tasson : “GRust: A Programming Language for Automotive Engineering”, Formal Methods for Industrial Critical Systems (FMICS), vol. 16040, Lecture Notes in Computer Science, Aarhus, Denmark, pp. 127-143, (Springer Nature Switzerland) (2025)
2022
- A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France (2022)