BibTeX records: Yoann Blein

• > Home > Persons > Yoann Blein

@article{DBLP:journals/ijccbs/ChehidaLBV21,
  author       = {Salim Chehida and
                  Yves Ledru and
                  Yoann Blein and
                  Germ{\'{a}}n Vega},
  title        = {An SMT-based approach for generating trace examples and counter-examples
                  of parametric properties},
  journal      = {Int. J. Crit. Comput. Based Syst.},
  volume       = {10},
  number       = {2},
  pages        = {143--183},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJCCBS.2021.117997},
  doi          = {10.1504/IJCCBS.2021.117997},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijccbs/ChehidaLBV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Blein19,
  author       = {Yoann Blein},
  title        = {ParTraP: {A} Language for the Specificationand Runtime Verification
                  of ParametricProperties. (ParTraP : Un langage pour la sp{\'{e}}cification
                  etv{\'{e}}rification {\`{a}} l'ex{\'{e}}cution de propri{\'{e}}t{\'{e}}sparam{\'{e}}triques)},
  school       = {Grenoble Alpes University, France},
  year         = {2019},
  url          = {https://tel.archives-ouvertes.fr/tel-02269062},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Blein19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/BleinLBG18,
  author       = {Yoann Blein and
                  Yves Ledru and
                  Lydie du Bousquet and
                  Roland Groz},
  editor       = {Stefania Gnesi and
                  Nico Plat and
                  Paola Spoletini and
                  Patrizio Pelliccione},
  title        = {Extending specification patterns for verification of parametric traces},
  booktitle    = {Proceedings of the 6th Conference on Formal Methods in Software Engineering,
                  FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June
                  2, 2018},
  pages        = {10--19},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3193992.3193998},
  doi          = {10.1145/3193992.3193998},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BleinLBG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/LedruBBGCB18,
  author       = {Yves Ledru and
                  Yoann Blein and
                  Lydie du Bousquet and
                  Roland Groz and
                  Arnaud Clere and
                  Fabrice Bertrand},
  editor       = {Ita Richardson and
                  Jens H. Weber},
  title        = {Requirements for a Trace Property Language for Medical Devices},
  booktitle    = {2018 {IEEE/ACM} International Workshop on Software Engineering in
                  Healthcare Systems, SEHS@ICSE 2018, Gothenburg, Sweden, May 28, 2018},
  pages        = {30--33},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194696.3194699},
  doi          = {10.1145/3194696.3194699},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LedruBBGCB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CheikhBCVLB18,
  author       = {Ansem Ben Cheikh and
                  Yoann Blein and
                  Salim Chehida and
                  Germ{\'{a}}n Vega and
                  Yves Ledru and
                  Lydie du Bousquet},
  editor       = {Christian Colombo and
                  Martin Leucker},
  title        = {An Environment for the ParTraP Trace Property Language (Tool Demonstration)},
  booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
                  Cyprus, November 10-13, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11237},
  pages        = {437--446},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03769-7\_26},
  doi          = {10.1007/978-3-030-03769-7\_26},
  timestamp    = {Sat, 12 Jun 2021 11:01:04 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/CheikhBCVLB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qrs/BleinCBLGB17,
  author       = {Yoann Blein and
                  Arnaud Clere and
                  Fabrice Bertrand and
                  Yves Ledru and
                  Roland Groz and
                  Lydie du Bousquet},
  title        = {Improving Trace Generation and Analysis for Medical Devices},
  booktitle    = {2017 {IEEE} International Conference on Software Quality, Reliability
                  and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
                  25-29, 2017},
  pages        = {599--600},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/QRS-C.2017.135},
  doi          = {10.1109/QRS-C.2017.135},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/qrs/BleinCBLGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}