Department of Computer Science

Search results

  • Conference Article in proceeding

    Assessment of Modeling and Simulation in Secondary Computing Science Education

    Grgurina, N., Barendsen, E., Suhre, C., Zwaneveld, B. & van Veen, K., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education (WiPSCE): October 4–6, 2018, Potsdam, Germany. Mühling, A. & Cutts, Q. (eds.). New York, NY: acm, 10 p. 7

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

  • Assessment of Modeling Projects in Informatics Class

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2018, Constructionism 2018: Constructionism, Computational Thinking and Educational Innovation: conference proceedings. Dagienė, V. & Jasutė, E. (eds.). Vilnius: Vilnius University, p. 570-576 7 p.

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

  • A Structured (Java) Exercise Repository with Automated Feedback (SERF).

    Passier, H., Huizing, C., Kok, A., Kuiper, R., Bijlsma, L., Scheffers, E., Schivo, S. & Vos, T. E. J., 22 Nov 2021, CSERC '21: Proceedings of the 10th Computer Science Education Research Conference. Stikkolorum, D. & Rahimi, E. (eds.). Association for Computing Machinery (ACM), p. 68-69 2 p.

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

    Open Access

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Autism: Implications for Inclusive Education with respect to Software Engineering

    Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 15-25 11 p.

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

    Open Access
    File
    399 Downloads (Pure)

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • 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 proceeding › Conference Article in proceeding › Academic › peer-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., McLaren, B., Hastings, P. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

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

    Open Access
    File
    62 Downloads (Pure)

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Beautiful JavaScript: How to guide students to create good and elegant code

    Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 5 Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagiené, V. (eds.). acm, p. 65-76 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Branching Pomsets for Choreographies

    Edixhoven, L., Jongmans, S-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22. C. A., C. D. G. & L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 365. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    90 Downloads (Pure)

  • Can Math Be a Bottleneck? Exploring the Mathematics Perceptions of Computer Science Students

    Alpár, G., Yeni, S., Aivaloglou, E. & Hermans, F., 11 May 2022, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022). Kallel, I., Kammoun, H. & Hsairi, L. (eds.). IEEE, p. 217-225 9 p.

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

  • Caos: A Reusable Scala Web Animator of Operational Semantics

    Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).

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

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    101 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 proceeding › Conference Article in proceeding › Academic

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • CLIPCAM: A Simple Baseline For Zero-Shot Text-Guided Object And Action Localization

    Hsia, H-A., Lin, C-H., Kung, B-H., Chen, J-T., Tan, D. S., Chen, J-C. & Hua, K-L., May 2022, 2022 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2022 - Proceedings. IEEE, p. 4453-4457 5 p.

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

  • 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

    Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

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

  • Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    Kappé, T. W. J., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    170 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Conditional Independence for Iterated Belief Revision

    Kern-Isberner, G., Heyninck, J. L. A. & Beierle, C., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). L. D. R. (ed.). International Joint Conferences on Artificial Intelligence, p. 2690-2696 7 p.

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

    Open Access

  • Constraint Formalization for Automated Assessment of Enterprise Models

    Joosten, S. M. M., Roubtsova, E. E. & Haddouchi, E. M., 25 Apr 2022, Proceedings of the 24th International Conference on Enterprise Information Systems . Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 430-441 12 p.

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

    Open Access
    File
    37 Downloads (Pure)

  • 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    80 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    252 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. Margaria, T. & Steffen, B. (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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 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., 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    476 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

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

  • 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