Department of Computer Science

Search results

  • Conference Article in proceeding

    Discourje: Runtime Verification of Communication Protocols in Clojure

    Hamers, R. & Jongmans, S.-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Discovering Software Vulnerabilities Using Data-flow Analysis and Machine Learning

    Kronjee, J., Hommersom, A. & Vranken, H., 27 Aug 2018, ARES 2018 - 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 10 p. 6

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    745 Downloads (Pure)

  • Displaying triple provenance with extensions to the Fresnel vocabulary for semantic browsers

    Rutledge, L. W., Mellema, P., Pietersma, T. & Joosten, S. M. M., 25 Oct 2021, Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data: VOILA! 2021. Lambrix, P., Pesquita, C. & Wiens, V. (eds.). CEUR-WS.org, Vol. 3023. p. 103-114 12 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

    Castro, D., Hu, R., Jongmans, S.-S., Ng, N. & Yoshida, N., Jan 2019, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). POPL ed. New York, NY: Association for Computing Machinery (ACM), Vol. 3. p. 1-30 30 p. (Proceedings of the ACM on Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Domain TILEs: Test Informed Learning with Examples from the Testing Domain

    Doorn, N., Vos, T., Marín, B., Bockisch, C., Dick, S. & Barendsen, E., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 501-508 8 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • DVGAN: Stabilize Wasserstein GAN training for time-domain Gravitational Wave physics

    Dooney, T., Bromuri, S. & Curier, L., 2022, Proceedings: 2022 IEEE International Conference on Big Data, Big Data 2022. Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 5468-5477 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Dynamics of Causal Dependencies in Multi-agent Settings.

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Dynamic TopHat: Start and Stop Tasks at Runtime

    Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p. 13

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Early programming education and career orientation: The effects of gender, self-efficacy, motivation and stereotypes

    Aivaloglou, E. & Hermans, F., 22 Feb 2019, SIGCSE '19: Proceedings of the 50th ACM Technical Symposium on Computer Science Education, Minneapolis, MN, USA, February 2019. New York: Association for Computing Machinery (ACM), p. 679-685 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    File
    782 Downloads (Pure)

  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., 4 Apr 2018, Fundamental Approaches to Software Engineering: FASE 2018. Russo, A. & Schürr, A. (eds.). Cham: Springer, p. 56-73 18 p. (Lecture Notes in Computer Science, Vol. 10802).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Electricity Consumption of Ethereum and Filecoin: Advances in Models and Estimates

    Pankovska, E., Sai, A. R., Vranken, H. & Ransil, A., 8 Apr 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. ACM Digital Library, p. 269-277 9 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Eliciting Computing Science Teachers’ PCK using the Content Representation Format: Experiences and Future Directions

    Barendsen, E., Dagiene, V., Saeli, M. & Schulte, C., 2014, Local Proceedings of the 7th International Conference on Informatics in Schools: Situation, Evolution and Perspectives. Gülbahar, Y., Karatas, E. & Adnan, M. (eds.). Ankara: Ankara University, p. 71-82 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

    Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • ENACTEST project - European Innovation Alliance for Testing Education

    Marín, B., Vos, T. E. J., Snoeck, M., Paiva, A. C. R. & Fasolino, A. R., 2023, Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023). Font, J., Arcega, L., Reyes-Román, J.-F. & Giachetti, G. (eds.). CEUR-WS, Vol. 3413. p. 91-96 6 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Enhancing Free-text Interactions in a Communication Skills Learning Environment

    Lala, R., Jeuring, J. T., Van Geest, M., Ruseti, S., Dascălu, M., Van Dortmont, J., Gutu-Robu, G. & Hulsbergen, M. H., 21 Jun 2019, A Wide Lens: Combining Embodied, Enactive, Extended, and Embedded Learning in Collaborative Settings. Lund, K., Niccolai, G. P., Lavoué, E., Hmelo-Silver, C., Gweon, G. & Baker, M. (eds.). International Society of the Learning Sciences, Vol. 2. p. 877-878 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    2215 Downloads (Pure)

  • Enterprise Modeling with Conventions

    Joosten, S. M. M. & Roubtsova, E. E., 4 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, p. 56-73 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Estimating worst-case latency of on-chip interconnects with formal simulation

    Verbeek, F. & van Vugt - Hage, N., 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017): TU Wien, Vienna, Austria, October 2-6, 2017. Stewart, D. & Weissenbacher, G. (eds.). IEEE, p. 204-211 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Evaluating Haskell expressions in a tutoring environment

    Olmer, T., Heeren, B. J. & Jeuring, J. T., 12 Dec 2014, Proceedings 3rd International Workshop on Trends in Functional Programming in Education : Soesterberg, The Netherlands, 25th May 2014. Caldwell, J., Hölzenspies , P. & Achten, P. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 170. p. 50-66 17 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Evaluation of a Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, K., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., 18 Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). New York, NY: Association for Computing Machinery, p. 58–65 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game

    Lala, R., Corbalan, G. & Jeuring, J., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 322-331 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11899). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 11899).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    132 Downloads (Pure)

  • Evolutionary Scriptless Testing

    Hufkens, L. V., 14 May 2022, Research Challenges in Information Science. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). 1 ed. Cham: Springer International Publishing, Vol. 446. p. 779-785 7 p. (Lecture Notes in Business Information Processing, Vol. 446).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Evolution of Automated Regression Testing of Software Systems Through the Graphical User Interface

    Aho, P., Alégroth, E., Oliveira, R. A. P. & Vos, T. E. J., May 2016, ACCSE 2016: The First International Conference on Advances in Computation, Communications and Services. Hamrioui, S. & Lloret Mauri, J. (eds.). International Academy, Research, and Industry Association (IARIA), p. 16-21 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries

    Bockenek, J., Verbeek, F. & Ravindran, B., 2024, Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Proceedings. Maggi, F., Egele, M., Payer, M. & Carminati, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14828 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Executable Protocol Models as a Requirements Engineering Tool

    McNeile, A. T. & Roubtsova, E. E., 22 Apr 2008, 41st Annual Simulation Symposium. IEEE Computer Society Press, p. 95-102 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Experiences with a synchronous virtual classroom in distance education

    Koppelman, H. & Vranken, H., 2008, Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE. p. 194-198

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Explaining Argument Acceptance in ADFs

    Rienstra, T., Heyninck, J. L. A., Kern-Isberner, G., Skiba, K. & Thimm, M., 2022, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22). Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu & Antonio Rago (eds.). CEUR-WS.org, Vol. 3209. 12 p. (CEUR Workshop Proceedings, Vol. 3209).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Explaining the Most Probable Explanation

    Butz, R. S., Hommersom, A. & van Eekelen, M., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science, Vol. 11142).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring Factors Influencing the Satisfaction of Adult Software Engineering Students with Teamwork in Distance Education

    Rahimi, E., Passier, H. & Stuurman, S., 13 Nov 2023, Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. Mühling, A. & Jormanainen, I. (eds.). ACM Digital Library, 11 p. 3631823

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study

    Grgurina, N., Barendsen, E., van Veen, K., Suhre, C. & Zwaneveld, G., Nov 2015, WiPSCE'15: Proceedings of the 10th Workshop in Primary and Secondary Computing Education. Gal-Ezer, J., Sentance, S. & Vahrenhold, J. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 65-68 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring students' sensemaking of test case design: An initial study

    Doorn, N., Vos, T. E. J., Marín, B., Passier, H., Bijlsma, L. & Cacace, S., Apr 2021, Proceedings: 2021 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021). IEEE, p. 1069-1078 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring the Programming Concepts Practiced by Scratch Users: an Analysis of Project Repositories

    Zeevaarders, A. & Aivaloglou, E., 2021, Proceedings of the 2021 IEEE Global Engineering Education Conference (EDUCON). Klinger, T., Kollmitzer, C. & Pester, A. (eds.). IEEE, p. 1287-1295 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

    Jongmans, S.-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • File Fragmentation in the Wild: A Privacy-Friendly Approach

    van der Meer, V., Jonker, H., Dols, G., van Beek, H., van den Bos, J. & van Eekelen, M., Dec 2019, 2019 IEEE International Workshop on Information Forensics and Security (WIFS): Proceedings . Delft: IEEE, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Finding the shortest path to reproduce a failure found by TESTAR

    Valdes, O. R., Aug 2019, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Dumas, M. & Pfahl, D. (eds.). New York, USA: Association for Computing Machinery, p. 1223-1225 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems

    Heeren, B. J., Jeuring, J. T., Sosnovsky, S., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., van Wijk, J. & van Walree, F., 14 Aug 2018, Lifelong Technology-Enhanced Learning: EC-TEL 2018. Elferink, R., Drachsler, H., Pammer-Schindler, V., Perez-Sanagustin, M. & Scheffel, M. (eds.). Cham: Springer, p. 262-276 15 p. (Lecture Notes in Computer Science, Vol. 11082).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    99 Downloads (Pure)

  • First Six Months of War from Ukrainian Topic and Sentiment Analysis

    Maathuis, C. & Kerkhof, I., 2023, Proceedings of the 10th European Conference on Social Media, ECSM 2023. Lupa-Wojcik, I. & Czyzewska, M. (eds.). Academic Conferences Ltd, Vol. 10. p. 163-173 11 p. (Proceedings of the 10th European Conference on Social Media, ECSM 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Footprint Logic for Object-Oriented Components

    Boer, F. S. D., Gouw, S. D., Hiep, H.-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Formal API Specification of the PikeOS Separation Kernel

    Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham: Springer International Publishing AG, p. 375-389 15 p. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Formal Specification and Verification of JDK's Identity Hash Map Implementation

    Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting

    Ferreira Torres, C., Jonker, H. L. & Mauw, S., 2015, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II . Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer Nature Switzerland AG, Vol. 2. p. 3-19 17 p. (Lecture Notes in Computer Science (LNCS) series; No. 9327). (Security and Cryptology (LNCS subseries), Vol. 9327).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A. J., Lechner, E. H. S., Bolman, C. & Bemelmans, R., 2020, BNAIC/BeneLearn 2020 : Proceedings. Cao, L., Kosters, W. & Lijffijt, J. (eds.). Leiden: Leiden University, p. 298- 312 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    2696 Downloads (Pure)

  • Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A., Lechner, L., Bolman, C. & Bemelmans, R., 20 May 2021, Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers. Baratchi, M., Cao, L., Kosters, W. A., Lijffijt, J., van Rijn, J. N. & Takes, F. W. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-187 16 p. (Communications in Computer and Information Science, Vol. 1398 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Generating Functions for Probabilistic Programs

    Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J.-P., Moerman, J. & Winkler, T., 13 Feb 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Maribel Fernández (ed.). 1 ed. Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science, Vol. 12561).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Generating hints and feedback for Hilbert-style axiomatic proofs

    Lodder, J., Heeren, B. & Jeuring, J., 2017, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017. New York: ACM Digital Library, p. 387-392 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • GIPPY: Game for Introductory Programming Practice in Python

    Lapeña, A., Marin, B. & Vos, T., Mar 2022, INTED2022: 16th International Technology, Education and Development Conference Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). Valencia, Spain: IATED, p. 5598-5606 (INTED Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection

    Kraker, W. D., Vranken, H. & Hommmersom, A., 2023, 8th IEEE European Symposium on Security and Privacy Workshops. Institute of Electrical and Electronics Engineers Inc., p. 34-41 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

    Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J.-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review