Thomas Given-Wilson
Université Catholique de Louvain
H-index: 12
Europe-Belgium
Top articles of Thomas Given-Wilson
Analysis of machine learning approaches to packing detection
Computers & Security
2024/1/1
Automated repair of security errors in C programs via statistical model checking: a proof of concept
2022/10/17
Packer classification based on association rule mining
Applied Soft Computing
2022/9/1
A Secure User-Centred Healthcare System: Design and Verification
2021/12/6
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Chaos duck: A tool for automatic iot software fault-tolerance analysis
2021/9/20
Unsupervised behavioural mining and clustering for malware family identification
2021/3/22
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
C-SMC: a hybrid statistical model checking and concrete runtime engine for analyzing C programs
2021
Building user trust of critical digital technologies
2020/2/26
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Brief announcement: Effectiveness of code hardening for fault-tolerant iot software
2020
Improving secure and robust patient service delivery
2020
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Exploiting virtualisation for interactive virtual teaching
Teaching and Learning Computer Networking During the Pandemic and Beyond, Louvain-la-Neuve
2020
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Expressiveness of concurrent intensionality
Theoretical Computer Science
2020/10/12
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Introduction to the special issue for SPIN 2019
International Journal on Software Tools for Technology Transfer
2020/10
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Formalising fault injection and countermeasures
2020/8/25
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Combined software and hardware fault injection vulnerability detection
Innovations in Systems and Software Engineering
2020/6
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35
Optimizing symbolic execution for malware behavior classification
Computers & Security
2020/6/1
Thomas Given-Wilson
H-Index: 7
Axel Legay
H-Index: 35