Yoann Blein

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Medical Devices

Regulatory Requirements

Topological Properties

Counter Examples

Top Venues

Int. J. Crit. Comput. Based Syst.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega
An SMT-based approach for generating trace examples and counter-examples of parametric properties. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet
An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV (2018)
Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE (2018)
Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
Extending specification patterns for verification of parametric traces. FormaliSE@ICSE (2018)
Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
Improving Trace Generation and Analysis for Medical Devices. QRS Companion (2017)