Legay, Thomas
260  results:
Search for persons X
?
4

Les données spatiales au service du suivi des ressources en..:

Aubert Yoann ; Legay Thomas ; Verdonck Julien..
https://www.e3s-conferences.org/articles/e3sconf/pdf/2022/13/e3sconf_cigb2022_04008.pdf.  , 2022
 
?
5

Peut-on compléter la donnée in situ par la donnée satellite..:

Thomas Legay ; Yoann Aubert ; Julien Verdonck...
https://www.tandfonline.com/doi/10.1080/27678490.2022.2090289.  , 2022
 
?
6

A constrained Bayesian Optimization framework for structura..:

Ragueneau, Quentin ; Laurent, Luc ; Legay, Antoine..
Structural and Multidisciplinary Optimization.  67 (2024)  4 - p. , 2024
 
?
9

A Secure User-Centred Healthcare System: Design and Verific..:

, In: From Data to Models and Back; Lecture Notes in Computer Science,
 
?
10

Automated Repair of Security Errors in C Programs via Stati..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
 
?
13

Chaos Duck: A Tool for Automatic IoT Software Fault-Toleran..:

, In: 2021 40th International Symposium on Reliable Distributed Systems (SRDS),
 
?
14

C-SMC: A Hybrid Statistical Model Checking and Concrete Run..:

, In: Model Checking Software; Lecture Notes in Computer Science,
 
?
15

Unsupervised behavioural mining and clustering for malware ..:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,
 
1-15