| Verifying the reliability of operating system-level information flow control systems in linux L Georget, M Jaume, F Tronel, G Piolle, VVT Tong 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017 | 21 | 2017 |
| Information flow tracking for linux handling concurrent system calls and shared memory L Georget, M Jaume, G Piolle, F Tronel, VVT Tong Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 11 | 2017 |
| Experimental and numerical analysis of nonlinear properties of rail fastening systems Y Liu Paris Est, 2015 | 7 | 2015 |
| Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase L Georget, F Tronel, VVT Tong 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), 170-174, 2015 | 5 | 2015 |
| Rennes, une ville climato-intelligente?-L’IoT au service du suivi des îlots de chaleur V Dubreuil, C Brabant, G Delaunay, J Nabucet, H Quénol, F Clain, ... Editions TI| Techniques de l'Ingénieur, 2022 | 2 | 2022 |
| Suivi de flux d'information correct sous Linux L Georget, M Jaume, G Piolle, F Tronel, VVT Tong 16èmes journées AFADL (Approches formelles dans l'assistance au …, 2017 | 1 | 2017 |
| Suivi de flux d'information correct pour les systèmes d'exploitation Linux L Georget Université de Rennes, 2017 | | 2017 |
| Towards a Formal Semantics for System Calls in terms of Information Flow L Georget, G Piolle, FTVVT Tong, M Jaume Tenth International Conference on Systems (ICONS 2015), 1-4, 2015 | | 2015 |
| Formalisation de la sémantique des appels système pour un système de type UNIX L Georget IRISA, Inria Rennes, 2014 | | 2014 |
| Lien entre culture territoriale et économie A CARTERON, M FAUVET, L GEORGET, N VAILLIET | | |
