- 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 231
-
Verifying OpenJDK’s LinkedList using KeY Hiep, H.-D.; Maathuis, O.; Bian, J.; Boer, F. de; Eekelen, M. van ; Gouw, S de2020, Article in monograph or in proceedings (Biere, A. (ed.), 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, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234) -
Rubik's Kubus. De wiskunde achter de helse puzzel Kivits, N.; Eekelen, M. van2020, Article / Letter to editor (Kijk, vol. 2020, iss. 5, (2020), pp. 24-29)
-
File Fragmentation in the Wild: a Privacy-Friendly Approach Meer, V. van der; Jonker, H.; Dols, G.; Beek, H. ter; Bos, J.; Eekelen, M. van2020, Article in monograph or in proceedings (WIFS'19: IEEE Workshop on Information Forensics and Security, Delft, The Netherlands, 9-12- December, pp. 1-6) -
Skylines for Symbolic Energy Consumption Analysis Klinik, M. ; Gastel, B.E. van; Kop, C.L.M.; Eekelen, M.C.J.D. van2020, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112)
-
Source code for the SECA symbolic execution engine Klinik, M.A.A. ; Gastel, Bernard van; Kop, C.L.M.; Eekelen, M.C.J.D. van2020, Dataset
-
Explaining Customer Activation with Deep Attention models Weterings, K; Bromuri, S.; Eekelen, M. van2019, Article in monograph or in proceedings (Johannesson, P. (ed.), Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019, pp. 1-15)
-
A Virtual Class Room for Cybersecurity Education Haag, J.; Vranken, H.P.E.; Eekelen, M. van2019, Part of book or chapter of book (Pan, Z. (ed.), Transactions on Edutainment XV, pp. 173-208)
-
SOA and the Button Problem Jongmans, S.-S.; Lamers, A.; Eekelen, M. van2019, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706)
-
Saving the World: A long and windy road towards sustainability and formal verification in practice 2019, Part of book or chapter of book (Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 31-34) -
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? Schoolderman, M.R.; Smetsers, J.E.W. ; Eekelen, M. van2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57)
-
Static Detection of Design Patterns in Class Diagrams Doorn, E. van; Stuurman, S.; Eekelen, M. van2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 79-88)
-
ECA: Energy Consumption Analysis of software controlled system 2018, Article / Letter to editor (Dagstuhl Reports, vol. 7, iss. 7, (2018), pp. 84)
-
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)
-
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)
-
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)
-
Improved Architectures/Deployments with Elmo Lamers, A.; Eekelen, M. van ; Jongmans, S.-S.2018, Article in monograph or in proceedings (Liu, X. (ed.), Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, pp. 419-424)
-
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)
-
Cultural Diversity and the Performance of Student Software Engineering Teams Pieterse, V.; Eekelen, M.C.J.D. van2018, Article in monograph or in proceedings (Kabanda, S. (ed.), SACLA 2018: 47th Annual Conference of the Southern African Computing Lecturers' Association Krystal Beach Hotel, Gordon's Bay Western Cape, South Africa, June 18-20, 2018, pp. 120-134)
-
Explaining the Most Probable Explanation Butz, R.; Hommersom, A.J. ; Eekelen, M.C.J.D. van2018, Article in monograph or in proceedings (Ciucci, D. (ed.), Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018. Proceedings, pp. 50-63)
-
-
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)
-
Analysing energy consumption by software Eekelen, M.C.J.D. van ; Gastel, B.E. van2016, External research report
-
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)
-
A Lightweight Method for Analysing Performance Dependencies Between Services Lamers, A.; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (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)
-
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)
-
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers Eekelen, M.C.J.D. van ; Dal Lago, U.2016, Article in monograph or in proceedings (Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers)
-
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, Article in monograph or in proceedings (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
-
Which Are Harder? Soft Skills or Hard Skills? Pieterse, V.; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (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)
-
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)
-
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)
-
Using Dependent Types to Define Energy Augmented Semantics of Programs Gastel, B.E. van; Kersten, Rody ; Eekelen, M.C.J.D. van2016, Article in monograph or in proceedings (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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
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)
-
De slimme energiemeter Eekelen, M.C.J.D. van ; Honig, E.2015, Article / Letter to editor (Consumentengids, vol. 3, (2015), pp. 52-53)
-
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, iss. 3, (2015), pp. 363-534)
-
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)
-
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)
-
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)
-
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
Now showing items 1-50 of 231
Search Repository
Browse
-
All of Repository
Upload Full Text