Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Halle, Sylvain
33  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Column: Is Theory (Still) Welcome in Software Engineering R..:

Hallé, Sylvain
ACM SIGSOFT Software Engineering Notes.  49 (2024)  2 - p. 19-21 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Uncertainty in runtime verification: A survey:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
Computer Science Review.  50 (2023)  - p. 100594 , 2023
Link: https://doi.org/10.1016/..
 
?
3

An investigation of distributed computing for combinatorial..:

La Chance, Edmond ; Hallé, Sylvain
Software Testing, Verification and Reliability.  33 (2023)  4 - p. , 2023
Link: https://doi.org/10.1002/..
 
?
4

Formal verification for event stream processing: Model chec..:

Bédard, Alexis ; Hallé, Sylvain
Information and Computation.  293 (2023)  - p. 105058 , 2023
Link: https://doi.org/10.1016/..
 
?
5

A modular pipeline for enforcement of security properties a..:

Taleb, Rania ; Hallé, Sylvain ; Khoury, Raphaël
Annals of Telecommunications.  78 (2023)  7-8 - p. 429-457 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Are Backdoor Mandates Ethical?—A Position Paper:

Khoury, Raphael ; Halle, Sylvain
IEEE Technology and Society Magazine.  41 (2022)  4 - p. 63-70 , 2022
Link: https://doi.org/10.1109/..
 
?
7

LE2ML: a microservices-based machine learning workbench as ..:

Thullier, Florentin ; Hallé, Sylvain ; Gaboury, Sébastien
Journal of Ambient Intelligence and Humanized Computing.  , 2021
Link: https://doi.org/10.1007/..
 
?
8

The Botnet Simulator: A simulation tool for understanding t..:

Vignau, Benjamin ; Khoury, Raphaël ; Hallé, Sylvain.
Software Impacts.  10 (2021)  - p. 100173 , 2021
Link: https://doi.org/10.1016/..
 
?
9

A survey of malware detection in Android apps: Recommendati..:

Razgallah, Asma ; Khoury, Raphaël ; Hallé, Sylvain.
Computer Science Review.  39 (2021)  - p. 100358 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Computer Simulations of Scientific Peer Reviewing:

Halle, Sylvain
IEEE Access.  9 (2021)  - p. 111595-111607 , 2021
Link: https://doi.org/10.1109/..
 
?
11

The evolution of IoT Malwares, from 2008 to 2019: Survey, t..:

Vignau, Benjamin ; Khoury, Raphaël ; Hallé, Sylvain.
Journal of Systems Architecture.  116 (2021)  - p. 102143 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Detecting trend deviations with generic stream processing p..:

Roudjane, Massiva ; Rebaïne, Djamal ; Khoury, Raphaël.
Information Systems.  101 (2021)  - p. 101446 , 2021
Link: https://doi.org/10.1016/..
 
?
13

Automata-based monitoring for LTL-FO$$^+$$:

Khoury, Raphaël ; Hallé, Sylvain ; Lebrun, Yannick
International Journal on Software Tools for Technology Transfer.  23 (2020)  2 - p. 137-154 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Improving Hyperconnected Logistics With Blockchains and Sma..:

Betti, Quentin ; Khoury, Raphael ; Halle, Sylvain.
IT Professional.  21 (2019)  4 - p. 25-32 , 2019
Link: https://doi.org/10.1109/..
 
?
15

Decentralized enforcement of document lifecycle constraints:

Hallé, Sylvain ; Khoury, Raphaël ; Betti, Quentin..
Information Systems.  74 (2018)  - p. 117-135 , 2018
Link: https://doi.org/10.1016/..
 
1-15