Deriving business processes with service level agreements from early requirements. - Ganna Frankova; Magali Seguran; Florian Gilcher; Slim Trabelsi; Jörg Dörflinger; Marco Aiello 001 (J. Syst. Softw., 2011)

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. - Aïssata Maiga; Cyrille Artho; Florian Gilcher; Yannick Moy (FTSCS, 2023)

Towards Modified Condition/Decision Coverage of Rust. - Wanja Zaeske; Pietro Albini; Florian Gilcher; Umut Durak (CoRR, 2024)