Filter
Conference article in proceeding

Search results

  • 2018

    Thinking out of the box: comparing metaphors for variables in programming education

    Hermans, F., Swidan, A., Aivaloglou, E. & Smit, M., 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Potsdam: acm, 8

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

  • Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool

    Martınez, M., Esparcia-Alcazar, A., Vos, T., Aho, P. K. & Fons i Cors, J., Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 375-385 11 p. (Lecture Notes in Computer Science, Vol. 11246).

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

  • Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development

    Benvenuti, L., Barendsen, E., Van der Veer, G. & Versendaal, J., 2018, SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education.. New York, NY: Association for Computing Machinery (ACM), p. 580-585 6 p.

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

  • Use expert knowledge instead of data: generating hints for hour of code exercises

    Buwalda, M., Jeuring, J. T. & Naus, N., 26 Jun 2018, L@S '18 Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY: Association for Computing Machinery (ACM), 32

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

    Open Access
    File
    48 Downloads (Pure)
  • 2017

    (Context-Sensitivity In) Reo, Revisited

    Jongmans, S-S., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Khosravi, R. (eds.). Cham: Springer International Publishing AG, p. 191-209 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10231). (Programming and Software Engineering LNPSE, Vol. 10231).

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

  • Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training

    Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204

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

    Open Access
  • Analysing Privacy Analyses

    Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).

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

    Open Access
  • An extensible domain-specific language for describing problem-solving procedures

    Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).

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

  • An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

    Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.

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

  • An observation method for behavioral analysis of collaborative modeling skills

    Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71

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

  • A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

    Rabinowicz, S., Hommersom, A., Butz, R. & Williams, M., 2017, Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. ten Teije, A., Popow, C., Holmes, J. H. & Sacchi, L. (eds.). Cham: Springer International Publishing AG, p. 81-85 5 p. (Lecture Notes in Computer Science, Vol. 10259).

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

  • A Security Perspective on Publication Metrics

    Jonker, H. & Mauw, S., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 186-200 15 p. (Security and Cryptology (LNCS subseries), Vol. 10476). (Lecture Notes in Computer Science; No. 10476).

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

  • A Security Perspective on Publication Metrics (Transcript of Discussion)

    Jonker, H., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 201-213 14 p. (Lecture Notes in Computer Science, Vol. 10476). (Security and Cryptology (LNCS subseries), Vol. 10476).

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

  • A Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 2017, Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017: November 13 and 14, Helsinki, Finland. Pieterse, V., van Eekelen, M. & Giannakos, M. (eds.). ACM Digital Library, p. 1-9 9 p. (ICPS: ACM International Conference Proceeding Series).

    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
  • 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

  • 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

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

  • Human-in-the-Loop Simulation of Cloud Services

    Bezirgiannis, N., Boer, F. S. D. & Gouw, S. D., 2017, Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. De Paoli, F., Schulte, S. & Broch Johnsen, E. (eds.). Springer, p. 143-158 16 p. (Lecture Notes in Computer Science).

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

  • Identifying students’ misconceptions on basic algorithmic concepts through flowchart analysis

    Rahimi, E., Barendsen, E. & Henze, I., 2017, Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Dagienė, V. & Hellas, A. (eds.). Cham: Springer International Publishing AG, p. 155-168 (Lecture Notes in Computer Science, Vol. 10696). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10696).

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

  • Investigating informatics teachers’ initial pedagogical content knowledge on modeling and simulation

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2017, Informatics in Schools: Focus on Learning Programming: 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings. Dagiene, V. & Hellas, A. (eds.). Cham: Springer International Publishing AG, p. 65 76 p. (Lecture Notes in Computer Science, Vol. 10696). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 10696).

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

  • Man-in-the-middle attacks evolved... but our security models didn’t

    Jonker, H., Mauw, S. & Trujillo-Rasua, R., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer Nature Switzerland AG, p. 19-25 7 p. (Lecture Notes in Computer Science; No. 10368).

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

  • Man-in-the-Middle Attacks Evolved...but Our Security Models Didn’t (Transcript of Discussion)

    Jonker, H. L., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer International Publishing AG, p. 26-34 9 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10368).

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

  • Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

    Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

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

  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

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

  • The role of Procedural Guidance in Software Engineering Education

    Passier, H., Apr 2017, Companion to the first International Conference on the Art, Science and Engineering of Programming: Brussels, Belgium — April 03 - 06, 2017 . Sartor, J. B., d'Hondt, T. & de Meuter, W. (eds.). New York, NY, USA: ACM Digital Library, 2 p. 21

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

  • Visual Support for Learning Monads

    Steenvoorden, T., Stutterheim, J., Barendsen, E. & Plasmeijer, R., 2017, Proceedings of the 8th Annual International Conference on Computer Science Education: Innovation & Technology. Global Science and Technology Forum, p. 130-139 10 p.

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

  • 2016

    ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

    Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., 2016, Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, p. 1640-1645 6 p.

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

  • Analyzing conceptual content of international informatics curricula for secondary education

    Barendsen, E. & Steenvoorden, B., 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. 14-27 (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

  • Analyzing student's software redesign strategies

    Stuurman, S., Passier, H. & Barendsen, E., 24 Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. Sheard, J. & Suero Montero, C. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 110-119 10 p.

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

  • A New Informatics Curriculum for Secondary Education in The Netherlands

    Barendsen, E., Grgurina, N. & Tolboom, J., 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. 105-117 (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

  • An implementation architecture for scenario-based simulations

    Lala, R., Jeuring, J. T. & Van Dortmont, J., Jun 2016, Intelligent Tutoring Systems: 13th International Conference, ITS 2016. Micarelli, A., Stamper, J. & Panourgia, K. (eds.). Springer, (Lecture Notes in Computer Science, Vol. 9684).

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

    File
    40 Downloads (Pure)
  • Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

    Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

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

  • 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
  • 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
  • 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

  • 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

  • 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

  • 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

  • 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
  • Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Verwer, S. & Linard, A., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 2016. Antonucci, A., Corani, G. & Campos, C. P. (eds.). PMLR, Vol. 52. p. 50-61 12 p.

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

    Open Access
  • Learning Parameters of Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A., Heijden, M. V. D. & Lucas, P. J. F., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 201. Antonucci, A., Corani, G. & de Campos, C. P. (eds.). PMLR, Vol. 52. p. 287-298 12 p.

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

    Open Access
  • Maintaining Unit Tests During Refactoring

    Passier, H. J. M., Bijlsma, A. & Bockisch, C. M., 2016, PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 18

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

  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

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

  • PrDK: Protocol Programming with Automata

    Jongmans, S-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

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

    Open Access
  • Q-learning strategies for action selection in the TESTAR automated testing tool

    Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

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

    Open Access
  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

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

    Open Access
  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce, F., Kolovos, D. & Matragkas, N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

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

    Open Access
  • The Role of Internet Service Providers in Botnet Mitigation

    Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson, F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

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

  • Towards a systematic review of automated feedback generation for programming exercises

    Keuning, H., Jeuring, J. T. & Heeren, B. J., Jul 2016, ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, p. 41-46 6 p.

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

    Open Access