New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. - Frédéric Gava; Ilias Garnier (IPDPS, 2009)

On the reaction time of some synchronous systems - Ilias Garnier; Christophe Aussaguès; Vincent David; Guy Vidal-Naquet (ICE, 2011)

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. - Ilias Garnier; Frédéric Gava (Int. J. Parallel Emergent Distributed Syst., 2011)

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems). - Ilias Garnier (2012)

Certified Complexity (CerCo). - Roberto M. Amadio; Nicholas Ayache; François Bobot; Jaap Boender; Brian Campbell 001; Ilias Garnier; Antoine Madet; James McKinna; Dominic P. Mulligan; Mauro Piccolo; Randy Pollack; Yann Régis-Gianas; et al. (FOPARA, 2013)

Free Energy of Petri Nets. - Vincent Danos; Ilias Garnier (Horizons of the Mind, 2014)

Dirichlet is Natural. - Vincent Danos; Ilias Garnier (MFPS, 2015)

Robustly Parameterised Higher-Order Probabilistic Models. - Fredrik Dahlqvist; Vincent Danos; Ilias Garnier (CONCUR, 2016)

Bayesian Inversion by ω-Complete Cone Duality. - Fredrik Dahlqvist; Vincent Danos; Ilias Garnier; Ohad Kammar (CONCUR, 2016)

Stochastic mechanics of graph rewriting. - Nicolas Behr; Vincent Danos; Ilias Garnier (LICS, 2016)

Giry and the Machine. - Fredrik Dahlqvist; Vincent Danos; Ilias Garnier (MFPS, 2016)

Pointless Learning. - Florence Clerc; Vincent Danos; Fredrik Dahlqvist; Ilias Garnier (FoSSaCS, 2017)

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. - Vincent Danos; Tobias Heindel; Ilias Garnier; Jakob Grue Simonsen (FoSSaCS, 2017)

Borel Kernels and their Approximation, Categorically. - Fredrik Dahlqvist; Alexandra Silva 001; Vincent Danos; Ilias Garnier (MFPS, 2018)

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. - Nicolas Behr; Vincent Danos; Ilias Garnier (Log. Methods Comput. Sci., 2020)