No photo of Marko Eekelen van

Marko van Eekelen

prof. dr.

19932018
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.

  • 8 Similar Profiles
Model checking Engineering & Materials Science
computer science Social Sciences
Software engineering Engineering & Materials Science
sustainable development Social Sciences
Energy utilization Engineering & Materials Science
Bayesian networks Engineering & Materials Science
Students Engineering & Materials Science
curriculum Social Sciences

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

Research Output 1993 2018

  • 4 Conference article in proceeding
  • 3 Article
  • 1 Book

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

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 proceedingConference article in proceedingAcademicpeer-review

Model checking
Energy utilization
Temporal logic
Application programs
Energy efficiency

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 proceedingConference article in proceedingAcademicpeer-review

Bayesian networks
Random variables
Decision making

How personality diversity influences team performance in student software engineering teams

Pieterse, V., Leeu, M. & van Eekelen, M. C. J. D., 1 Mar 2018, 2018 Conference on Information Communications Technology and Society (ICTAS): Proceedings. Red Hook, NY: IEEE, 6 p.

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

Software engineering
Students

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

Activities 2017 2018

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

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

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

ACM Digital Library (Publisher)

Vreda Pieterse (Editor), Marko van Eekelen (Editor), Michalis Giannakos (Editor)
13 Nov 201715 Nov 2017

Activity: Publication peer-review and editorial work typesEditorial work bookAcademic

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