1993 …2020

Research output 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.

  • 44 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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

  • 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

  • Static Detection of Design Patterns in Class Diagrams

    Doorn, E. V., Stuurman, S. & van Eekelen, M., 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. 79–88 10 p.

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

  • Prizes

    Best student paper award

    Raphaela Butz (Recipient), Hommersom, Arjen (Recipient) & van Eekelen, Marko (Recipient), 2018

    Prize: Prize (including medals and awards)Academic

    Best Student Paper Award CSEDU2014

    Jens Haag (Recipient), Christian Witte (Recipient), Stefan Karsch (Recipient), Vranken, Harald (Recipient) & van Eekelen, Marko (Recipient), 2014

    Prize: Prize (including medals and awards)Academic

  • Activities

    • 3 Participating in OR organising an event
    • 2 Editorial work book
    • 1 PhD examination
    • 1 Invited talk

    Formal Methods at Open University

    Marko van Eekelen (Speaker)

    3 Sep 2018

    Activity: Talk or presentation typesInvited talkAcademic

    Software Engineering Dag VERSEN

    Marko van Eekelen (Participant / Attendee)

    5 Oct 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Association for Computing Machinery (ACM) (Publisher)

    Marko van Eekelen (Editor)

    13 Nov 201814 Nov 2018

    Activity: Publication peer-review and editorial work typesEditorial work bookAcademic

    A research agenda for formal methods in the netherlands

    Marko van Eekelen (Participant / Attendee)

    3 Sep 20184 Sep 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Computer Science Education Research Conference

    Marko van Eekelen (Organiser)

    13 Nov 201715 Nov 2017

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Press / Media

    Tunnels bewezen veiliger maken

    Marko van Eekelen

    15/10/18

    1 Media contribution

    Press/Media: ResearchPopular

    Dit zijn de beste Masters van ons land

    Marko van Eekelen

    14/03/18

    1 Media contribution

    Press/Media: Expert CommentPopular

    De slimme energiemeter. Iedereen aan de slimme meter?

    Marko van Eekelen

    1/10/15

    1 Media contribution

    Press/MediaPopular

    Voortaan Veilig in de cloud

    Marko van Eekelen

    16/12/14

    1 Media contribution

    Press/MediaPopular