Florian Gilcher

According to our database, Florian Gilcher authored at least 3 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Towards Modified Condition/Decision Coverage of Rust.

Wanja Zaeske, Pietro Albini, Florian Gilcher, Umut Durak

CoRR, 2024

2023

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.

Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2011

Deriving business processes with service level agreements from early requirements.

Ganna Frankova, Magali Seguran, Florian Gilcher, Slim Trabelsi, Jörg Dörflinger, Marco Aiello

J. Syst. Softw., 2011