I agree that this site is using cookies. You can find further informations here.
X
Khoury, Raphaël
132  results:
OpenAccess-fulltext X
Search for persons X
?
1

How Secure is Code Generated by ChatGPT?:

Khoury, Raphaël ; Avila, Anderson R ; Brunelle, Jacob.
http://arxiv.org/abs/2304.09655.  , 2023
Link: http://arxiv.org/abs/230..
 
?
2

Uncertainty in runtime verification : a survey:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
https://constellation.uqac.ca/id/eprint/9532/.  , 2023
Link: https://constellation.uq..
 
?
3

Half-Day Vulnerabilities: A study of the First Days of CVE ..:

Khanmohammadi, Kobra ; Khoury, Raphael
http://arxiv.org/abs/2303.07990.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Benchmark measuring the overhead of runtime enforcement usi..:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
doi:10.5281/zenodo.5976000.  , 2022
Link: https://zenodo.org/recor..
 
?
5

Test Sequence Generation with Cayley Graphs:

Hallé, Sylvain ; Khoury, Raphaël
doi:10.5281/zenodo.4661877.  , 2021
Link: https://zenodo.org/recor..
 
?
6

Improving Hyperconnected Logistics with Blockchains and Sma..:

Betti, Quentin ; Khoury, Raphaël ; Hallé, Sylvain.
http://arxiv.org/abs/1904.03633.  , 2019
Link: http://arxiv.org/abs/190..
 
?
7

Event Stream Processing with Multiple Threads:

Hallé, Sylvain ; Khoury, Raphaël ; Gaboury, Sébastien
http://arxiv.org/abs/1707.02600.  , 2017
Link: http://arxiv.org/abs/170..
 
?
8

Decentralized enforcement of document lifecycle constraints:

Hallé, Sylvain ; Khoury, Raphaël ; Betti, Quentin..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.is.2017.08.002.  , 2017
Link: https://hal.science/hal-..
 
?
9

Decentralized enforcement of document lifecycle constraints:

Hallé, Sylvain ; Khoury, Raphaël ; Betti, Quentin..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.is.2017.08.002.  , 2017
Link: https://hal.archives-ouv..
 
?
10

Decentralized Enforcement of Artifact Lifecycles:

Hallé, Sylvain ; Khoury, Raphaël ; El-Hokayem, Antoine.
hal-01365315.  , 2016
Link: https://hal.inria.fr/hal..
 
?
11

Decentralized Enforcement of Artifact Lifecycles:

Hallé, Sylvain ; Khoury, Raphaël ; El-Hokayem, Antoine.
hal-01365315.  , 2016
Link: https://hal.inria.fr/hal..
 
?
12

Le renouveau de l'économie collaborative: " Dans quelle mes..:

El Khoury, Raphaël
thesis:7098.  , 2016
Link: http://hdl.handle.net/20..
 
?
13

An Alternating Automaton for First-Order Linear Temporal Lo..:

Lebrun, Yannick ; Khoury, Raphaël ; Hallé, Sylvain
http://arxiv.org/abs/1610.07080.  , 2016
Link: http://arxiv.org/abs/161..
 
?
14

Le renouveau de l'économie collaborative: " Dans quelle mes..:

El Khoury, Raphaël
thesis:7098.  , 2016
Link: http://hdl.handle.net/20..
 
?
15

Runtime Enforcement With Partial Control:

Khoury, Raphaël ; Hallé, Sylvain
http://arxiv.org/abs/1508.06525.  , 2015
Link: http://arxiv.org/abs/150..
 
1-15