BibTeX records: Cyrille Jégourel

download as .bib file

@inproceedings{DBLP:conf/tale/KurniawanPHLJS23,
  author       = {Oka Kurniawan and
                  Christopher M. Poskitt and
                  Ismam Al Hoque and
                  Norman Tiong Seng Lee and
                  Cyrille J{\'{e}}gourel and
                  Nachamma Sockalingam},
  title        = {How Helpful do Novice Programmers Find the Feedback of an Automated
                  Repair Tool?},
  booktitle    = {{IEEE} International Conference on Teaching, Assessment and Learning
                  for Engineering, {TALE} 2023, Auckland, New Zealand, November 28 -
                  Dec. 1, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/TALE56641.2023.10398393},
  doi          = {10.1109/TALE56641.2023.10398393},
  timestamp    = {Fri, 16 Feb 2024 14:11:19 +0100},
  biburl       = {https://dblp.org/rec/conf/tale/KurniawanPHLJS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00954,
  author       = {Oka Kurniawan and
                  Christopher M. Poskitt and
                  Ismam Al Hoque and
                  Norman Tiong Seng Lee and
                  Cyrille J{\'{e}}gourel and
                  Nachamma Sockalingam},
  title        = {How Helpful do Novice Programmers Find the Feedback of an Automated
                  Repair Tool?},
  journal      = {CoRR},
  volume       = {abs/2310.00954},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.00954},
  doi          = {10.48550/ARXIV.2310.00954},
  eprinttype    = {arXiv},
  eprint       = {2310.00954},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-00954.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/KurniawanJLMP22,
  author       = {Oka Kurniawan and
                  Cyrille J{\'{e}}gourel and
                  Norman Tiong Seng Lee and
                  Matthieu De Mari and
                  Christopher M. Poskitt},
  title        = {Steps Before Syntax: Helping Novice Programmers Solve Problems using
                  the {PCDIT} Framework},
  booktitle    = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
                  Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
  pages        = {1--10},
  publisher    = {ScholarSpace},
  year         = {2022},
  url          = {http://hdl.handle.net/10125/79452},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/KurniawanJLMP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangSQJ21,
  author       = {Jingyi Wang and
                  Jun Sun and
                  Shengchao Qin and
                  Cyrille J{\'{e}}gourel},
  title        = {Automatically 'Verifying' Discrete-Time Complex Systems through Learning,
                  Abstraction and Refinement},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {47},
  number       = {1},
  pages        = {189--203},
  year         = {2021},
  url          = {https://doi.org/10.1109/TSE.2018.2886898},
  doi          = {10.1109/TSE.2018.2886898},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/WangSQJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08896,
  author       = {Oka Kurniawan and
                  Cyrille J{\'{e}}gourel and
                  Norman Tiong Seng Lee and
                  Matthieu De Mari and
                  Christopher M. Poskitt},
  title        = {Steps Before Syntax: Helping Novice Programmers Solve Problems using
                  the {PCDIT} Framework},
  journal      = {CoRR},
  volume       = {abs/2109.08896},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.08896},
  eprinttype    = {arXiv},
  eprint       = {2109.08896},
  timestamp    = {Mon, 27 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-08896.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BazilleGJS20,
  author       = {Hugo Bazille and
                  Blaise Genest and
                  Cyrille J{\'{e}}gourel and
                  Jun Sun},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Global {PAC} Bounds for Learning Discrete Time Markov Chains},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {304--326},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_17},
  doi          = {10.1007/978-3-030-53291-8\_17},
  timestamp    = {Wed, 12 Aug 2020 15:15:44 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BazilleGJS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/JegourelSD19,
  author       = {Cyrille J{\'{e}}gourel and
                  Jun Sun and
                  Jin Song Dong},
  title        = {Sequential Schemes for Frequentist Estimation of Properties in Statistical
                  Model Checking},
  journal      = {{ACM} Trans. Model. Comput. Simul.},
  volume       = {29},
  number       = {4},
  pages        = {25:1--25:22},
  year         = {2019},
  url          = {https://doi.org/10.1145/3310226},
  doi          = {10.1145/3310226},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tomacs/JegourelSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/JegourelW018,
  author       = {Cyrille J{\'{e}}gourel and
                  Jingyi Wang and
                  Jun Sun},
  title        = {Importance Sampling of Interval Markov Chains},
  booktitle    = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
                  and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
                  2018},
  pages        = {303--313},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/DSN.2018.00040},
  doi          = {10.1109/DSN.2018.00040},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/JegourelW018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FernandoDJD18,
  author       = {Dileepa Fernando and
                  Naipeng Dong and
                  Cyrille J{\'{e}}gourel and
                  Jin Song Dong},
  editor       = {Jing Sun and
                  Meng Sun},
  title        = {Verification of Strong Nash-equilibrium for Probabilistic {BAR} Systems},
  booktitle    = {Formal Methods and Software Engineering - 20th International Conference
                  on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
                  November 12-16, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11232},
  pages        = {106--123},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02450-5\_7},
  doi          = {10.1007/978-3-030-02450-5\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FernandoDJD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Jegourel0D18,
  author       = {Cyrille J{\'{e}}gourel and
                  Jun Sun and
                  Jin Song Dong},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {On the Sequential Massart Algorithm for Statistical Model Checking},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Verification - 8th International Symposium, ISoLA 2018, Limassol,
                  Cyprus, November 5-9, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11245},
  pages        = {287--304},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03421-4\_19},
  doi          = {10.1007/978-3-030-03421-4\_19},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Jegourel0D18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/Jegourel0D17,
  author       = {Cyrille J{\'{e}}gourel and
                  Jun Sun and
                  Jin Song Dong},
  editor       = {Nathalie Bertrand and
                  Luca Bortolussi},
  title        = {Sequential Schemes for Frequentist Estimation of Properties in Statistical
                  Model Checking},
  booktitle    = {Quantitative Evaluation of Systems - 14th International Conference,
                  {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10503},
  pages        = {333--350},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66335-7\_23},
  doi          = {10.1007/978-3-319-66335-7\_23},
  timestamp    = {Mon, 16 Sep 2019 15:31:32 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/Jegourel0D17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JegourelLS16,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  title        = {Command-based importance sampling for statistical model checking},
  journal      = {Theor. Comput. Sci.},
  volume       = {649},
  pages        = {1--24},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.08.009},
  doi          = {10.1016/J.TCS.2016.08.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JegourelLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FernandoDJD16,
  author       = {Dileepa Fernando and
                  Naipeng Dong and
                  Cyrille J{\'{e}}gourel and
                  Jin Song Dong},
  editor       = {Hai Wang and
                  Mounir Mokhtari},
  title        = {Verification of Nash-Equilibrium for Probabilistic {BAR} Systems},
  booktitle    = {21st International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2016, Dubai, United Arab Emirates, November 6-8, 2016},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICECCS.2016.016},
  doi          = {10.1109/ICECCS.2016.016},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/FernandoDJD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
  author       = {Kenan Kalajdzic and
                  Cyrille J{\'{e}}gourel and
                  Anna Lukina and
                  Ezio Bartocci and
                  Axel Legay and
                  Scott A. Smolka and
                  Radu Grosu},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Feedback Control for Statistical Model Checking of Cyber-Physical
                  Systems},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Foundational Techniques - 7th International Symposium, ISoLA 2016,
                  Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9952},
  pages        = {46--61},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47166-2\_4},
  doi          = {10.1007/978-3-319-47166-2\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
  author       = {Cyrille J{\'{e}}gourel and
                  Kim G. Larsen and
                  Axel Legay and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen and
                  Sean Sedwards},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Importance Sampling for Stochastic Timed Automata},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {163--178},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_11},
  doi          = {10.1007/978-3-319-47677-3\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/JegourelLLMPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JegourelLST15,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards and
                  Louis{-}Marie Traonouez},
  title        = {Distributed Verification of Rare Properties using Importance Splitting
                  Observers},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {72},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.72.1024},
  doi          = {10.14279/TUJ.ECEASST.72.1024},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/JegourelLST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NouriBBDJL15,
  author       = {Ayoub Nouri and
                  Saddek Bensalem and
                  Marius Bozga and
                  Beno{\^{\i}}t Delahaye and
                  Cyrille J{\'{e}}gourel and
                  Axel Legay},
  title        = {Statistical model checking QoS properties of systems with {SBIP}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {17},
  number       = {2},
  pages        = {171--185},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10009-014-0313-6},
  doi          = {10.1007/S10009-014-0313-6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/NouriBBDJL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JegourelLST15,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards and
                  Louis{-}Marie Traonouez},
  title        = {Distributed Verification of Rare Properties with Lightweight Importance
                  Splitting Observers},
  journal      = {CoRR},
  volume       = {abs/1502.01838},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.01838},
  eprinttype    = {arXiv},
  eprint       = {1502.01838},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JegourelLST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Jegourel14,
  author       = {Cyrille J{\'{e}}gourel},
  title        = {Rare event simulation for statistical model checking. (Simulation
                  d'{\'{e}}v{\'{e}}nements rares pour le model checking statistique)},
  school       = {University of Rennes 1, France},
  year         = {2014},
  url          = {https://tel.archives-ouvertes.fr/tel-01244471},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Jegourel14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JegourelLS14,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {An Effective Heuristic for Adaptive Importance Splitting in Statistical
                  Model Checking},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Specialized Techniques and Applications - 6th International Symposium,
                  ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8803},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45231-8\_11},
  doi          = {10.1007/978-3-662-45231-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/JegourelLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slsp/FahrenbergBCJKL14,
  author       = {Uli Fahrenberg and
                  Fabrizio Biondi and
                  Kevin Corre and
                  Cyrille J{\'{e}}gourel and
                  Simon Kongsh{\o}j and
                  Axel Legay},
  editor       = {Laurent Besacier and
                  Adrian{-}Horia Dediu and
                  Carlos Mart{\'{\i}}n{-}Vide},
  title        = {Measuring Global Similarity Between Texts},
  booktitle    = {Statistical Language and Speech Processing - Second International
                  Conference, {SLSP} 2014, Grenoble, France, October 14-16, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8791},
  pages        = {220--232},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11397-5\_17},
  doi          = {10.1007/978-3-319-11397-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/slsp/FahrenbergBCJKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergBCJKL14,
  author       = {Uli Fahrenberg and
                  Fabrizio Biondi and
                  Kevin Corre and
                  Cyrille J{\'{e}}gourel and
                  Simon Kongsh{\o}j and
                  Axel Legay},
  title        = {Measuring Structural Distances between Texts},
  journal      = {CoRR},
  volume       = {abs/1403.4024},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.4024},
  eprinttype    = {arXiv},
  eprint       = {1403.4024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergBCJKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JegourelLS13,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Importance Splitting for Statistical Model Checking Rare Properties},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {576--591},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_38},
  doi          = {10.1007/978-3-642-39799-8\_38},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/JegourelLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JegourelLS12,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  editor       = {P. Madhusudan and
                  Sanjit A. Seshia},
  title        = {Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical
                  Model Checking},
  booktitle    = {Computer Aided Verification - 24th International Conference, {CAV}
                  2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {327--342},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31424-7\_26},
  doi          = {10.1007/978-3-642-31424-7\_26},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/JegourelLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BensalemBDJLN12,
  author       = {Saddek Bensalem and
                  Marius Bozga and
                  Beno{\^{\i}}t Delahaye and
                  Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Ayoub Nouri},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Statistical Model Checking QoS Properties of Systems with {SBIP}},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Technologies for Mastering Change - 5th International Symposium, ISoLA
                  2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7609},
  pages        = {327--341},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34026-0\_25},
  doi          = {10.1007/978-3-642-34026-0\_25},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BensalemBDJLN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JegourelLS12,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  editor       = {Cormac Flanagan and
                  Barbara K{\"{o}}nig},
  title        = {A Platform for High Performance Statistical Model Checking - {PLASMA}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 18th International Conference, {TACAS} 2012, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7214},
  pages        = {498--503},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28756-5\_37},
  doi          = {10.1007/978-3-642-28756-5\_37},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/JegourelLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5229,
  author       = {Cyrille J{\'{e}}gourel and
                  Axel Legay and
                  Sean Sedwards},
  title        = {Cross-entropy optimisation of importance sampling parameters for statistical
                  model checking},
  journal      = {CoRR},
  volume       = {abs/1201.5229},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.5229},
  eprinttype    = {arXiv},
  eprint       = {1201.5229},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-5229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdsp/FuronJGC09,
  author       = {Teddy Furon and
                  Cyrille J{\'{e}}gourel and
                  Arnaud Guyader and
                  Fr{\'{e}}d{\'{e}}ric C{\'{e}}rou},
  title        = {Estimating the probability fo false alarm for a zero-bit watermarking
                  technique},
  booktitle    = {16th International Conference on Digital Signal Processing, {DSP}
                  2009, Santorini, Greece, July 5-7, 2009},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICDSP.2009.5201130},
  doi          = {10.1109/ICDSP.2009.5201130},
  timestamp    = {Fri, 05 Feb 2021 12:59:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icdsp/FuronJGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics