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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course
Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
File46 Downloads (Pure) -
What is understandable in Bayesian network explanations?
Butz, R. S., Schulz, R., Hommersom, A. J. & van Eekelen, M. C. J. D., Oct 2021.Research output: Contribution to conference › Paper › Academic
Open Access -
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
-
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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Chapter › Academic › peer-review
Open AccessFile24 Downloads (Pure)
Prizes
-
Best student paper award
Butz, Raphaela (Recipient), Hommersom, Arjen (Recipient) & van Eekelen, Marko (Recipient), 2018
Prize: Prize (including medals and awards) › Academic
-
Best Student Paper Award CSEDU2014
Haag, J. (Recipient), Witte, C. (Recipient), Karsch, S. (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 › Talk or presentation (not at a conference) › 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
-
Software Engineering Dag VERSEN
Marko van Eekelen (Participant / Attendee)
5 Oct 2018Activity: Attending or organising an event types › Attending an event › Academic
-
A research agenda for formal methods in the netherlands
Marko van Eekelen (Participant / Attendee)
3 Sep 2018 → 4 Sep 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Computer Science Education Research Conference
Marko van Eekelen (Organiser)
13 Nov 2017 → 15 Nov 2017Activity: Attending or organising an event types › 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
-