Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Cyrille Jégourel
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.