Nombre de documents

4

Laurent Georget


Communication dans un congrès4 documents

  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. 5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. IEEE Press, pp.22, 2017, <http://www.formalise.org/>. <10.1109/FormaliSE.2017.1>. <hal-01535862>
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux. Akram Idani; Nikolai Kosmatov. 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. Actes des 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), pp.19-26, 2017, <http://afadl2017.imag.fr/>. <hal-01535937>
  • Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong, Mathieu Jaume. Towards a Formal Semantics for System Calls in terms of Information Flow. Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. IARIA, pp.1-4, 2015, <http://thinkmind.org/index.php?view=article&articleid=icons_2015_1_10_40005>. <hal-01149471>
  • Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase. 3rd IEEE Working Conference on Software Visualization - VISSOFT 2015, Sep 2015, Bremen, Germany. 2015, Proceedings of the 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015). <https://www.lgeorget.eu/code-panel/images/kayrebt_viewer_VISSOFT2015.pdf>. <hal-01213233>