Yoann Blein

According to our database, Yoann Blein authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

An SMT-based approach for generating trace examples and counter-examples of parametric properties.

Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega

Int. J. Crit. Comput. Based Syst., 2021

2019

ParTraP: A Language for the Specificationand Runtime Verification of ParametricProperties. (ParTraP : Un langage pour la spécification etvérification à l'exécution de propriétésparamétriques).

Yoann Blein

PhD thesis, 2019

2018

An Environment for the ParTraP Trace Property Language (Tool Demonstration).

Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet

Proceedings of the Runtime Verification - 18th International Conference, 2018

Requirements for a Trace Property Language for Medical Devices.

Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Extending specification patterns for verification of parametric traces.

Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Improving Trace Generation and Analysis for Medical Devices.

Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017