Login / Signup
Florian Gilcher
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 1
Top Topics
Special Case
Database Systems
Cooperative
Top Venues
FTSCS
</>
Publications
</>
Aïssata Maiga
,
Cyrille Artho
,
Florian Gilcher
,
Yannick Moy
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.
FTSCS
(2023)
Ganna Frankova
,
Magali Seguran
,
Florian Gilcher
,
Slim Trabelsi
,
Jörg Dörflinger
,
Marco Aiello
Deriving business processes with service level agreements from early requirements.
J. Syst. Softw.
84 (8) (2011)