Rapha\"el Khoury

Identifiers

No identifiers captured yet.

Papers (5)

1. How Secure is Code Generated by ChatGPT? cs.CR · 2023 · author #1
2. Improving Hyperconnected Logistics with Blockchains and Smart Contracts cs.DC · 2019 · author #2
3. Event Stream Processing with Multiple Threads cs.DC · 2017 · author #2
4. An Alternating Automaton for First-Order Linear Temporal Logic--Tech Report cs.FL · 2016 · author #2
5. Runtime Enforcement With Partial Control cs.CR · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Sylvain Hall\'e 4 shared papers
• Anderson R. Avila 1 shared papers
• Baba Mamadou Camara 1 shared papers
• Beno\^it Montreuil 1 shared papers
• Jacob Brunelle 1 shared papers
• Quentin Betti 1 shared papers
• S\'ebastien Gaboury 1 shared papers
• Yannick Lebrun 1 shared papers