Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Quentin Stiévenart actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
-
FWOTM1089: Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma's
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamenteel
-
OZR3300: Solide, Schaalbare, en Precieze Abstracte Interpretatie van Diverse Concurrentiemodellen en Modelcombinaties
Stiévenart, Q. & De Roover, C.
1/10/18 → 30/09/19
Project: Fundamenteel
Onderzoeksoutput
-
Security Risks of Porting C Programs to WebAssembly
Stiévenart, Q., De Roover, C. & Ghafari, M., 2022, The 37th ACM/SIGAPP Symposium On Applied Computing. ACMOnderzoeksoutput: Conference paper
Open AccessBestand9 Downloads (Pure) -
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries
Stiévenart, Q., Binkley, D. & De Roover, C., 2022, The 44th International Conference on Software Engineering.Onderzoeksoutput: Conference paper
-
A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses
Stiévenart, Q., Van Es, N., Van der Plas, J. & De Roover, C., 16 jul 2021, In : Journal of Systems and Software. 181, 42 blz., 111042.Onderzoeksoutput: Article
-
QSES: Quasi-Static Executable Slicing
Stiévenart, Q., Binkley, D. & De Roover, C., 27 sep 2021, 21st IEEE International Working Conference on Source Code Analysis and Manipulation (NIER Track). IEEE, blz. 209-213 4 blz.Onderzoeksoutput: Conference paper
Open AccessBestand -
The Security Risk of Lacking Compiler Protection in WebAssembly
Stiévenart, Q., De Roover, C. & Ghafari, M., 2021, 21st IEEE International Conference on Software Quality, Reliability, and Security. IEEEOnderzoeksoutput: Conference paper
Open AccessBestand5 Downloads (Pure)
-
-
-
BENEVOL 2014
Quentin Stiévenart (Speaker)28 nov 2014Activiteit: Talk or presentation at a workshop/seminar
Bestand
Scriptie
-
Incremental Thread-Modular Static Analysis for Concurrent Programs with Futures and Atoms
Auteur: Van Der Plas, J., 2019Begeleider: De Roover, C. (Promotor) & Stiévenart, Q. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading
Auteur: Stiévenart, Q., 25 mei 2018Begeleider: De Roover, C. (Promotor) & De Meuter, W. (Promotor)
Scriptie/masterproef: Doctoral Thesis
Bestand