- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Eekelen, M.C.J.D. van"
Now showing items 1-50 of 218
-
ECA: Energy Consumption Analysis of software controlled system 2018, Article / Letter to editor (Dagstuhl Reports, vol. 7, iss. 7, (2018), pp. 84) -
Evaluation of transaction authentication methods for online banking Kiljan, S.; Vranken, H.; Eekelen, M.C.J.D. van2018, Article / Letter to editor (Future Generation Computer Systems, vol. 80, (2018), pp. 430-447) -
Detecting energy bugs and hotspots in control software using model checking Gastel, P. van; Gastel, B.E. van; Eekelen, M.C.J.D. van2018, Article in monograph or in proceedings (Marr, S. (ed.), Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018, pp. 93-98)
-
How personality diversity influences team performance in student software engineering teams Leeu, M.; Pieterse, V.; Eekelen, M.C.J.D. van2018, Article in monograph or in proceedings (Millham, R. (ed.), ICTAS: 2018 Conference on Information Communications Technology and Society, 8-9 March 2018 Durban, South Africa. Proceedings, pp. 1-6)
-
Applying Deep Learning on Packet Flows for Botnet Detection Roosmalen, J. van; Vranken, H.P.E.; Eekelen, M.C.J.D. van2018, Article in monograph or in proceedings (Haddad, H.H. (ed.), SAC18: The 17th edition of the Computer Security track at the 33rd ACM Symposium on Applied Computing, 9-13 April 2018, Pau, France, pp. 1629-1637) -
Explaining the Most Probable Explanation Butz, R.; Hommersom, A. ; Eekelen, M.C.J.D. van2018, Part of book or chapter of book (Ciucci, D. (ed.), Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018. Proceedings, pp. 50-63)
-
Polynomial solutions of algebraic dierence equations and homogeneous symmetric polynomials 2018, External research report
-
Tunnels bewezen veiliger maken Mols, B.; Eekelen, M.C.J.D. van2018, Article / Letter to editor (I/O Magazine, vol. 15, iss. 3, (2018), pp. 20-21)
-
-
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems Gastel, B. van; Eekelen, M.C.J.D. van2017, Article / Letter to editor (Electronic Proceedings in Theoretical Computer Science, vol. 248, (2017), pp. 24-37)
-
A Survey of Authentication and Communications Security in Online Banking Kiljan, S.; Simoens, K.; Cock, D.D.; Eekelen, M.C.J.D. van ; Vranken, H.P.E.2017, Article / Letter to editor (ACM Computing Surveys, vol. 49, iss. 4, (2017), pp. 1-35, article 61)
-
CSERC '17: The 6th Computer Science Education Research Conference Helsinki, Finland — November 14 - 14, 2017 Pieterse, V.; Eekelen, M.C.J.D. van ; Gianakos, M.2017, Book (monograph)
-
De Wiskunde van Rubik’s Kubus Soesman, L.; Eekelen, M.C.J.D. van ; Houtum, B. van2017, Book (monograph)
-
User-friendly Manual Transfer of Authenticated Online Banking Transaction Data - A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme Kiljan, S.; Vranken, H.P.E.; Eekelen, M.C.J.D. van2016, Part of book or chapter of book (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
-
Using Dependent Types to Define Energy Augmented Semantics of Programs Gastel, B.E. van; Kersten, Rody; Eekelen, M.C.J.D. van2016, Part of book or chapter of book (Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39)
-
Which Are Harder? Soft Skills or Hard Skills? Pieterse, V.; Eekelen, M.C.J.D. van2016, Part of book or chapter of book (Gruner, S. (ed.), ICT Education: 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers, pp. 160-167)
-
Towards a virtual bank for evaluating security aspects with focus on user behavior Kiljan, S.; Eekelen, M.C.J.D. van ; Vranken, H.P.E.2016, Article in monograph or in proceedings (Cavoukian, A. (ed.), SAI Computing Conference 2016 : proceedings of the 2016 SAI Computing Conference 2016, 13-15 July, 2016, London, United Kingdom, pp. 1068-1075)
-
CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa Pieterse, V.; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa, pp. 1-52)
-
A Lightweight Method for Analysing Performance Dependencies Between Services Lamers, A.; Eekelen, M.C.J.D. van2016, Part of book or chapter of book (Celesti, A.; Leitner, P. (ed.), Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, pp. 93-110)
-
Preface: RAC 2016 - Resource Aware Computing Eekelen, M.C.J.D. van ; Eder, K.2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 330, (2016), pp. 1-3)
-
Analysing energy consumption by software Eekelen, M.C.J.D. van ; Gastel, B.E. van2016, External research report
-
RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016 Eekelen, M.C.J.D. van ; Eder, K.2016, Article in monograph or in proceedings (RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016, pp. 1-46)
-
An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education Haag, J.; Karsch, S.; Vranken, H.P.E.; Eekelen, M.C.J.D. van2015, Part of book or chapter of book (Zvacek, S.; Restivo, M.; Uhomoibhi, J. (ed.), Computer Supported Education : 6th International Conference, CSEDU 2014 Barcelona, Spain, April 1–3, 2014, Revised Selected Papers, pp. 84-98)
-
Derivation and Inference of Higher-Order Strictness Types 2015, Article / Letter to editor (Computer Languages, Systems & Structures, vol. 44, iss. Part B, (2015), pp. 166-180)
-
Inspired 3 = Art * Personal * Science = 4 * PRM Eekelen, M.C.J.D. van ; Dirven, L.2015, Part of book or chapter of book (Geuvers, H.; Messink, N.; Wiedijk, F. (ed.), Liber Amicorum : in honor of Henk Barendregt on the occasion of his valedictory lecture October 1, 2015, pp. 26-27)
-
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 Shkaravska, O. ; Rocca, S.R. Della; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, vol. 111, iss. 3, (2015), pp. 363-364)
-
Radboud Universiteit op weg naar VELO-CITY 2017 : Kenniswerkers betrekken bij duurzame mobiliteit 2015, Article / Letter to editor (Mercator Noviotech Magazine, vol. 3, iss. 1, (2015), pp. 18-19)
-
Measuring Dependency Freshness in Software Systems Cox, J.; Bouwers, E.; Eekelen, M.C.J.D. van ; Visser, J.2015, Article in monograph or in proceedings (Bertolino, A. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th International Conference on Software Engineering, 16-24 May 2015, Florence, Italy. Proceedings, pp. 109-118)
-
Improving Student Group Work with Collaboration Patterns: A Case Study Koppe, C.; Eekelen, M.C.J.D. van ; Hoppenbrouwers, S.2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May, 2015, Firenze, Italy. Proceedings, pp. 303-306)
-
Formalizing Bialgebraic Semantics in PVS 6.0 Smetsers, S. ; Madlener, K.; Eekelen, M.C.J.D. van2015, Part of book or chapter of book (Chiba, Y. (ed.), WPTE 2015 : Proceedings of the Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation, affiliated with RDP 2015. Warsaw, Poland, 2015, pp. 47-61)
-
De slimme energiemeter Eekelen, M.C.J.D. van ; Honig, E.2015, Article / Letter to editor (Consumentengids, vol. 3, (2015), pp. 52-53)
-
ICT-Netwerk Nijmegen op weg naar VELO-CITY 2017 - Kenniswerkers betrekken bij duurzame mobiliteit 2015, Article / Letter to editor (Het Ondernemersbelang van Nijmegen E.O., vol. 2015, iss. 01, (2015), pp. 10-11)
-
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 and 2011 Shkaravska, O. ; Rocca, S.R.D.; Eekelen, M.C.J.D. van2015, Article / Letter to editor (Science of Computer Programming, vol. 111, Part, (2015), pp. 363-557)
-
Beveiliging laadpalen laat te wensen over 2014, Contribution for newspaper or weekly magazine (Reformatorisch Dagblad, 9 april 2014)
-
Tecnologia da informacao e comunicacao para recarga intelligente Portela, C. Montes; Geldtmeijer, D.; Slootweg, H.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Electricidade Moderna, vol. 2014, iss. Maio, (2014), pp. 36-43)
-
Slim net zet airco wat lager Wilschut, M.; Eekelen, M.C.J.D. van2014, Contribution for newspaper or weekly magazine (Trouw, 9 april 2014, pp. 12)
-
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists 2014, Part of book or chapter of book (Lago, U. Dal; Peña, R. (ed.), Foundational and Practical Aspects of Resource Analysis, pp. 143-159)
-
Technical report: Security of Online Banking Systems Kiljan, S.; Simoens, K.; Cock, D. De; Eekelen, M.C.J.D. van ; Vranken, H.P.E.2014, External research report
-
Mislukken ict-projecten bij overheid schokkend Hofland, D.; Eekelen, M.C.J.D. van2014, Contribution for newspaper or weekly magazine (Reformatorisch Dagblad, 17 oktober 2014)
-
Voortaan Veilig in de cloud Fritschy, Y.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (New Scientist, vol. 2014, iss. December, (2014), pp. 16-17)
-
ResAna: a resource analysis toolset for (real-time) JAVA Kersten, R.W.J. ; Gastel, B.E. van; Shkaravska, O. ; Montenegro, M.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Concurrency and Computation: Practice and Experience, vol. 26, iss. 14, (2014), pp. 2432-2455)
-
What You Enter Is What You Sign: Input Integrity in an Online Banking Environment Kiljan, S.; Vranken, H.P.E.; Eekelen, M.C.J.D. van2014, Article in monograph or in proceedings (Bella, G. (ed.), STAST 2014 : 4th Workshop on Socio-Technical Aspects in Security and Trust : Proceedings, pp. 40-47)
-
Univariate polynomial solutions of algebraic difference equations 2014, Article / Letter to editor (Journal of Symbolic Computation, vol. 60, (2014), pp. 15-28)
-
Verificatie en validatie van veiligheidskritieke systemen 2014, Article / Letter to editor (Bits & Chips (Nijmegen), vol. 2014, iss. 4, (2014), pp. 42-45)
-
Elektrische laadpaal eenvoudig te kraken 2014, Contribution for newspaper or weekly magazine (Nederlands Dagblad, 9 april 2014)
-
Internet Explorer? Nu even niet Beeten, M. van; Eekelen, M.C.J.D. van2014, Contribution for newspaper or weekly magazine (Algemeen Dagblad, 30 april 2014, pp. 10)
-
Laadpaal kan gekraakt worden, en misbruikt Wilschut, M.; Eekelen, M.C.J.D. van2014, Contribution for newspaper or weekly magazine (Trouw, 9 april 2014, pp. 6)
-
Evaluation of Students' Learning Behaviour and Success as a Prerequisite for Modernizing Practical on Campus Networking Courses in Higher Education Haag, J.; Witte, C.; Karsch, S.; Vranken, H.; Eekelen, M.C.J.D. van2014, Article / Letter to editor (Journal of Higher Education / Yüksekögretim Dergisi, vol. 4, iss. 2, (2014), pp. 83-90)
-
An exercise assistant for practical networking courses Haag, J.; Witte, C.; Karsch, S.; Vranken, H.P.E.; Eekelen, M.C.J.D. van2014, Part of book or chapter of book (Zvacek, S. (ed.), CSEDU 2014 : Proceedings of the 6th International Conference on Computer Supported Education, Barcelona, Spain, pp. 97-104)
Now showing items 1-50 of 218
Search Repository
Browse
-
All of Repository
Upload Full Text