No photo of Marko Eekelen van

Marko van Eekelen

prof. dr.

1993 …2019

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.

  • 43 Similar Profiles

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

Research Output

  • 7 Conference article in proceeding
  • 4 Article
  • 1 Book
  • 1 Chapter

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

  • Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

    van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). New York: acm, p. 1629-1636 8 p.

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

    Prizes

    Best student paper award

    Raphaela Butz (Recipient), Arjen Hommersom (Recipient) & M.C.J.D. van Eekelen (Recipient), 2018

    Prize: Prize (including medals and awards)Academic

    Best Student Paper Award CSEDU2014

    Jens Haag (Recipient), Christian Witte (Recipient), Stefan Karsch (Recipient), Harald Vranken (Recipient) & Marko van Eekelen (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

    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

    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

    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

    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