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.

49 Similar Profiles

education Social Sciences

learning behavior Social Sciences

learning success Social Sciences

Model checking Engineering & Materials Science

computer science Social Sciences

Students Engineering & Materials Science

networking Social Sciences

Software engineering Engineering & Materials Science

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

Research Output 1993 2019

4 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 book series (LNCS), Vol. 11345).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

classroom

education

virtualization

new technology

experience

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

Detecting energy bugs and hotspots in control software using model checking

Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 2018, Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

Model checking

Energy utilization

Temporal logic

Application programs

Energy efficiency

Evaluation of transaction authentication methods for online banking

Kiljan, S., Vranken, H. & van Eekelen, M., Mar 2018, In : Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications. 80, p. 430-447 18 p.

Research output: Contribution to journal › Article › Academic › peer-review

Explaining the Most Probable Explanation

Butz, R., Hommersom, A. & van Eekelen, M., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science, Vol. 11142).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

Bayesian networks

Random variables

Decision making

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

Students

Activities 2017 2018

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

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

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

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