No photo of Marko Eekelen van

Marko van Eekelen

prof. dr.

 https://orcid.org/0000-0002-8012-8690
1993 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Radboud University Nijmegen

Fingerprint

Dive into the research topics where Marko van Eekelen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course

    Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 6 p.

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

    File
    18 Downloads (Pure)

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

  • Verifying OpenJDK's LinkedList using KeY

    Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 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. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

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

    Open Access

  • A virtual classroom for cybersecurity education

    Haag, J., Vranken, H. & van Eekelen, M., 27 Apr 2019, Transactions on Edutainment XV. Pan, Z., Cheok, A. D., Müller, W., Zhang, M., El Rhalibi, A. & Kifayat, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 173-208 36 p. (Lecture Notes in Computer Science, Vol. 11345).

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

    Open Access
    File
    5 Downloads (Pure)

  • Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

    Schoolderman, M., Smetsers, S. & van Eekelen, M. C. J. D., Nov 2019, CSERC '19: The 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 50-57 8 p.

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

View all 41 research outputs
View all 22 activities
View all 14 press / media