Cyrille Jégourel

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 15

Top Venues

CoRR

ISoLA (2)

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

HICSS

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? TALE (2023)
Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? CoRR (2023)
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. HICSS (2022)
Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. CoRR (2021)
Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. 47 (1) (2021)
Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) (2020)
Cyrille Jégourel, Jun Sun, Jin Song Dong
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM (2018)
Cyrille Jégourel, Jingyi Wang, Jun Sun
Importance Sampling of Interval Markov Chains. DSN (2018)
Cyrille Jégourel, Jun Sun, Jin Song Dong
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) (2018)
Cyrille Jégourel, Jun Sun, Jin Song Dong
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST (2017)
Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS (2016)
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
Importance Sampling for Stochastic Timed Automata. SETTA (2016)
Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) (2016)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Command-based importance sampling for statistical model checking. Theor. Comput. Sci. 649 (2016)
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Global Similarity Between Texts. SLSP (2014)
Cyrille Jégourel, Axel Legay, Sean Sedwards
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) (2014)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Structural Distances between Texts. CoRR (2014)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Importance Splitting for Statistical Model Checking Rare Properties. CAV (2013)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Cross-entropy optimisation of importance sampling parameters for statistical model checking CoRR (2012)
Cyrille Jégourel, Axel Legay, Sean Sedwards
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV (2012)
Cyrille Jégourel, Axel Legay, Sean Sedwards
A Platform for High Performance Statistical Model Checking - PLASMA. TACAS (2012)
Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) (2012)
Teddy Furon, Cyrille Jégourel, Arnaud Guyader, Frédéric Cérou
Estimating the probability fo false alarm for a zero-bit watermarking technique. DPS (2009)

Cyrille Jégourel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cyrille Jégourel