Beno\^it Delahaye

Identifiers

• name variant Beno\^it Delahaye 0.60 · backfill

Papers (4)

1. Consistency in Parametric Interval Probabilistic Timed Automata cs.FL · 2019 · author #2
2. Parametric Timed Broadcast Protocols cs.LO · 2018 · author #2
3. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters cs.SE · 2016 · author #2
4. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory cs.LO · 2013 · author #2

Mentions

• 1306.0741 #2 · backfill · confidence 0.70 Beno\^it Delahaye

Frequent Coauthors

• \'Etienne Andr\'e 2 shared papers
• Paulin Fournier 2 shared papers
• Axel Legay 1 shared papers
• Didier Lime 1 shared papers
• Jan K\v{r}et\'insk\'y 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Lo\"ig Jezequel 1 shared papers
• Nicolas Markey 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Thomas Brihaye 1 shared papers
• Uli Fahrenberg 1 shared papers