1. 2016
  2. Static Detection of User-specified Security Vulnerabilities in Client-side JavaScript

    Nicolay, J., Spruyt, V. & De Roover, C. Oct 2016 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security: Vienna, Austria — October 24 - 28, 2016. New York, NY, USA: ACM, p. 3-13

    Research output: ResearchMeeting abstract (Book)

  3. A model for Reflection in Rule-Based Languages

    Van De Water, S., De Meuter, W. & Renaux, T. 23 Sep 2016

    Research output: ResearchUnpublished paper

  4. Typing Third Party Web Service Usage

    Oostvogels, N. 19 Jul 2016

    Research output: ResearchPoster

  5. Verification of Communication in Web Applications

    Oostvogels, N. 19 Jul 2016 8 p.

    Research output: ResearchUnpublished paper

  6. An Exploratory Study Into the Prevalence of Botched Code Integrations

    Muylaert, W., De Meuter, W. & De Roover, C. 11 Jul 2016 5 p.

    Research output: ResearchUnpublished abstract

  7. Transactional Tasks: Parallelism in Software Transactions

    Swalens, J., De Koster, J. & De Meuter, W. Jul 2016 Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 56, p. 23:1-23:28 28 p.

    Research output: ResearchConference paper

  8. AspectJ code analysis and verification with GASR

    Fabry, J., De Roover, C., Noguera Garcia, C. F., Zschaler, S., Rashid, A. & Jonckers, V. 13 Jun 2016 In : Journal of Systems and Software. 117, p. 528-544 17 p.

    Research output: Research - peer-reviewArticle

Previous 1 2 3 4 5 6 7 8 ...30 Next

ID: 25292