Concepedia

Benoît Delahaye

BD

Statistics

Publications

16

Citations

420

H-Index

14

Active since

2008

Affiliations

Centre Inria de l'Université de Rennes(Current)

Institut national de recherche en sciences et technologies du numérique

Institut de Recherche en Informatique et Systèmes Aléatoires

Aalborg University

IT University of Copenhagen

Benoît Delahaye is an author at Centre Inria de l'Université de Rennes specializing in formal methods, computer science, and computing.

ORCID

Publications per year

2008–2023

16

Publications

16

Constraint Markov Chains

Benoı̂t Caillaud, Benoît Delahaye, Kim G. Larsen et al. · Theoretical Computer Science · 2011 · 56 citations

Compositional Design Methodology with Constraint Markov Chains

Benoı̂t Caillaud, Benoît Delahaye, Kim G. Larsen et al. · 2010 · 48 citations · Full text

, , +16

Statistical model checking QoS properties of systems with SBIP

Ayoub Nouri, Saddek Bensalem, Marius Bozga et al. · International Journal on Software Tools for Technology Transfer · 2014 · 44 citations · Full text

, , +12

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu, Saddek Bensalem, Marius Bozga et al. · International Journal on Software Tools for Technology Transfer · 2011 · 35 citations · Full text

, , +14

Abstract probabilistic automata

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen et al. · RWTH Publications (RWTH Aachen) · 2011 · 32 citations

1–5 of 16