Benot Delahaye
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
2010–2019
Best venue rank
C
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FORTE | Parametric Statistical Model Checking of UAV Flight Plan. | Ran Bao, J. Christian Attiogb, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2019 | VMCAI | Parametric Timed Broadcast Protocols. | tienne Andr, Benot Delahaye, Paulin Fournier, Didier Lime |
| 2017 | SAC | Moving from Event-B to probabilistic Event-B. | Mohamed Amine, Benot Delahaye, Arnaud Lanoix |
| 2016 | TIME | Consistency in Parametric Interval Probabilistic Timed Automata. | tienne Andr, Benot Delahaye |
| 2016 | VMCAI | Parameter Synthesis for Parametric Interval Markov Chains. | Benot Delahaye, Didier Lime, Laure Petrucci |
| 2014 | ICTAC | Heterogeneous Timed Machines. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2013 | CONCUR | Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. | Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay |
| 2013 | FORTE | A Timed Component Algebra for Services. | Benot Delahaye, Jos Luiz Fiadeiro, Axel Legay, Antnia Lopes |
| 2013 | LFCS | Stuttering for Abstract Probabilistic Automata. | Benot Delahaye, Kim G. Larsen, Axel Legay |
| 2012 | FORTE | Synchronous Interface Theories and Time Triggered Scheduling. | Benot Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
| 2012 | ISoLA | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2011 | LATA | Decision Problems for Interval Markov Chains. | Benot Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
| 2011 | VMCAI | Abstract Probabilistic Automata. | Benot Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2010 | RV | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | RV | Statistical Model Checking: An Overview. | Axel Legay, Benot Delahaye, Saddek Bensalem |