Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Jens Nicolay actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 12 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Projecten
- 1 Afgelopen
-
BRGRD50: Joint R&D 2020: SWAMP: een slim waterbeheerplatform voor het Brussels Hoofdstedelijk Gewest
1/07/20 → 30/09/20
Project: Toegepast
Onderzoeksoutput
-
Tamper-proof security mechanism against liar objects in JavaScript applications
Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 23 mrt 2020, (Unpublished).Onderzoeksoutput: Unpublished abstract
-
A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular
Stiévenart, Q., Nicolay, J., De Meuter, W. & De Roover, C., 1 jan 2019, In : Journal of Systems and Software. 147, blz. 17-45 29 blz.Onderzoeksoutput: Article
Open Access5 Citaten (Scopus) -
Effect-driven Flow Analysis
Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., 13 jan 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (redactie). Springer, blz. 247-274 28 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).Onderzoeksoutput: Conference paper
3 Citaten (Scopus) -
GuardiaML: Machine Learning-Assisted Dynamic Information Flow Control
Scull Pupo, A. L., Nicolay, J., Efthymiadis, K., Nowe, A., De Roover, C. & Gonzalez Boix, E., 15 mrt 2019, Proceedings of the 26th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2019). Shihab, E., Lo, D. & Wang, X. (redactie). IEEE, blz. 624-628 5 blz. 8667979. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).Onderzoeksoutput: Conference paper › Research
-
Building IoT Systems Using Distributed First-Class Reactive Programming
De Troyer, C., Nicolay, J. & De Meuter, W., 26 dec 2018, Proceedings - IEEE 10th International Conference on Cloud Computing Technology and Science, CloudCom 2018. IEEE, Vol. 2018-December. blz. 185-192 8 blz. 8591014. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom; vol. 2018-December).Onderzoeksoutput: Conference paper › Research
Bestand1 Citaat (Scopus)2 Downloads (Pure)
Prijzen
-
ACM AOSD International Student Research Competition
Jens Nicolay (Recipient), 30 mrt 2012
Prijs: Prize (including medals and awards)
-
-
Winner VUB PhD Day student contest
Jens Nicolay (Recipient), 8 mei 2012
Prijs: Prize (including medals and awards)
Scriptie
-
Automatic Parallelization of Scheme Programs using Static Analysis
Auteur: Nicolay, J., D'Hondt, T. & De Roover, C., 2010Begeleider: D'Hondt, T. (Promotor) & De Roover, C. (Advisor)
Scriptie/masterproef: Master's Thesis
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach
Auteur: Nicolay, J., 30 jun 2016Begeleider: De Meuter, W. (Promotor) & De Roover, C. (Promotor)
Scriptie/masterproef: Doctoral Thesis
-
Purity Analysis for Higher-Order Imperative Languages: An Abstract Interpretation Approach
Auteur: Nicolay, J., 2016Begeleider: Signer, B. (Jury)
Scriptie/masterproef: Doctoral Thesis
-
STATIC VERIFICATION OF DYNAMIC SECURITY POLICIES
Auteur: Horemans, D. & Scull Pupo, A. L., 30 jun 2017Begeleider: De Roover, C. (Promotor), Gonzalez Boix, E. (Promotor), Nicolay, J. (Advisor) & Scull Pupo, A. L. (Advisor)
Scriptie/masterproef: Master's Thesis
-
TAMPER-PROOF AND TRANSPARENT ENFORCEMENT OF SECURITY POLICIES IN BROWSER APPLICATIONS
Auteur: Jacob, J. & Scull Pupo, A. L., sep 2018Begeleider: Gonzalez Boix, E. (Promotor), Scull Pupo, A. L. (Advisor) & Nicolay, J. (Advisor)
Scriptie/masterproef: Master's Thesis