Laurent Georget
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICSE | Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. | Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valrie Viet Triem Tong |
| 2017 | SEFM | Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. | Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frdric Tronel, Valrie Viet Triem Tong |
| 2015 | VISSOFT | Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. | Laurent Georget, Frdric Tronel, Valrie Viet Triem Tong |