Cyrille Jégourel

33 papers A* 3A 2B 1C 1Misc 1Journal 12Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool. Koli Calling Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, Cyrille Jégourel
2025	J	`jnl`	Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool. CoRR Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, Cyrille Jégourel
2025	A*	`conf`	Simulated Interactive Debugging. ASE Yannic Noller, Erick Chandra, Srinidhi Chandrashekar, Kenny T. W. Choo, Cyrille Jégourel, Oka Kurniawan, Christopher M. Poskitt
2025	J	`jnl`	Simulated Interactive Debugging. CoRR Yannic Noller, Erick Chandra, Srinidhi HC, Kenny T. W. Choo, Cyrille Jégourel, Oka Kurniawan, Christopher M. Poskitt
2024	—	`conf`	Sieving Coding Assignments Over Submissions Generated by AI and Novice Programmers. Koli Calling Cyrille Jégourel, Jung Yi Ong, Oka Kurniawan, Lim Meng Shin, Kushat Chitluru
2023	—	`conf`	How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? TALE Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
2023	J	`jnl`	How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool? CoRR Oka Kurniawan, Christopher M. Poskitt, Ismam Al Hoque, Norman Tiong Seng Lee, Cyrille Jégourel, Nachamma Sockalingam
2022	—	`conf`	Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. HICSS Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
2021	J	`jnl`	Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
2021	J	`jnl`	Steps Before Syntax: Helping Novice Programmers Solve Problems using the PCDIT Framework. CoRR Oka Kurniawan, Cyrille Jégourel, Norman Tiong Seng Lee, Matthieu De Mari, Christopher M. Poskitt
2020	—	`conf`	Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
2019	J	`jnl`	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. Cyrille Jégourel, Jun Sun, Jin Song Dong
2018	A	`conf`	Importance Sampling of Interval Markov Chains. DSN Cyrille Jégourel, Jingyi Wang, Jun Sun
2018	—	`conf`	On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) Cyrille Jégourel, Jun Sun, Jin Song Dong
2018	C	`conf`	Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2017	—	`conf`	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST Cyrille Jégourel, Jun Sun, Jin Song Dong
2016	J	`jnl`	Command-based importance sampling for statistical model checking. Theor. Comput. Sci. Cyrille Jégourel, Axel Legay, Sean Sedwards
2016	—	`conf`	Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
2016	Misc	`conf`	Importance Sampling for Stochastic Timed Automata. SETTA Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2016	B	`conf`	Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2015	J	`jnl`	Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
2014	—	`conf`	An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking. ISoLA (2) Cyrille Jégourel, Axel Legay, Sean Sedwards
2014	—	`conf`	Measuring Global Similarity Between Texts. SLSP Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	J	`jnl`	Measuring Structural Distances between Texts. CoRR Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
2014	—	`—`	Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique). Cyrille Jégourel
2013	A*	`conf`	Importance Splitting for Statistical Model Checking Rare Properties. CAV Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	A	`conf`	A Platform for High Performance Statistical Model Checking - PLASMA. TACAS Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	A*	`conf`	Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	J	`jnl`	Cross-entropy optimisation of importance sampling parameters for statistical model checking CoRR Cyrille Jégourel, Axel Legay, Sean Sedwards
2012	—	`conf`	Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
2009	—	`conf`	Estimating the probability fo false alarm for a zero-bit watermarking technique. DPS Teddy Furon, Cyrille Jégourel, Arnaud Guyader, Frédéric Cérou