BibTeX records: Eric Nassor

download as .bib file

@article{DBLP:journals/tcsv/ConcolatoFDMNOT18,
  author       = {Cyril Concolato and
                  Jean Le Feuvre and
                  Franck Denoual and
                  Frederic Maze and
                  Eric Nassor and
                  Nael Ouedraogo and
                  Jonathan Taquet},
  title        = {Adaptive Streaming of {HEVC} Tiled Videos Using {MPEG-DASH}},
  journal      = {{IEEE} Trans. Circuits Syst. Video Technol.},
  volume       = {28},
  number       = {8},
  pages        = {1981--1992},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCSVT.2017.2688491},
  doi          = {10.1109/TCSVT.2017.2688491},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsv/ConcolatoFDMNOT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nossdav/CherifFNTF15,
  author       = {Wael Ch{\'{e}}rif and
                  Youenn Fablet and
                  Eric Nassor and
                  Jonathan Taquet and
                  Yuki Fujimori},
  title        = {{DASH} fast start using {HTTP/2}},
  booktitle    = {Proceedings of the 25th {ACM} Workshop on Network and Operating Systems
                  Support for Digital Audio and Video, {NOSSDAV} 2015, Portland, OR,
                  USA, March 20, 2015},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2736084.2736088},
  doi          = {10.1145/2736084.2736088},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nossdav/CherifFNTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsv/LasserreLTN14,
  author       = {Sebastien Lasserre and
                  Fabrice Le L{\'{e}}annec and
                  Jonathan Taquet and
                  Eric Nassor},
  title        = {Low-Complexity Intra Coding for Scalable Extension of {HEVC} Based
                  on Content Statistics},
  journal      = {{IEEE} Trans. Circuits Syst. Video Technol.},
  volume       = {24},
  number       = {8},
  pages        = {1375--1389},
  year         = {2014},
  url          = {https://doi.org/10.1109/TCSVT.2014.2305513},
  doi          = {10.1109/TCSVT.2014.2305513},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsv/LasserreLTN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BerryBFLNS00,
  author       = {G{\'{e}}rard Berry and
                  Amar Bouali and
                  Xavier Fornari and
                  Emmanuel Ledinot and
                  Eric Nassor and
                  Robert de Simone},
  title        = {{ESTEREL:} a formal method applied to avionic software development},
  journal      = {Sci. Comput. Program.},
  volume       = {36},
  number       = {1},
  pages        = {5--25},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0167-6423(99)00015-5},
  doi          = {10.1016/S0167-6423(99)00015-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BerryBFLNS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HainquePBN99,
  author       = {Olivier Hainque and
                  Laurent Pautet and
                  Yann Le Biannic and
                  Eric Nassor},
  editor       = {Jeannette M. Wing and
                  Jim Woodcock and
                  Jim Davies},
  title        = {Cronos: {A} Separate Compilation Toolset for Modular Esterel Applications},
  booktitle    = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
                  of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
                  Volume {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1709},
  pages        = {1836--1853},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48118-4\_47},
  doi          = {10.1007/3-540-48118-4\_47},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/HainquePBN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/NassorV92,
  author       = {Eric Nassor and
                  Guy Vidal{-}Naquet},
  editor       = {Alain Finkel and
                  Matthias Jantzen},
  title        = {Suitability of the Propositional Temporal Logic to Express Properties
                  of Real-Time Systems},
  booktitle    = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
                  Science, Cachan, France, February 13-15, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {577},
  pages        = {59--70},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55210-3\_173},
  doi          = {10.1007/3-540-55210-3\_173},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/NassorV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics