No photo of Marko Eekelen van
1993 …2020

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.
  • 12 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • 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

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

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

  • SOA and the Button Problem

    Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

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

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