Search results

  • Conference article in proceeding

    Automated feedback for mathematical learning environments

    Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Automated feedback on the structure of hypothesis tests

    Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    25 Downloads (Pure)
  • Automated feedback on the structure of hypothesis tests

    Tacoma, S. G., Heeren, B. J., Jeuring, J. T. & Drijvers, P., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, p. 2969-2976 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Automated Localisation Testing in Industry with Test*

    Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E. J. & Ortega, C., 2016, Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Wotawa, F., Nica, M. & Kushik, N. (eds.). Cham: Springer International Publishing, p. 241-248 8 p. (Lecture Notes in Computer Science, Vol. 9976).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Benchmarks for Parity Games

    Keiren, J. J. A., 2015, Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Cham: Springer International Publishing AG, p. 127-142 16 p. (Lecture Notes in Computer Science, Vol. 9392).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Branching bisimulation games

    Escrig, D. D. F., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Cham: Springer, p. 142-157 16 p. (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Building a Generic Feedback System for Rule-Based Problems

    Naus, N. & Jeuring, J. T., 21 Feb 2019, Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). Cham: Springer, p. 172-191 20 p. (Lecture Notes in Computer Science, Vol. 10447).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    51 Downloads (Pure)
  • Capturing and Characterising Notional Machines

    Fincher, S., Jeuring, J., Miller, C. S., Donaldson, P., Boulay, B. D., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C. M., Mühling, A., Pearce, J. L. & Petersen, A., Jun 2020, Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education: ITiCSE 2020. Giannakos, M. N., Sindre, G., Luxton-Reilly, A. & Divitini, M. (eds.). New York: acm, p. 502-503 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    54 Downloads (Pure)
  • Challenges in Automated Testing through Graphical User Interface

    Aho, P. K. & Vos, T., 9 Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademic

  • Children’s Implicit and Explicit Stereotypes on the Gender, Social Skills, and Interests of a Computer Scientist

    de Wit, S. D., Hermans, F. & Aivaloglou, E., 16 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research. Ko, A. J., Vahrenhold, J., McCauley, R. & Hauswirth, M. (eds.). New York, NY, USA: Association for Computing Machinery, p. 239–251 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • CoBRA: Low cost compensation of TSV failures in 3D-NoC

    Salamat, R., Ebrahimi, M., Bagherzadeh, N. & Verbeek, F., 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT): September 19-20, 2016 . Danvers, MA: IEEE, p. 115-120 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Code Phonology: An Exploration into the Vocalization of Code

    Hermans, F., Swidan, A. & Aivaloglou, E., 2018, Proceedings of the 26th Conference on Program Comprehension. acm, p. 308-311 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Code quality issues in student programs

    Keuning, H., Heeren, B. & Jeuring, J., 2017, Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2017, Bologna, Italy — July 03 - 05, 2017. New York: ACM Digital Library, p. 110-115 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Composing Constraint Automata, State-by-State

    Jongmans, S-S., Kappé, T. & Arbab, F., 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Cham: Springer International Publishing, p. 217-236 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Computational Thinking and Mathematical thinking: Digital literacy in Mathematics curricula

    Borkulo, S., Kallia, M., Drijvers, P., Barendsen, E. & Tolboom, J., 20 May 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching: ICTMT 14. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). University of Duisburg-Essen, p. 384-385 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking

    Jong, I. D. & Jeuring, J., Nov 2020, Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. 1-10 10 p. 35

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    77 Downloads (Pure)
  • Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge

    Grgurina, N., Barendsen, E., Zwaneveld, B., Van Veen, K. & Stoker, I., Nov 2014, Proceedings of the 14th Koli Calling International Conference on Computing Education Research: Koli Calling '14. New York, NY: Association for Computing Machinery (ACM), p. 173-174 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Concepts in K-9 Computer Science Education

    Barendsen, E., Mannila, L., Demo, B., Grgurina, N., Izu, C., Mirolo, C., Sentence, S., Settle, A. & Stupuriené, G., Jul 2015, ITiCSE '15: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education. New York, NY: ACM Digital Library, p. 85-116 32 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas

    Nijenhuis-Voogt, J., Meijer, P. C. & Barendsen, E., 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Mühling, A. & Cutts, Q. (eds.). New York, NY: Association for Computing Machinery (ACM), 4 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Continuous Piloting of an Open Source Test Automation Tool in an Industrial Environment

    Aho, P., Vos, T. E. J., Ahonen, S., Piirainen, T., Moilanen, P. & Pastor Ricos, F., 2019, Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019): áceres, septiembre de 2019. Pérez-Benedí, J. (ed.). Sistedes, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Deep in the Dark: A Novel Threat Detection System using Darknet Traffic

    Kumar, S., Vranken, H. P. E., van Dijk, J. & Hämäläinen, T., Dec 2019, 2019 IEEE International Conference on Big Data. Los Angeles, USA: IEEE, p. 4273-4279 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    16 Downloads (Pure)
  • Defining and observing modeling and simulation in informatics

    Grgurina, N., Barendsen, E., Zwaneveld, G., van Veen, K. & Suhre, C., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 130-141 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Denial-of-Service Attacks on LoRaWAN

    van Es, E., Vranken, H. & Hommersom, A., 2018, Proceedings of the 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 17

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    85 Downloads (Pure)
  • Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation

    Pastor Ricos, F., Aho, P. K., Vos, T. E. J., Torres Boigues, I., Calas Blasco, E. & Martınez Martınez, H., 30 Nov 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Tiziana, M. & Bernhard, S. (eds.). 1 ed. Springer International Publishing AG, Vol. 12476. p. 543-557 15 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12476).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Designing a Blended Course in Android App Development using 4C/ID

    Marcellis, M., Barendsen, E. & Van Merriënboer, J. J. G., 22 Nov 2018, Koli Calling '18: Proceedings of the 18th Koli Calling International Conference on Computing Education Research. New York, NY: acm, 19

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Designing and comparing two Scratch-based teaching approaches for students aged 10-12 years

    van Es, N. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 178-182 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Designing a rubric for feedback on code quality in programming courses

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 160-164 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Detecting energy bugs and hotspots in control software using model checking

    Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 2018, Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 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 proceedingConference article in proceedingAcademicpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    126 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 proceedingConference article in proceedingAcademicpeer-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 proceedingConference article in proceedingAcademicpeer-review

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

    Aivaloglou, E. & Hermans, F., 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 proceedingConference article in proceedingAcademicpeer-review

    File
    454 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 proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference article in proceedingAcademicpeer-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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    1201 Downloads (Pure)
  • 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 proceedingConference article in proceedingAcademicpeer-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 proceedingConference article in proceedingAcademicpeer-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., 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 proceedingConference article in proceedingAcademicpeer-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 proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    44 Downloads (Pure)
  • 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 proceedingConference article in proceedingAcademicpeer-review

    Open Access
  • Explaining the Most Probable Explanation

    Butz, R., 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 proceedingConference article in proceedingAcademicpeer-review

  • 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 proceedingConference article in proceedingAcademicpeer-review

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

    Zeevaarders, A. & Aivaloglou, E., 2021, 2021 IEEE Global Engineering Education Conference. IEEE, p. 1287-1295 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-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 proceedingConference article in proceedingAcademicpeer-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., 16 Mar 2020, 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 proceedingConference article in proceedingAcademicpeer-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

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-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. Cham: Springer, p. 262-276 15 p. (Lecture Notes in Computer Science, Vol. 11082).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • 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 proceedingConference article in proceedingAcademicpeer-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 proceedingConference article in proceedingAcademicpeer-review