Showing
1 - 7
results of
7
for search '
JEGOUREL, Cyrille
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
JEGOUREL, Cyrille
Showing
1 - 7
results of
7
for search '
JEGOUREL, Cyrille
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Importance sampling of Interval Markov Chains
by
JEGOUREL
,
Cyrille
,
WANG, Jingyi
,
SUN, Jun
Published 2019
Get full text
Get full text
text
Save to List
Saved in:
2
Sequential schemes for frequentist estimation of properties in statistical model checking
by
JEGOUREL
,
Cyrille
,
SUN, Jun
,
DONG, Jin Song
Published 2017
Get full text
Get full text
text
Save to List
Saved in:
3
On the sequential massart algorithm for statistical model checking
by
JEGOUREL
,
Cyrille
,
SUN, Jun
,
DONG, Jin Song
Published 2018
Get full text
Get full text
text
Save to List
Saved in:
4
Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement
by
WANG, Jingyi
,
SUN, Jun
,
QIN, Shengchao
,
JEGOUREL
,
Cyrille
Published 2018
Get full text
Get full text
text
Save to List
Saved in:
5
Global PAC bounds for learning discrete time Markov chains
by
BAZILLE, Hugo
,
GENEST, Blaise
,
JEGOUREL
,
Cyrille
,
SUN, Jun
Published 2020
Get full text
Get full text
text
Save to List
Saved in:
6
Steps before syntax: Helping novice programmers solve problems using the PCDIT framework
by
KURNIAWAN, Oka
,
JEGOUREL
,
Cyrille
,
LEE, Norman Tiong Seng
,
DE MARI, Matthieu
,
POSKITT, Christopher M.
Published 2022
Get full text
Get full text
text
Save to List
Saved in:
7
How helpful do novice programmers find the feedback of an automated repair tool?
by
KURNIAWAN, Oka
,
POSKITT, Christopher M.
,
HOQUE, Ismam Al
,
LEE, Norman Tiong Seng
,
JÉGOUREL
,
Cyrille
,
SOCKALINGAM, Nachamma
Published 2023
Get full text
Get full text
text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...