Research Output per year
Research Output per year
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.
- 47 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 proceeding › Conference article in proceeding › Academic › peer-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 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
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
-
Formal Methods at Open University
Marko van Eekelen (Speaker)
3 Sep 2018Activity: Talk or presentation types › Invited talk › Academic
-
Software Engineering Dag VERSEN
Marko van Eekelen (Participant / Attendee)
5 Oct 2018Activity: 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 2018Activity: Publication peer-review and editorial work types › Editorial work book › Academic
-
A research agenda for formal methods in the netherlands
Marko van Eekelen (Participant / Attendee)
3 Sep 2018 → 4 Sep 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
Computer Science Education Research Conference
Marko van Eekelen (Organiser)
13 Nov 2017 → 15 Nov 2017Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Press / Media
-
-
Dit zijn de beste Masters van ons land
14/03/18
1 Media contribution
Press/Media: Expert Comment › Popular
-
De slimme energiemeter. Iedereen aan de slimme meter?
1/10/15
1 Media contribution
Press/Media › Popular
-
ICT-Netwerk Nijmegen po weg naar VELO-CITY 2017 - Kenniswerkers betrekken bij duurzame mobiliteit
1/01/15
1 Media contribution
Press/Media › Popular
-