Jean-Joseph Marty

According to our database¹, Jean-Joseph Marty authored at least 3 papers between 2019 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques. (Verified information flow control applied to cyber-physical systems).

[BibT_eX]

[DOI]

PhD thesis, 2022

2020

LIO*: Low Level Information Flow Control in F.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Towards verified programming of embedded devices.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019