1. 2018
  2. Practical Information Flow Control for Web Applications

    Scull Pupo, A. L., Christophe, L., Nicolay, J., De Roover, C. & Gonzalez Boix, E., Nov 2018, Lecture Notes in Computer Science : Proceedings of the 18th International Conference on Runtime Verification. Springer, Vol. 11237. p. 372-388

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  3. Dynamically Processing Agricultural Data from Controlled Legume Sites

    Oteyo, I. N., Kambona, K. K., Béra, C., De Meuter, W., Kimani, S. & Gonzalez Boix, E., 23 Oct 2018, (Unpublished).

    Research output: Unpublished contribution to conferencePosterResearch

  4. Coherent explicit dictionary application for Haskell

    Winant, T. & Devriese, D., 17 Sep 2018, Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Association for Computing Machinery, Inc, p. 81-93 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  5. GUARDIA: specification and enforcement of javascript security policies without VM modifications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 12 Sep 2018, Proceedings of the 15th International Conference on Managed Languages & Runtimes. Association for Computing Machinery (ACM), 15 p. 17

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  6. Toward Hybrid Enforcement of Security Policies in JavaScript Applications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 12 Sep 2018.

    Research output: Unpublished contribution to conferencePosterResearch

  7. DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-Based Participatory Sensing Platforms

    Zaman, J., 4 Sep 2018.

    Research output: Unpublished contribution to conferencePosterResearch

  8. OCELOT: a Search-Based Test-Data Generation Tool for C

    Scalabrino, S., Grano, G., Di Nucci, D., Guerra, M., De Lucia, A., Gall, H. & Oliveto, R., 3 Sep 2018, ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Kastner, C., Huchard, M. & Fraser, G. (eds.). ACM / IEEE, p. 868-871 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  9. A Test Case Prioritization Genetic Algorithm guided by the Hypervolume Indicator

    Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 30 Aug 2018, In : IEEE Transactions on Software Engineering. (Online First), p. 1-24 24 p.

    Research output: Contribution to journalArticleResearchpeer-review

  10. Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

    Winant, T. & Devriese, D., 30 Jul 2018, arXiv. 42 p.

    Research output: Book/ReportOther reportResearch

  11. Assessing primitives performance on multi-stage execution

    Kaleba, S., Bera, C. & Miranda, E., 17 Jul 2018, Proceedings of the 13th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018 - Co-located with the European Conference on Object-Oriented Programming. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

Previous 12 3 4 5 6 7 8 9 ...48 Next

ID: 25292