Yoann Blein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | Extending specification patterns for verification of parametric traces. | Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz |
| 2018 | ICSE | Requirements for a Trace Property Language for Medical Devices. | Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand |
| 2018 | RV | An Environment for the ParTraP Trace Property Language (Tool Demonstration). | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germn Vega, Yves Ledru, Lydie du Bousquet |
| 2017 | QRS | Improving Trace Generation and Analysis for Medical Devices. | Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet |