Marko van Eekelen

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 proceeding › Chapter › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 2018 → 4 Sep 2018

Activity: Participating in or organising an event types › Participating in OR organising an event › Academic

Association for Computing Machinery (ACM) (Publisher)

Marko van Eekelen (Editor)

13 Nov 2018 → 14 Nov 2018

Activity: Publication peer-review and editorial work types › Editorial work book › Academic

Formal Methods at Open University

Marko van Eekelen (Speaker)

3 Sep 2018

Activity: Talk or presentation types › Invited talk › Academic

Software Engineering Dag VERSEN

Marko van Eekelen (Participant / Attendee)

5 Oct 2018

Activity: Participating in or organising an event types › Participating in OR organising an event › Academic