image005

List of publications of Marko van Eekelen

This is a list of (co-)authored publications of Prof.dr. M.C.J.D. van Eekelen.

Citations:

My work is cited reasonably often. I was somewhere in the middle of Citeseer’s list of the worlds 10.000 most cited computer science authors.  This made me in the Nijmegen Computer Science Department after Jan-Willem Klop, Henk Barendregt, Frits Vaandrager, Bart Jacobs and Rinus Plasmeijer the 6th most cited author. In the Netherlands I was 54th according to Frits Vaandrager’s list.

I have a ResearchGate profile, an Academia profile and a MatchSciNet profile. My Erdos-number is 4. You can find bibtex references below or on my DBLP page. I have over 100 publications on my DBLP page. Narcis - National Academic Research and Collaborations Information System lists 225 results. My H-index is 25 according to my Google Scholar profile. I am listed in the Mathematics Genealogy Project as scientific descendant of my promotores Henk Barendregt and Rinus Plasmeijer. The project lists 13 graduated Ph.D. students under my (shared) supervision.

This list contains academically reviewed papers, contributions to books and published opinion articles. It is ordered by year of appearance. Attached at the end of this list of papers you can find a list of (contributions to) technical reports also ordered by year of appearance. Most papers are written in English. Many items include a reference to a (gnu zipped) PostScript file and an abstract (ASCII). If you encounter problems, please send an e-mail to marko@cs.ru.nl. Some publications are not available electronically. If you like to have a copy by surface-mail, just send me an e-mail.

 

I started my scientific career on September 15, 1981 in Nijmegen at KUN/Radboud University. On January 1, 2009 I was appointed to a Chair in Software Technology at the Open University. On June 1

The 292 references on this page are divided into references to

 

- 138 academic publications (18 Books/Monographs/Edited Proceedings/Special Journal issues, 21 Journal articles, 94 Scientific Papers, and 6 Peer reviewed contributions to academic books).

and

- 154 professional (65 Professional publications/interviews/opinion articles, and 89 Technical Reports) publications. Published in 2020 is bold. To appear, 2021 or later, is in italic.

 

At a certain point I have started to include author's versions (i.e. versions that were sent to the publisher). You can find many full-texts of my publications via Radboud Repository.

WrittenMonographs/EditedProceedings/EditedSpecialJournalIssues:

18.       Vreda Pieterse, Marko van Eekelen and Michalis Gianakos (Eds.). Proceedings CSERC 2017, November 13 and 14, 2017, Computer Science Education Research Conference (CSERC2017). Helsinki, Finland. ACM In-Cooperation with SIGCSE. ACM Digital Library. 2018.

17.        Leroy Soesman, Marko van Eekelen en Bernard van Houtum. De wiskunde van Rubik's kubus. Zebra-reeks nr. 50. Second Edition, November 2017. ISBN 978-90-5041-165-3. Epsilon.

16.        Marko van Eekelen and Kerstin Eder (Eds.). Proceedings of Resource Aware Computing (RAC2016) at ETAPS, Eindhoven. Electronic Lecture Notes in Theoretical Computer Science Volume 330 2016, 46 pages.

15.        Vreda Pieterse and Marko van Eekelen (Eds.). Proceedings Computer Science Education Research Conference 2016 (CSERC '16). July 5 and 6, 2016. Cullinan, South Africa. Co-located with SACLA 2016. ACM In-Cooperation with SIGCSE. ACM Digital Library. 2016, 52 pages.

14.        Marko van Eekelen and Ugo Dal Lago (Eds.). Foundational and Practical Aspects of Resource Analysis, 4th international workshop (FOPARA) 2015. Revised selected papers. Co-located with DICE 2015 at ETAPS, London. LNCS 9964. Springer International Publishing AG 2016, 127 pages.

13.        Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen (Guest Eds.). Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Science of Computer Programming. Vol. 111. Part 3, pp 363-557. November 2015, ISSN 0167-6423. Elsevier, 2015.

12.        Marko van Eekelen, Erik Barendsen, Peter Sloep and Gerrit van der Veer (Eds.). Proceedings CSERC '13. April 4 and 5, 2013. Computer Science Education Research Conference 2013. Arnhem, The Netherlands. ACM In-Cooperation with SIGCSE. 109 pages. ACM Digital Library. 2013.

11.        Gerrit van der Veer, Peter Sloep, Marko van Eekelen, Marcin Sikorski (Eds.). Proceedings CSERC '12. September 10 and 11, 2012. Computer Science Education Research Conference 2012. Wroclaw, Poland. ACM In-Cooperation. ACM Digital Library 2012.

10.        Ricardo Peña, Marko van Eekelen and Olha Shkaravska (Eds.). Foundational and Practical Aspects of Resource Analysis (FOPARA 2011). Proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis (2011). Madrid. Spain. Lecture Notes in Computer Science. Volume 7177. 143 pages. August 2012, ISBN 978-3-642-32494-9, Springer Verlag, 2012.

9.           Patricia Johann, Peter Achten, Marko van Eekelen, Pieter Koopman, Marco T. Morazán. (Eds.) Higher Order and Symbolic Computing. Volume 23, nr. 2 and 4. Special Issue of Higher Order and Symbolic Computing dedicated to TFP2007 and TFP2008. Springer Verlag. 2012.

8.           Marko van Eekelen, Herman Geuvers, Julien Schmalz, Freek Wiedijk (Eds.). Interactive Theorem Proving. Proceedings of the Second International Conference on Interactive Theorem Proving (ITP2011). Berg en Dal. The Netherlands. Lecture Notes in Computer Science. Volume 6898. 382 pages. Springer Verlag. 2011.

7.           Gerrit van der Veer, Peter Sloep, Marko van Eekelen (Eds.). Proceedings of the Computer Science Education Research Conference (CSERC’11). April 7 and 8, 2011. Heerlen. ACM In-cooperation. The Netherlands. ISBN 978 90 358 1987 0. 95 pages. ACM Digital Library. 2011.

6.           Olha Shkaravska and Marko van Eekelen (2010) (Eds.) Foundational and Practical Aspects of Resource Analysis. Proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2009). November 2009. Eindhoven. Workshop of Formal Methods Europe 2009. Lecture Notes in Computer Science. Volume 6324. 170 pages. Springer Verlag. Berlin. ISBN: 978-3-642-15330-3. 2010.

5.            Marko van Eekelen (2010), 'Leven Lang Computeren, Leven Lang Foeteren? Er valt nog veel te leren!'', 5 maart 2010. Oratie Open Universiteit. 36 pages. Datawyse Maastricht. ISBN: 978-90-5291-108-3. abstract. pdf. video (in Dutch).

4.            Marko van Eekelen (2007) (Ed.) Trends in Functional Programming Volume 6. Selected papers from the Sixth Symposium on Trends in Functional Programming (TFP 2005).  Intellect Books.  ISBN 9781841501765. 2007. bibtex. tableofcontentwithbibtexs.

3.            Sleep, M.R., M.J. Plasmeijer and M.C.J.D. van Eekelen. (1993) (Eds.) Term  Graph Rewriting - Theory and Practice, John Wiley & Sons, Chichester , ISBN 0-47193-567-0. 

2.            Plasmeijer, M.J. and M.C.J.D. van Eekelen (1993), Functional  Programming and Parallel Graph Rewriting, Addison Wesley, Reading MA , ISBN 0-201-41663-8. bibtex. Not in press anymore but available via the Amazon Functional Programming Bestsellers list. And available as e-book.

1.            Eekelen, M.C.J.D. van (1988), Parallel  graph rewriting, some contributions to its theory, its  implementation and its application, Promotor Henk Barendregt. Co-promotor Rinus Plasmeijer. Ph.D. Thesis, University of Nijmegen. abstract

 

Journal articles:

21.        Olha Shkaravska and Marko van Eekelen. "Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials", Elsevier Journal of Symbolic Computing, Volume 103, March-April 2021, pages 22-45, 2021, Open Access, Science Direct Elsevier, 2021.

20.        Jens Haag, Harald Vranken and Marko van Eekelen. A Virtual Class Room for Cybersecurity Education. Special Issue on Cybersecurity Teaching and Learning. Transactions on Edutainment XV. Lecture Notes in Computer Science Volume 11345. Springer Verlag. pp 173-208, 2019.

19.        Sven Kiljan, Harald Vranken, Marko van Eekelen. Evaluation of transaction authentication methods for online banking. Special Issue on Security, Privacy and Trust of the User-Centric Solutions, Future Generation Computer Systems. Volume 80, March 2018, Pages 430-447. Elsevier, 2018.

18.        Sven Kiljan, Koen Simoens, Danny de Cock, Marko van Eekelen, Harald Vranken. A survey of authentication and communications security in online banking. ACM Computing Surveys (CSUR), ACM Comput. Surv. 49(4): 61:1-61:35 ().

17.        Sjaak Smetsers and Marko van Eekelen. Derivation and Inference of Higher-Order Strictness Types.In Computer Languages, Systems & Structures. Vol. 44, Part B, December 2015, pp 165-180. Elsevier. online available.

16.        Haag, J., Witte, h., Karsch, S., Vranken H. and van Eekelen, M. Evaluation of students' learning behaviour and success as a Prerequisite for Modernizing Practical on Campus Networking Courses in Higher Education. In Yunus Söylet, Recep Öztürk (Eds). Journal of Higher Education. 2014;4(2):83-90. Abstract (Özet) also available in Turkish. doi:10.2399.

15.        R.W.J. Kersten, B.E. van Gastel,O. Shkaravska, M. Montenegro and M.C.J.D. van Eekelen. ResAna: A Resource Analysis Toolset for (Real-Time) Java. Concurrency and Computation: Practice and Experience. John Wiley & Sons. Vol 26. Issue 14. pp 2432-2455. September 2014.

14.        Olha Shkaravska and Marko van Eekelen. Univariate Polynomial Solutions of Algebraic Difference Equations. Journal of Symbolic Computation. Elsevier. Journal of Symbolic Computation 01/2014, 60:15–28. 2014. bibtex.

13.        Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. EditorArrow: An arrow-based model for editor-based programming. doi:10.1017/S0956796812000421. Journal of Functional Programming, volume 23, part 02, pp. 185-224, March 2013.

12.        Peter Achten, Marko van Eekelen, Pieter Koopman, Marco T. Morazán. Trends in Trends in Functional Programming. 1999/2000 vs 2007/2008. In Higher Order and Symbolic Computing. Volume 23, Number 4. pp 465-487. June 2011, Springer Verlag. Online First. (The original publication is available at www.springerlink.com).

11.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. In Science of Computer Programming Volume 76. Issue 2. pp. 82-99. Selected papers from the workshops on Formal Methods for Industrial Critical Systems - FMICS 2007 + FMICS 2008. Elsevier. bibtex, pdf. February 2011.

10.         Luc Rutten and Marko van Eekelen. Efficient and Formally Proven Reduction of Large Integers by Small Moduli. In ACM Transactions on Mathematical Software. Vol. 37, No. 2, Article 16, ACM Press. April 2010. © ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Transactions on Mathematical Software, {VOL 37, ISS2,April 2010} .

9.           Petra Heck. Martijn Klabbers, Marko van Eekelen. A Software Product Certification Model. OPEN ACCESS. In Software Quality Journal. Springer Verlag. Volume 18, nr 1, March 2010, pp 37-55. bibtex, pdf.

8.           Olha Shkaravska, Marko van Eekelen, Ron van Kesteren. Polynomial Size Analysis of First-Order Shapely Functions. In Logical Methods in Computer Science Vol 5, issue 2, paper 10. Special Issue with Selected Papers from TLCA 2007. pp 1-35. 2009. bibtex, pdf

7.            Ron van Kesteren, Olha Shkaravska, Marko van Eekelen, Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Revised Selected Papers of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007. Electronic Notes in Theoretical Computer Science. (ENTCS). Volume 216C. pp. 45-63. Elsevier, 2008. bibtex. pdf.

6.            Marko van Eekelen, Piet Geelen, Adriaan de Groot, Sebastian Kügler, Donna Metzlar, Jasper Stein. CodeYard: ict-onderwijs in de spirit van Open Source. Reviewed Artikel in TINFON, Tijdschrift voor Informatica Onderwijs. Jaargang 15. Nummer 4. pp 96-101. December 2006. bibtex, pdf.

5.            Rinus Plasmeijer and Marko van Eekelen (1999), Keep it Clean: A unique approach to functional programming, ACM Sigplan Notices, Volume 34 (6), pp 23-31, ACM Press, June 1999. bibtex.

4.            Hoon, W.A.C.A.J. de, L.M.W.J. Rutten and M.C.J.D. van Eekelen (1995), Implementing  a  Functional Spreadsheet in CLEAN, In Journal of Functional Programming 5:3, pp. 383-414. abstract. bibtex.

3.            Koopman, P.W.M., M.C.J.D. van Eekelen and M.J. Plasmeijer (1995), Operational  machine  specification in a functional programming language, In Software-Practice  and Experience 25:5, pp. 463-499. abstract. bibtex.

2.            Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1988), LEAN:  An intermediate language based on graph rewriting, In Parallel Computing 9, pp. 163-177, North Holland abstract. bibtex.

1.            Barendregt, H.P., M.C.J.D. van Eekelen, P.H. Hartel, L.O. Hertzberger, M.J. Plasmeijer  and W.G. Vree (1987), The  Dutch parallel Reduction Machine Project, In Future Generations Computer Systems 3, pp. 261-270. Proceedings of the International Conference on Frontiers of Computing (Amsterdam, December 1987). abstract.

 

Scientific Peer Reviewed Publications.

94.         Schoolderman, Jonathan Moerman, Sjaak Smetsers and Marko van Eekelen. Efficient Verification of Optimized Code: Correct High-Speed X25519. NASA Formal Methods Symposium, NFM 2021, To appear in 2021).

93.        Xi Chen, Stefano Bromuri and Marko van Eekelen, 6th International Conference on Machine Learning Technologies (ICMLT 2021) Jeju Island, South Korea, ASM Proceedings, South Korea, April 23-25, 2021. 

92.        Vreda Pieterse, Sylvia Stuurman and Marko van Eekelen, Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course. SIGCSE Technical Symposium 2021, ACM Digital Library, to appear in 2021.

91.        Koen Weterings, Stefano Bromuri, Marko van Eekelen. Interpreting Attention Models: LSTM vs. CNN. A case study on customer activation. 8 pages. Thirty-seventh International Conference on Machine Learning (ICMLA 2020). To appear in 2021.

90.        Markus Klinik, Bernard van Gastel, Cynthia Kop and Marko Van Eekelen, Skylines for Symbolic Energy Consumption Analysis, In Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20) Vienna Austria, September 2-3, 2020, LNCS 12327, Springer Verlag, 2020.

89.        V. van der Meer, H. Jonker, G. Dols, H. van Beek, J. van den Bos and M. van Eekelen. File Fragmentation in the Wild: a Privacy-Friendly Approach. In Proc. 11th IEEE International Workshop on Information Forensics and Security (WIFS’19). pp 1-6, IEEE, March 2020.

88.       Ed van Doorn, Sylvia Stuurman, Marko van Eekelen, Static Detection of Design Patterns in Class Diagrams, CSERC2019: Proceedings 8th Computer Science Education Research Conference. CSERC'2019, November 2019, pp 79-88, ACM Digital Library, 2020.https://doi.org/10.1145/3375258.3375268

87.       Marc Schoolderman, Sjaak Smetsers, Marko van Eekelen. Is Deductive Program Verification Mature Enough to be Taught to Software Engineers. CSERC '19: Proceedings 8th Computer Science Education Research Conference. CSERC'2019, November 2019, pp 50-57, ACM Digital library 2020. https://doi.org/10.1145/3375258.3375265.

86.       Hans-Dieter Hiep, Olaf Maathuis, Jinting Bian, Frank De Boer, Marko Van Eekelen and Stijn De Gouw. Verifying OpenJDK’s LinkedList using KeY. TACAS 2020. CoRR, abs/1911.04195, 2019, http://arxiv.org/abs/1911.04195, arXiv.

85.        Jongmans Sung-Shik, Lamers Arjan, Eekelen, Marko van. Service-Oriented Architecture and The Button Problem, 23rd International Symposium on Formal Methods - 3rd World Congress on Formal methods (FM2019), Porto, Portugal, Springer LNCS 11800, pp 689-706, 2019.

84.       Koen Weterings, Stefano Bromuri and Marko C. J. D. van Eekelen, Explaining Customer activation with Deep Attention Models, in Jan vom Brocke, Shirley Gregor and Oliver Muller (Eds), Proceedings of the 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019, Stockholm and Uppsala, Sweden, 15 pages, June 8-14, 2019.

83.        Lamers Arjan, van Eekelen Marko, Jongmans Sung-Shik. (2019) Improved Architectures/Deployments with Elmo. In: Liu X. et al. (eds) Service-Oriented Computing – ICSOC 2018 Workshops. ICSOC 2018. Lecture Notes in Computer Science, vol 11434. https://doi.org/10.1007/978-3-030-17642-6_36, Springer, Cham, April 2019.

82.        Vreda Pieterse and Marko Van Eekelen. Cultural Diversity and the Performance of Student Software Engineering Teams. Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers' Association (SACLA), Salah Kabanda, Hussein Suleman and Stephan Jamieson (Eds), Gordon's Bay, South Africa, June 18–20, pp 120-134, SACLA 2018.

81.        Raphaela Butz, Arjen Hommersom and Marko van Eekelen. Explaining the most probable explanation. Proceedings of the 12th international conference on Scalable Uncertainty Management (SUM 2018), Milan, Springer Lecture Notes in Artificial Intelligence, pp 50-63, October 2018. This paper received the SUM2018 Best Student Paper Award.

80.        Pascal van Gastel, Bernard van Gastel and Marko Van Eekelen. Detecting energy bugs and hotspots in control software using model checking, Programming Along the System Stack (PASS2018), Nice, France, Poceedings Programming, pp 93-98, ACM Digital Library, April 2018.

79.        Jos van Roosmalen, Harald Vranken en Marko van Eekelen. Applying Deep Learning on Packet Flows for Botnet Detection. Proceedings of the 17th edition of the Computer Security track of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC2018), Pau, France, April 2018, pp 1629-1636, ACM Digital Library. 2018.

78.        Vreda Pieterse, Mpho Leeu, and Marko Van Eekelen. How personality diversity influences team performance in student software engineering teams. Proceedings of the 2nd International Conference on ICT and Society, ICTAS 2018, Durban, South Africa, IEEEXplore, DOI: 10.1109/ICTAS.2018.8368749, March 2018.

77.        Bernard van Gastel, and Marko van Eekelen, Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. In: G. Bonfante and G. Moser (Eds.): 8th Workshop on Developments in Implicit Computational complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FOPARA 2017). EPTCS 248, 2017, pp 24-37, 2017. doi:10.4204/EPTCS.248.7.

76.        Vreda Pieterse, Marko van Eekelen. Which are harder? Soft skills or hard skills? 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers Editors: Gruner, Stefan (Ed.), Communications in Computer and Information Science 642, pp 160-167, Springer-Verlag 2016.

75.        Bernard van Gastel, Rody Kersten, and Marko van Eekelen, Using Dependent Types to Define Energy Augmented Semantics of Programs. In: M. van Eekelen and U. Dal Lago (Eds.): FOPARA 2015, LNCS 9964, pp. 20-39, 2016, Springer Verlag, 2016.

74.       Sven Kiljan, Harald Vranken and Marko van Eekelen. 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. Proceedings of the 13th International Conference on Security and Cryptography (SECRYPT 2016), Lisbon, Portugal. pages 259-270. SCITEPRESS, http://dx.doi.org/10.5220/0005965102590270; 2016.

73.       Sven Kiljan, Marko van Eekelen, Harald Vranken. Towards a virtual bank for evaluating security aspects with focus on user behavior. IEEE Technically Sponsored SAI Computing Conference 2016, 13-15 July 2016 in London, United Kingdom, http://dx.doi.org/10.1109/SAI.2016.7556110 2016, pp 1068-1075, IEEE Xplore Digital library, 2016.

72.       Arjan Lamers and Marko van Eekelen. A Lightweight Method for Analysing Performance Dependencies between Services. Fifth International Workshop on Adaptive Services for the Future Internet (WAS4FI2015). In A. Celesti and P. Leitner (Eds.) ESOCC 2015 Workshops, Taormina, Italy. Communications in Computer and Information Science (CCIS) Volume 567. pp 93-110. Springer Verlag, 2016.

71.        Sjaak Smetsers, Ken Madlener and Marko van Eekelen. Formalizing Bialgebraic Semantics in PVS 6.0. In Santiago Escobar and Naoki Nishida (Eds) Proceedings of the Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2015), Affiliated with RDP 2015. Warsaw, Poland, 2015. OpenAccess Series in Informatics (OASIcs) of Schloss Dagstuhl Leibniz-Zentrum für Informatik. Volume 46. 47-61. 2015.

70.         Jens Haag, Christian Witte, Stefan Karsch, Harald Vranken, and Marko Van Eekelen. An exercise assistant for practical networking and IT security courses in higher education. In S.Zvacek, M.T. Restivo, J. Uhomoibhi, M. Helfert (Eds). Computer Supported Education. Communications in Computer and Information Science (CCIS), Springer Verlag. vol. 510. pp 1-15. 2015.

69.        Christian Köppe, Marko van Eekelen and Stijn Hoppenbrouwers. Improving Student Group Work with Collaboration Patterns: A Case Study. Joint Software Engineering Education and Training(JSEET2015), Track of the 37th International Conference on Software Engineering (ICSE2015). Firenze, Italy, 2015. ICSE Companion Proceedings. ICSE (2) 2015, 303-306. ACM Digital Library and IEEE Digital Library.

68.        Joël Cox, Eric Bouwers, Marko van Eekelen and Joost Visser. Measuring dependency freshness in software systems. Software Engineering in Practice (SEIP2015), Track of the 37th International Conference on Software Engineering (ICSE2015). Firenze, Italy, 2015. ICSE Companion Proceedings. ICSE (2) 2015, 109-118. ACM Digital Library and IEEE Digital Library.

67.       Carlos Montes Portela, Paul Klapwijk, Lennart Verheijen, Hans de Boer, Marko van Eekelen & Han Slootweg (2015). OSCP – An open protocol for smart charging of electric vehicles. Conference Paper : Proceedings of the 23rd International Conference on Electricity Distribution (CIRED2015), 15-18 June 2015, Lyon, France, (pp. paper 0106-1/5). London: CIRED.

66.        Achilleas Buisman and Marko van Eekelen. Gamification in Educational Software Development. In Barendsen and Daglené (Eds). Proceedings of Computer Science Education Research Conference 2014 (CSERC2014). pp. 9--20. Berlin, Germany. ACM Digital Library. 2015. bibtex.

65.        Sven Kiljan, Harald Vranken, Marko van Eekelen. What You Enter Is What You Sign: input integrity in an online banking environment. In Giampaolo Bella and Gabriele Lenzini (eds) Proceedings of the 3rd Int. Workshop on Socio-Technical Aspects of Security and Trust. STAST2014. Vienna Austria. pp. 40-47. IEEE Xplore Digital Library. 2015.

64.       Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet: Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.(FOPARA2013). In colocation with WCET2013. Bertinoro. Italy. LNCS 8552. pp 143-159. Springer Verlag 2014.

63.       Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko van Eekelen. A Hoare Logic for Energy Consumption Analysis, In U. Dal Lago and R. Peña (Eds) Proceedings of the 2013 International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2013). In colocation with WCET2013. Bertinoro. Italy. LNCS 8552. pp 93-109. Springer Verlag 2014.

62.       Jens Haag, Christian Witte, Stefan Karsch, Harald Vranken, and Marko Van Eekelen. An exercise assistant for practical networking courses. In Proceedings of the 6th International Conference On Computer Supported Education (CSEDU2014) Volume 1, Pages 97-104, 1-3 April, 2014, Barcelona, Spain. SCITEPRESS Science and Technology Publications, 2014, ISBN 978-989-758-020-8. CSEDU 2014 received 238 submissions, of which 13% were presented as full papers. This paper received the CSEDU2014 Best Student Paper Award.

61.       Marc Schoolderman, Jascha Neutelings,Rody Kersten and Marko van Eekelen. ECAlogic: Hardware-Parametric Energy-Consumption Analysis of Algorithms. In Proceedings of the Foundations of Aspect-Oriented Languages Workshop, FOAL 2014. ACM Digital Library 2014.

60.       Carlos Montes Portela, Han Slootweg, Marko van Eekelen. Structuring the design space of the ICT architecture for the Smart Grid. In proceedings of Recent Advances in Intelligent Computational Systems,RAICS 2013. IEEE Explore Digital Library 2014.

59.        Carlos Montes Portela, Hans Rooden, Jaap Kolhmann, Denny van Leersum, Danny Geldtmeijer, Han Slootweg and Marko van Eekelen. A Flexible, Privacy Enhanced and Secure ICT Architecture for a Smart Grid Project with Active Consumers in the City of Zwolle - NL. 22nd International Conference on Electricity Distribution (CIRED13), Stockholm, 10-13 June 2013. Paper 0241. pages 1-4. IET Conference Publications. IEEE Explore Digital Library 2013.

58.        Carlos Montes Portela, Danny Geldtmeijer, Han Slootweg and Marko van Eekelen. A Flexible and Privacy Friendly ICT Architecture for Smart Charging of EVS. 22nd International Conference on Electricity Distribution (CIRED13), Stockholm, 10-13 June 2013. Paper 0199. pages 1-4. IET Conference Publications. IEEE Explore Digital Library 2013.

57.        Haag, J., Witte, h., Karsch, S., Vranken H. and van Eekelen, M. Evaluation of students' learning behaviour and success in a practical computer networking course. In Proceedings of the Second International Conference on E-Learning and E-Technologies in Education (ICEEE2013). Lodz University of Technology. Poland. Sept. 23-25, 2013. Poland. pp 201-206. IEEE Explore Digital Library. 2013.

56.        Ken Madlener, Sjaak Smetsers and Marko van Eekelen. Modular Bialgebraic Semantics and Algebraic Laws. In: A. du Bois and P. Trinder (Eds) Proceedings of the 17th Brasilian Symposium on Programming Languages (SBLP2013). LNCS 8129, pp 46-60. Springer Verlag, 2013. With courtesy to Alexandra Silva an improved version of this paper appeared as the last chapter of the Ph.D. thesis of Ken Madlener.

55.        Willem Burgers, Roel Verdult and Marko vanEekelen. Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials. H. Riis Nielson and D. Gollmann (Eds.): Secure IT Systems - 18th Nordic Conference, NordSec 2013, LNCS 8208, pp. 33--50. Springer, Heidelberg (2013). Revised version.

54.       Maarten de Mol and Marko van Eekelen. Beautiful Code, Beautiful Proof? In: P. Achten and P. Koopman (Eds.). The Beauty of Functional Code. Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. LNCS 8106, pp 1--7. Springer Verlag. 2013.

53.        Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers and Marko van Eekelen. Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. In: G. Brat, N. Rungta, and A. Venet (Eds.): NASA Formal Methods (NFM 2013), LNCS 7871, pp. 63--77. Springer, Heidelberg (2013).

52.        Sjaak Smetsers and Marko van Eekelen. Higher-Order Strictness Typing. In: Eds Hans-Wolfgang Loidl and Ricardo Peña, Proceedings of the 13th International Symposium on Trends in functional Programming (TFP2012). St. Andrews, U.K., LNCS 7829,pp. 85-100, Springer Verlag, 2013.

51.       Attila Gobi, Olha Shkaravska, and Marko van Eekelen. Higher-order size checking without subtyping. In: Eds Hans-Wolfgang Loidl and Ricardo Peña, Proceedings of the 13th International Symposium on Trends in functional Programming (TFP2012). St. Andrews, U.K., LNCS 7829, pp. 53--68, Springer Verlag, 2013.      

50.       Sylvia Stuurman, Marko van Eekelen, Bastiaan Heeren. A new method for sustainable development of Open Educational Resources. Proceedings of Computer Science Education Research Conference 2012 (CSERC2012). Wroclaw, Poland. ACM Digital Library. 2012.

49.        Haag, J., Karsch, S., Vranken H. and van Eekelen, M. 2012. A Virtual Computer Security Lab As Learning Environment For Networking and Security Courses. In Proceedings of the 3rd Annual International Conference Computer Science Education: Innovation and Technology (Singapore, November 19 - 20, 2012). CSEIT 2012. Global Science & Technology Forum, pp. 61-68.

48.        Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, and Marko van Eekelen. Making Resource Analysis Practical for Real-Time Java. In: Eds Martin Schoeberl and Andy Wellings, Procceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES2012). Copenhagen, Danmark. pp. 135-144. ACM Digital Library 2012. bibtex.

47.        Leonard Lensink, Sjaak Smetsers and Marko Van Eekelen. Generating Verifiable Java Code from verified PVS specifications. In: Eds. Alwyn Goodloe and Suzette Person. Proceedings of the 4th NASA Formal Methods Symposium (NFM2012). Nasa Langley Research Center. Lecture Notes Computer Science. Volume 7226. pp 310-523. Springer Verlag. 2012. bibtex.

46.        Manuel Montenegro, Olha Shkaravska,Marko van Eekelen, and Ricardo Peña. Interpolation-based height analysis for improving a recurrence solver. In Selected Revised Papers of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011), Madrid, Spain. Ricardo Peña, Marko van Eekelen and Olha Shkaravska (Ed.). Lecture Notes Computer Science 7177. pp 36-53. Springer Verlag. 2012. bibtex

45.        Leonard Lensink, Sjaak Smetsers and Marko Van Eekelen. A Proof Framework for Concurrent Programs. In: Eds. Diego Latella and Helen Treharne. Proceedings of the 9th International Conference on Integrated Formal Methods (IFM2012). Pisa. Lecture Notes Computer Science 7321, pp 174-190, Springer Verlag. 2012. bibtex.  

44.        Ken Madlener, Sjaak Smetsers, Marko van Eekelen. Formal Component-Based Semantics. In Michel Reniers and Pawel Sobocinski (Eds.) Proceedings Eighth Workshop on Structural Operational Semantics (SOS'11). Southampton, UK, 2011. Electronic Proceedings of Theoretical Computer Science (EPTCS) Volume 62, pp 17-29, 2011.

43.        Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet. Collected Size Semantics for Functional Programs over Lists. In Sven-Bodo Scholz (Ed.) Selected Papers of the 20th Symposium on Implementation and Application of Functional Programming, IFL 2008, University of Hertfordshire, UK, 2008, LNCS, Volume 5836. Springer Verlag, pp. 118-137, 2011.

42.         Ken Madlener, Sjaak Smetsers, Marko van Eekelen. A Formal Verification Study on the Rotterdam Storm Surge Barrier. In Jin Song Dong, Huibiao Zhu (Eds.) Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM2010). Shanghai, China, November 2010. LNCS 6447. pp. 287-302. Springer. 2010.

41.         Olha Shkaravska, Rody Kersten, Marko van Eekelen. Test-Based Inference of Polynomial Loop-Bound Functions. In Proceedings of the 8th International Conference on Principles and Practice of Programming in Java (PPPJ2010). Vienna, September 2010. ACM International Proceedings Series, Pages 99-108. ACM 2010. bibtex, pdf.

40.         Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko van Eekelen, Sjaak Smetsers. Preemption Abstraction - A Lightweight Approach to Modelling Concurrency. In M. Alpuente and B. Cook (eds). Proceedings 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009). LNCS 5825. Springer. pp 149-164. 2009. bibtex, pdf.

39.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Algebraic Data Types. in Peter Achten, Pieter Koopman, and Marco T. Morazán. Trends in Functional Programming volume 9, Selected Papers of the Ninth Symposium on Trends in Functional Programming, TFP 2008, Radboud University Nijmegen, 2008, Intellect Publishers 2009. pp. 33-49. bibtex, pdf.

38.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. In D. Cofer and A. Fantechi (eds). Revised selected papers of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L’Aquila, Italy . LNCS 5596. Springer. 2009. pp. 85-103. bibtex, pdf. (The original publication is available at www.springerlink.com)
This paper received the FMICS2008 Best Paper Award recognizing it as the ‘Best Software Science Paper’.

37.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Revised Selected and Invited Papers. Kassel, Germany , 2007, LNCS, Volume 5088, Springer Verlag. 2008, pp 184-200. bibtex, pdf. (The original publication is available at www.springerlink.com)

36.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer.  Proving Properties of Lazy Functional Programs with SPARKLE. In Zoltan Horvath ed: 2nd Central-European Functional Programming School. CEFP 2007. Cluj-Napoca, June 23-30, 2007, LNCS. Springer. Volume 5161. pp 41-86. 2008. bibtex, pdf. (The original publication is available at www.springerlink.com)

35.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). LNCS. Springer. Volume 4916. pp. 182-199. 2008. bibtex. pdf. (The original publication is available at www.springerlink.com)

34.         Leonard Lensink, Sjaak Smetsers, Marko van Eekelen. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). LNCS. Springer. Volume 4916. pp 115-132. 2008. bibtex. pdf. (The original publication is available at www.springerlink.com)

33.         Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll and Sjaak Smetsers. AHA: Amortized Heap Space Usage Analysis. Project Paper.  In Marco Morazán and Henrik Nillsson (eds). Trends in Functional Programming volume 8, Selected Papers of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. Intellect Publishers 2008. pp. 36-53. bibtex. pdf.

32.         Olha Shkaravska, Ron van Kesteren, Marko van Eekelen, Polynomial Size Analysis of First-Order Functions. In S. Ronchi Della Rocca (Ed.). Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA) 2007. June 26-28. Paris . 2007. LNCS 4583. Springer. pp. 351-366. bibtex. pdf. (The original publication is available at www.springerlink.com)

31.         Ron van Kesteren, Olha Shkaravska, Marko van Eekelen, Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Proceedings of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007. June 25. Paris. 2007. pp. 123-139. bibtex. pdf.

30.         Adriaan de Groot, Sebastian Kügler, Donna Metzlar, Jasper Stein, Marko van Eekelen. Exposing High-School Students to Open Source Development with CodeYard. Working Joint IFIP Conference: WG3.1 Secondary Education, WG3.5 Primary Education. “Informatics, Mathematics, and ICT: a ‘golden triangle’”. College of Computer and Information Science Northeastern University Boston, Massachusetts, USA, 27th – 29th June 2007. ISBN 978-0-615-14623-2. bibtex. pdf.

29.         Marko van Eekelen, Maarten de Mol. Proof Tool Support for Explicit Strictness Proof Tool Support for Explicit Strictness. Selected Papers of the 17th International Workshop Proceedings of Implementation and Application of Functional Languages, IFL'05, Dublin, Ireland , IFL 2005, LNCS 4015, pp 37-54. bibtex. pdf. (The original publication is available at www.springerlink.com)

28.         Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, and Rinus Plasmeijer, There and Back Again – Arrows for Invertible Programming. Proceedings Haskell Workshop 2005, Tallinn, pp 86-98. ACM Press, ACM Digital Library. bibtex. pdf.

27.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. In Vene, Varmo; Uustalu, Tarmo (Eds.). Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. LNCS, 3622, pp 210-245.  bibtex. pdf. (The original publication is available at www.springerlink.com)

26.         Ron van Kesteren, Marko van Eekelen, Maarten de Mol. Proof Support for General Type Classes, Trends in Functional Programming Volume 5, Selected papers from the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl. Intellect Publishers, pp 1-16. bibtex. pdf.
This paper received by unanimous vote the Best Student Paper Award of TFP04.

25.         Malcolm Dowse, Andrew Butterfield, Marko van Eekelen, Reasoning about Deterministic Concurrent Functional I/O.  Selected Papers of the 16th International Workshop Proceedings of Implementation and Application of Functional Languages, IFL'04, Lübeck, Germany , IFL 2004, LNCS 3474, pp 177-195. abstract. bibtex. pdf. (The original publication is available at www.springerlink.com)

24.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Automatic Generation of Editors for Higher-Order Data Structures. In Wei-Ngan Chin (Ed.): Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan , November 4-6, 2004. Proceedings, pp 262-279. Lecture Notes in Computer Science 3302. Springer 2004, ISBN 3-540-23724-0. abstract. bibtex. pdf. (The original publication is available at www.springerlink.com)
(Also available as Technical Report NIII-R0427).

23.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Generic Graphical User Interfaces. Proceedings 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Edinburgh , Scotland , September 8-10, 2003. LNCS 3145, pp 152-168, Springer Verlag 2004. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)

22.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Compositional Model-Views with Generic Graphical User Interfaces. In Jayaraman, ed. Proceedings Practical Aspects of Declarative Programming, PADL04, Dallas, Texas, USA, June 18-19 2004. Springer, LNCS 3057. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)
(Also available as Technical Report NIII-R0408).

21.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Theorem Proving for Functional Programmers - SPARKLE: A Functional Theorem Prover. In: Arts, Th., Mohnen M., eds. Proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, Selected Papers, Älvsjö, Sweden , September 24-26, 2001, Springer-Verlag, LNCS 2312, pages 55-71. abstract, bibtex, pdf. (The original publication is available at www.springerlink.com)

20.         Thorsten Zoerner, Pieter Koopman, Marko van Eekelen and Rinus Plasmeijer (2001) Polygonizing Implicit Surfaces in a Purely Functional Way In: Mohnen M, Koopman P., eds. Proceedings of the 12th International workshop on the Implementation of Functional Languages, selected papers, IFL'00, Aachen, Germany, September 4-7, 2000, Selected Papers. Springer-Verlag, LNCS 2011, pages 158-175. bibtex. (The original publication is available at www.springerlink.com)

19.         Maarten de Mol and Marko van Eekelen (1999), A Proof Tool Dedicated to Clean, Selected Papers of Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99,  Kerkrade, The Netherlands, Springer-Verlag, LNCS 1799, pages 271-278. bibtex.

18.         Rinus Plasmeijer and Marko van Eekelen (1999), Term Graph Rewriting and Mobile  Expressions in Functional Languages, Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, Invited Paper,  Springer-Verlag, LNCS 1799, pages 1-13. abstract, (pdf version). bibtex. (The original publication is available at www.springerlink.com)

17.         Eekelen, M.C.J.D. van, J.W.M. Smetsers, M.J. Plasmeijer (1997), Graph  Rewriting  Semantics for Functional Programming Languages, In Proc. of CSL  '96, Fifth Annual  conference of the European Association for Computer Science Logic  (EACSL), Utrecht, Dirk van Dalen Ed., Springer Verlag, LNCS 1258, pp. 106-128. (The original publication is available at www.springerlink.com)
Explains the importance of Graph Rewriting Semantics and Uniqueness typing for  functional programming languages. abstract. bibtex.

16.         Plasmeijer, M.J., Eekelen, M.C.J.D. van, Smetsers, J.W.M. (1996), The  Functional Programming Language Concurrent CLEAN, In Proc. of Talen en tools, een nieuwe toren van babel?, NLUUG-Najaarsconferentie  1996, "De Reehorst", Ede, NL, NLUUG Ed., pp. 57-73.

15.         Eekelen, M.C.J.D., van and M.J. Plasmeijer (1995), Constructing  Medium Sized Efficient Functional Programs in CLEAN, In Proc. of First International Spring School on Advanced Functional Programming  Techniques, Båstad, Sweden , Jeuring and Meijer Eds., Springer Verlag, LNCS  925, pp. 183-228.  bibtex. (The original publication is available at www.springerlink.com)

14.         Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer (1994), Guaranteeing  safe destructive updates through a type system with uniqueness information for graphs ,  In Proc. of Graph Transformations in Computers Science, International Workshop, Dagstuhl Castle, Germany, Schneider and Ehrig Eds., Springer-Verlag, LNCS 776, pp. 358-379. abstract. bibtex. (The original publication is available at www.springerlink.com)

13.         Plasmeijer, M.J. and M.C.J.D. van Eekelen (1992), Concurrent CLEAN, European Strategic Program for Research in Information Technology (ESPRIT), Catalogus "Strategic Research Centre" CEBIT'92, March 1992.

12.         Plasmeijer, M.J. and M.C.J.D. van Eekelen (1992), Exploiting  parallelism with functional neural network specifications, In Proc. of 2nd  Symposium on Neural Networks, Nijmegen, Gielen and Kappen Eds., University of  Nijmegen, pp. 11-16.

11.         Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer (1992), Transforming  neural network specifications to parallel programs, In Proc. of Artificial  Neural Networks II,  Brighton, UK, Aleksander and Taylor Eds., Elsevier Science  Publishers, Volume 2, pp. 1277-1281.

10.         Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1991), Parallel  Graph  Rewriting on Loosely Coupled Machine Architectures, In Proc. of Conditional  and Typed  Rewriting Systems (CTRS '90), Montreal CA, Kaplan and Okada Eds., Springer-Verlag,  LNCS 516, pp. 354-369. (The original publication is available at www.springerlink.com)
Explains parallel Graph Rewriting and process communication via Lazy Copying . abstract. bibtex.

9.           Nöcker, E.G.J.M.H., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer  (1991), Concurrent CLEAN, In Proc. of Parallel  Architectures and Languages Europe (PARLE '91),  Eindhoven, the Netherlands, Aarts,  Leeuwen and Rem Eds., Springer-Verlag, LNCS 505, pp. 202-219. (The original publication is available at www.springerlink.com)
Gives an overview of the language Concurrent CLEAN (version 0.7) as well as of its implementation. abstract bibtex.

8.            Plasmeijer, M.J., M.C.J.D. van Eekelen, E.G.J.M.H. Nöcker and J.E.W. Smetsers  (1991), The  Concurrent CLEAN System, functional  programming on the Macintosh, In Proc. of 7th  Internernational Conference  of the Apple European University Consortium, Paris, Apple consortium, pp. 19-24. abstract.

7.           Rutten, L.M.W.J., Koopman, P.W.M., Eekelen, M.C.J.D. v., Plasmeijer, M.J. (1991), Functional  Specification of a Neural Network, In Proc. of Artificial Neural Networks,  Espoo,  Kohonen Ed., Elsevier Science Publishers, Volume 2, pp. 1485-1488.

6.           Koopman P.W.M., Rutten, L.M.W.J., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Functional  Descriptions of Neural Networks, In Proceedings of the International Neural Network Conference, Volume 2, Kluwer Academic Publishers, pages 701-704.

5.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1990), Concurrent  Functional Programming, In Proc. of Conference on Unix & Parallelism, pp. 75-98. 

4.           Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1987), Term  Graph Rewriting, In Proc. of Parallel Architectures and  Languages Europe (PARLE  '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259,  pp. 141-158. First Paper on Term Graph Rewriting, the computational model CLEAN is based upon. abstract. bibtex. (The original publication is available at www.springerlink.com)

3.           Barendregt, H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer  and M.R. Sleep (1987), Towards  an intermediate language based on graph rewriting , In  Proc. of Parallel Architectures and Languages Europe (PARLE '87), Eindhoven, Bakker, Nijman and Treleaven Eds., Springer-Verlag, LNCS 259, pp. 159-175. abstract. bibtex. (The original publication is available at www.springerlink.com)

2.           Brus, T., M.C.J.D. van Eekelen, M. van Leer, M.J. Plasmeijer and H.P. Barendregt  (1987), CLEAN - A Language for Functional Graph Rewriting, In Proc. of Conference on Functional  Programming Languages and Computer Architecture  (FPCA '87), Portland, Oregon, USA , Kahn Ed., Springer-Verlag, LNCS 274, pp. 364-384. First paper on CLEAN. abstract. bibtex. (The original publication is available at www.springerlink.com)

1.           Eekelen, M.C.J.D, van and Plasmeijer M.J. (1986), Specification  of reduction strategies in  term rewriting systems, In Proc. of Int. Workshop  on Graph Reduction, Santa Fe, NM, Fasel and Keller Eds., Springer-Verlag, LNCS  279, pp. 215-239. bibtex. (The original publication is available at www.springerlink.com)

Academic peer-reviewed contributions to academic books:  

6.            Marko van Eekelen and Maarten de Mol. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In: (eds) Erik Barendsen, Venanzio Capretta, Herman Geuvers and Milad Niqui. Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday. ISBN 978-90-9022446-6. Radboud University Nijmegen, 2007. pp. 87-101. bibtex. pdf.

5.             Rinus Plasmeijer, Marko van Eekelen, Marko Pil and Pascal Serrarens (1999), Parallel and Distributed Programming in Concurrent Clean, in Research Directions in Parallel Functional  Programming, K. Hammond and G Michaelson (Eds),  Springer Verlag, pp. 323-338.

4.             Eekelen, M.C.J.D. van, E. Goubault, C. Hankin and E.G.J.M.H. Nöcker (1993), Abstract  Reduction: Towards a Theory via Abstract Interpretation, In Term Graph Rewriting - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 117-129.

3.             Eekelen, M.C.J.D van and M.J. Plasmeijer (1993), Process  Annotations and Process  Types, In Term Graph Rewriting - Theory and Practice,  Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons, pp. 347-362. abstract.

2.            Koopman, P.W.M., J.E.W. Smetsers, M.C.J.D. van Eekelen and M.J. Plasmeijer (1993), Graph  Rewriting using the Annotated Functional Strategy, In Term Graph Rewriting  - Theory and Practice , Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 317-332.

1.           Toyama, Yoshihito, Sjaak Smetsers, Marko van Eekelen and Rinus Plasmeijer (1993), The Functional Strategy and Transitive Term Rewriting Systems, In Term Graph Rewriting  - Theory and Practice, Sleep, Plasmeijer and Eekelen Eds., John Wiley & Sons,  pp. 61-75. abstract.

 

Professional contributions to journals, summer schools, conferences, books, opinion articles, interviews, video's, webinars:

 

65.       Marktgericht opleiden op academisch niveau. Interview met Marko van Eekelen. Computable Career Guide. Oktober 2020.

64.       Nick Kivits. Rubik's Kubus. De wiskunde achter de helse puzzel. Interview in KIJK, jaargang 2020, nummer 5, pp 24-29, Mei 2020.

63.       Marco Mulders. Open Universiteit. Gewaardeerde ICT-opleider. Interview in Computable Career Guide 2019. Juni 2019

62.       Bennie Mols. Tunnels bewezen veiliger maken. Interview. I/O Magazine. ICT-Onderzoek Platform Nederland. Jaargang 15, Oktober 2018, nr. 3, pages 20-21.

61.       Esther Schop. Dit zijn de beste ICT Masters van ons land. AG-Connect. Interview. 14 Maart 2018.

60.       De sleepwet gaat speurwerk alleen maar onoverzichtelijker maken (in Dutch). Interview in artikel op Motherboard.vice.com. Cornelius Noll. December 12, 2017.

59.       De Sleepwet: Big Data en Privacy. Interview in Open Universiteit Nieuwsbrief. Els Bauwens. November 6, 2017.

58.       Harold Krikke, Remko Helms, Marko van Eekelen en Harald Vranken. RTL Z Webinar. In Dutch: Big Data en Digitale Veiligheid. Oktober 2017.

57.       Marko van Eekelen. In Dutch: Universiteit van Nederland. Video-opname van Lezing 'Hoe voorkom je een ramp met een kerncentrale, raket of waterkering? Beschikbaar sinds 11 Januari 2017.

56.        Marko van Eekelen and Kerstin Eder. RAC 2016 - Resource Aware Computing. In Marko van Eekelen and Kerstin Eder (Eds.). Proceedings of Resource Aware Computing (RAC2016) at ETAPS, Eindhoven. Electronic Lecture Notes in Theoretical Computer Science. Volume 330 pp 1-3, 2016.

55.        Marko van Eekelen, and Bernard van Gastel. Analysing energy consumption by software. Technical report: ICIS-R16001, November, Radboud University Nijmegen, 2016. TACLe Summerschool Lecture Notes, Yspertal 2016.bibtex. 54.        M. van Eekelen and U. Dal Lago (Eds.): Preface of the FOPARA 2015 proceedings, pp. I–II. In Marko van Eekelen and Ugo Dal Lago (Eds.). Foundational and Practical Aspects of Resource Analysis, 4th international workshop (FOPARA) 2015. Revised selected papers. Co-located with DICE 2015 at ETAPS, London. LNCS 9964. Springer International Publishing AG 2016.

53. O. Shkaravska, S.R. Della Rocca and M. van Eekelen. Preface of the Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Science of Computer Programming. Vol. 111. Part 3. pp 363-364. November 2015, ISSN 0167-6423. Elsevier, 2015.

52. Linda Vosbeek (interview), 'Goed onderwijs kan altijd beter', Modulair Jaargang 31, pp 10-11, december 2015, Open Universiteit Nederland.

51. Inspired^3 = Art * Personal * Science = 4 * PRM. Marko van Eekelen and Lianne Dirven. In Liber Amicorum Henk Barendregt. pp 26-27. Radboud Universiteit Nijmegen. October 1, 2015.

50. Christoph. Bockisch, Jeroen J.A. Keiren, Bernard van Gastel, Rody Kersten and Marko van Eekelen. Big energy data for software engineering, 2015. Poster presented at European Conference on Object- Oriented Programming (ECOOP).

49. Radboud Universiteit op weg naar Velo-City 2017: Kenniswerkers betrekken bij duurzame mobiliteit. Mercator Noviotech Magazine, Nummer 1, Jaargang 3, 2015.

48. Petra van den Bos, Erik Poll en Marko van Eekelen. Cybersecurity. NLT Module voor het middelbaar onderwijs. Gecertificeerd voor NLT vanaf Februari 2017.

47. ICT-Netwerk Nijmegen op weg naar VELO-CITY 2017 - Kenniswerkers betrekken bij duurzame mobiliteit. Interview in Reportage. Het Ondernemersbelang. Editie 01-2015.

46. De slimme energiemeter. Iedereen aan de slimme meter? Interview door Erik Honig. Consumentengids, Nummer 3, pp 52-53, Maart, 2015.

45. Voortaan Veilig in de cloud. Interview door Yannick Fritschy. New Scientist. pp 16-17, December, 2014.

44. Mislukken ict-projecten bij overheid schokkend. Interview door Dick Hofland. Reformatorisch Dagblad, 17 Oktober, 2014.

43. Carlos Montes Portela, Danny Geldtmeijer, Han Slootweg and Marko van Eekelen. Tecnologia da informacao e comunicacao para recarga intelligente. Electricidade Moderna. Maio 2014. pp 36-43 2014.

42. De slimme Energiemeter. Robert-Jan Booij. De Nieuws B.V. Interview met Marko van Eekelen en Engelbert Hubbers, Radio1. 15 mei 2014.

41. Marko van Eekelen en Sjaak Smetsers. Verificatie en validatie van veiligheidskritieke systemen. Bits & Chips 2014-4. Themanummer Software ontwikkeling. pp 42-45. Mei 2014.

40. Martijn van Beeten. Internet Explorer? Nu even niet... AD/Algemeen Dagblad, 30 april, 2014.

39. Marko van Eekelen. Onderzoek en softwareprojecten, water & vuur? Ervaringen met onderzoeksaspecten in softwareprojectonderwijs. Proceedings Nationaal Informatica Onderwijs Congres (NIOC) 2013, 4 en 5 April 2013, p 262-268. April 2014.

38. Elektrische laadpaal eenvoudig te kraken. Nederlands Dagblad. Christelijk betrokken. April 9, 2014.

37. Laadpaal net zo onveilig als eerste ov-chipkaart. De Groene Courant. April 9, 2014.

36. Laadpaal slecht beveiligd. www.telegraaf.nl/binnenland. April 9, 2014.

35. Beveiling laadpalen laat te wensen over. Reformatorisch Dagblad, Page 6, April 9, 2014.

34. Marianne Wilschut. Laadpaal kan gekraakt worden, en misbruikt, Trouw, Page 6, April 9, 2014.

33. Marianne Wilschut. Slim net zet airco wat lager. Trouw - Duurzaamheid en Natuur, Page 12, April 9, 2014.

32. Ir. B.J. te Paske, Dr. C.M.C. Cuijypers, Prof.dr. M.C.J.D. van Eekelen, Dr.ir. E. Poll, Drs. B.h.A. van Schoonhoven. Risicoanalyse Slimme Meter Keten. Privacy en Security in het nieuwe marktmodel. TNO-rapport in opdracht van NMA, Published March 10, 2014.

31.   Paul Klint en Marko van Eekelen. Software ís Sleuteltechnologie - Academische software engineers moeten brug slaan tussen theorie en praktijk. Automatiseringgids 11. 5 Juni 2013. pp. 26-27.

30.   Christian Köppe and Marko van Eekelen. Report of Computer Science Research Conference 2012 (CSERC'12). In ACM InRoads. Volume 4 Issue 1, March 2013. pp. 80. ACM.
Pages 80-80. ACM Special Interest Group on Computer Science Education(SIGCSE) Magazine.

29.   Marko van Eekelen. Analysing Java progams with ResAna (Abstract). In Software Development. NLUUG Najaarsconferentie. 8 November 2012. Reehorst Ede. Page 5.

28.   Rutger Leukfeldt, Marko van Eekelen, Erik de Jong and Harald Vranken. Basic Cybercriminal Techniques and Techniques to Cause Damage. pp 167-180. In E.R. Leukfeldt and W.Ph. Stol (Eds.), Cyber Safety: An Introduction. 348 pages. Eleven International Publishing. Den Haag 2012. ISBN 978-94-90947-75-0. NUR 741.

27.   Marko van Eekelen and Harald Vranken. The Internet: Historical and Technical Background. pp 31-44. In E.R. Leukfeldt and W.Ph. Stol (Eds.), Cyber Safety: An Introduction. 348 pages. Eleven International Publishing. Den Haag 2012. ISBN 978-94-90947-75-0. NUR 741.

26.   Geuvers, H., Wiedijk, F., Eekelen, M.C.J.D. van & Schmaltz, J. (2011). Preface. In M. Van Eekelen, H. Geuvers, J. Schmaltz & F. Wiedijk (Eds.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science. Theoretical Computer Science and General issues, 6898) (pp. V-VI). Berlin: Springer. 2011.

25.    Anda Counotte, Theo Thiadens en Marko van Eekelen, "Mogelijke opzet voor een cursus Duurzaamheid van ict", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 52-56.

24.    Marko van Eekelen, "Modularisering van sterk afhankelijke cursussen", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 92-98.

23.       Marko van Eekelen en Marleen Sint, "Ontwerp van een 1-jarige Master Software Engineering aan de Open Universiteit", in NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 82-91.

22.       Arjen de Boer, "Zware computers nodig om beveiliging te kraken", De Gelderlander, 15 december 2010.

21.       Marko van Eekelen, Rody Kersten en Bernard van Gastel. Software en energiegebruik. In. Duurzame ICT - Grondstof en energiebron voor een duurzame wereld. Roel Croes (Ed). pp 23-34. ISBN 9789012582285. Academic Service, NL. 2010.

20.       Anda Counotte-Potman en Marko van Eekelen. Duurzaamheid van ICT-intensieve organisaties. In. Duurzame ICT - Grondstof en energiebron voor een duurzame wereld. Roel Croes (Ed). pp 117-138. ISBN 9789012582285. Academic Service, NL. 2010.

19.       Marko van Eekelen, 'Het belang van software-analyse', Modulair, Jaargang 25, nr 5, pp 26-27, 19 maart 2010, Open Universiteit Nederland.

18.       Peter van Ammelrooy, 'Wiskundig model moet foutloze software opleveren',Wetenschapsbijlage, De Volkskrant, 13 maart 2010, jpg.

17.       Miranda de Kort. Computeren = foeteren en ploeteren. Maart 2010. Werkwijzer Volume 2, Jaargang 24. Open Universiteit Nederland.

16.      Francisco van Jole en Peter de Bie. 'Te weinig analyse van software', Tros Radio Online, 6 maart 2010. RadioOpname.

15.       Rian van Heur, 'Analyse moet softwarekwaliteit verbeteren', Computable, 5 maart 2010.

14.       Esther Schop, "Hoogleraar: 'leven lang computeren, leven lang foeteren?'", Automatisering Gids, 3 maart 2010.

13.       Pieter Edelman, 'Wiskundige notatie temt multicore processor', Bits & Chips, 18 december 2009, 11e jaargang, nr. 19/20, pp 40-42. pdf.

12.       Marko van Eekelen, Op weg naar een Informatica-onderzoeksgemeenschap. Modulair. Jaargang 25, nr 3, p 24, 18 december 2009. Open Universiteit Nederland.

11.       Frits de Jong, Afstandsonderwijs over vrije software en open standaarden. 21 Juli 2009. Nederland Open In Verbinding.

10.       Kim de Vries, OU-studie Informatica wordt steeds gewilder. 20 April 2009. Computable

9.           Chris Nap, ‘van Eekelen: Informatici, daal af uit ivoren toren’. Automatisering Gids. 21 November 2008. pp 24-25. pdf.

8.           Sjaak Smetsers and Marko van Eekelen. LaQuSo: Using Formal Methods for Analysis, Verification and Improvement of Safety Critical Software. Quarterly Magazine of the European Research Consortium for Informatics and Mathematics. Special Theme Safety-Critical Software (ed. Pedro Merino and Erwin Schoitsch). ERCIM NEWS.  Volume 75, October 2008. pp 38-39. pdf.

7.           Marko van Eekelen, Engelbert Hubbers. Security, Privacy and AMR systems: Small Issues or Sources of Future Problems? Conference Proceedings of Metering Europe 2008. 22-24 September 2008. Amsterdam RAI. page 41.

6.           Marko van Eekelen, Engelbert Hubbers. Slimme Meters: Energie wordt ICT? Energie+, Jaargang 28, nr 4, Juli 2008, pp 23-24. pdf.

5.           Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Testen van proces-communicatie en synchronisatie van LoadBalancer software via model-checking. Presentation abstracts van de 12e Nederlandse Testdag. pp. 23-25. November 17, 2006. ASML, Veldhoven. bibtex. pdf (in Dutch).

4.           Marko van Eekelen. Evolutionaire Ontwikkelingen in het Nijmeegs Informatica-onderwijs. In Andrew Wolters, Bart van der Linden (eds) Lustrumboek 2006. Informatica 25 jaar in Nijmegen. pp 12-14. bibtex.

3.           Marko van Eekelen, Jan Tretmans, Tim Willemse. Vastleggen van kwaliteit is essentieel. In Onderwijs en Offshoring discussie deel 4, 18 maart 2005, Automatisering gids, jaargang 39, nummer 11, pp 13.

2.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1990), Functionele  talen en Parallellisme, In Voorlichtingsboekje Informatica.

1.           Plasmeijer, M.J., M.C.J.D. van Eekelen, J. Vytopil and T. Schouten (1990), Parallel  Processing, videotape on the advantages of parallel processing highlighting several  transputer applications, Chriet Titulaer Produkties bv. Tekst bijdragen, regie en montage ondersteuning.

 

Technical Reports:

89.       Saving the World. A long and windy road towards sustainability and formal verification in practice, Marko van Eekelen, in Huisman, Marieke and Swierstra, Wouter and Visser, Eelco (Eds), A Research Agenda for Formal Methods in the Netherlands,Technical Report UU-CS-2019-004, Department of Information and Computing Sciences, Utrecht University, pp. 31-34, July 2019.

88.        A benchmark for C program verification. Marko van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk, arXiv:1904.01009 [cs.PL], April 1, 2019.

87.        Olha Shkaravska and Marko van Eekelen. Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. Technical report: ICIS-R18001, October, Radboud University Nijmegen, 2018.

86.        Marko van Eekelen. ECA: Energy Consumption Analysis of software controlled systems. In: Resource Bound Analysis. Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger (Eds). Dagstuhl Seminar Report 17291. Abstract. page 84. 2018.

85.         M. van Eekelen, S.-S. Jongmans, and A. Lamers, “Non- quantitative modeling of service-oriented architectures, refactorings, and performance,” Open University (NL), TR-OU-INF-2017-01, 2017 http://www.open.ou.nl/ssj/elmo/EJL.pdf.

84.         Kiljan, S., Koen, S., De Cock, D., Van Eekelen, M., and Vranken, H. 2014. Security of Online Banking Systems. Technical Report TR-OU-INF-                2014-01, Open Universiteit, DOI= http://portal.ou.nl/documents/114964/523334/TR-OU-INF-2014-01.pdf

83.         Paolo Parisen Toldin, Rody Kersten, Bernard van Gastel, Marko van Eekelen. Soundness Proof for a Hoare Logic for Energy Consumption                         Analysis, Institute for Computing and Information Sciences, Radboud University Nijmegen, Technical Report ICIS-R13009, October 2013,                         Radboud University Nijmegen. pdf. bibtex.

82.         Ken Madlener, Sjaak. Smetsers,Marko van Eekelen, Modular Bialgebraic Semantics and Algebraic Laws, Institute for Computing and                                          Information Sciences, Radboud University Nijmegen, Technical Report ICIS-R13008, July 2013, Radboud University Nijmegen. pdf. bibtex.

81.         M. van Eekelen, R. Ben Moussa, E. Hubbers and R. Verdult, Blackboard Security Assessment, Institute for Computing and Information                                Sciences, Radboud University Nijmegen, Technical Report ICIS-R13004, April 2013, Radboud University Nijmegen. pdf. bibtex.

80.        Marcin Sikorski, Evert van de Vrie, Gerrit van der Veer, Peter Sloep and Marko van Eekelen. Preprints of the 2nd Computer Science Education        Research Conference (CSERC2012). FedCSIS September 9–12, 2012. Wroclaw, Poland. pdf.

79.          Attila Gobi, Olha Shkaravska, and Marko van Eekelen. A higher-order size system for a higher-order functional language. Technical report:                ICIS-R12005, July, Radboud University Nijmegen, 2012. pdf, bibtex.

78.           Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. A Proof Framework for Concurrent Programs. Technical report: ICIS-R12001,                        January, Radboud University Nijmegen, 2012. pdf, bibtex.

77.            Arjan Lamers and Marko van Eekelen. Analyzing Isoefficiency of Partition Local Algorithms. Technical report: ICIS-R12003, February, Radboud        University Nijmegen, 2012. bibtex, pdf.

76.        Ricardo Peña & Marko van Eekelen (Eds.). Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain. Tech. Rep. SIC-07/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. 355 pages. May 2011.

75.        Attila Gobi, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Higher-Order Functions. In Ricardo Peña & Marko van Eekelen (Eds.). Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain. Tech. Rep. SIC-07/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 77-91. May 2011.

74.        Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña. Interpolation-based height analysis for improving a recrurrence solver. In Ricardo Peña (ed.) Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain. Tech. Rep. SIC-08/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 95-110. May 2011.

73.        Rody Kersten and Marko van Eekelen. Ranking Functions for Loops with Disjunctive Exit-Conditions. In Ricardo Peña (ed.) Proceedings of the 2th International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2011). Madrid, Spain. Tech. Rep. SIC-08/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 111-126. May 2011.

72.         Olha Shkaravska, and Marko van Eekelen. Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations. Technical report: ICIS-R10003, April, Radboud University Nijmegen, 2010. bibtex, pdf.

71.         Marko van Eekelen (editor) and Olha Shkaravska (editor). Proceedings International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA. Technical Report ICIS-R09008, Radboud University Nijmegen, December 2009. bibtex. pdf.

70.         Olha Shkaravska, Marko van Eekelen and Alejandro Tamalet. Collected size semantics for functional programs over polymorphic nested lists. In 10th Symposium on Trends in Functional Programming, pages 207-221. Eötvös Loránd University, Budapest, Komarno, Slovakia, June 2009.

69.        Olha Shkaravska, Marko van Eekelen and Alejandro Tamalet. Collected Size Semantics for Functional Programs over Polymorphic Nested Lists. Full version: 28 pages. Technical Report ICIS-R09003, Radboud University Nijmegen, July 2009. bibtex. pdf.

68.        Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen. Non-monotonic Polynomial Size Bounds for Functional Programs. In Sven-Bodo Scholz (ed) Proceedings of the 20th Symposium on Implementation and Application of Functional Languages, IFL 2008, Hartfield, Hertfordshire, UK, Sept. 10-12 2008. Technical Report 274, September 2008, Published by the School of Computer Science, University of Hertfordshire, UK, pp 145-148.

67.         Hendrik Tews, Tjark Weber, Marcus Völp, Erik Poll, Marko van Eekelen, and Peter van Rossum. Nova Micro-Hypervisor Verification. Technical report: ICIS-R08012, May, Radboud University Nijmegen, 2008, Robin deliverable D13. bibtex. pdf.

66.         Hendrik Tews, Tjark Weber, Erik Poll, and Marko van Eekelen. Formal Nova interface specification. Technical report: ICIS-R08011, May, 2008, Robin deliverable D12. bibtex. pdf.

65.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. Size Analysis of Algebraic Data Types. in Peter Achten, Pieter Koopman, and Marco T. Morazán. Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP). Technical report: ICIS-R08007, May, Radboud University Nijmegen, 2008, Chapter XVI. pp 209-224. bibtex. pdf.

64.         Alejandro Tamalet, Olha Shkaravska, and Marko van Eekelen. A Size-Aware Type System with Algebraic Data Types, with proofs of soundness and decidability. Technical report: ICIS-R08006, April, Radboud University Nijmegen, 2008. bibtex. pdf.

63.         Marko van Eekelen. Outsourcing and LaQuSo Certification. Paper in: Pieter Koopman (ed). Proceedings of Verification and Validation of Software Systems (VVSS 2008), LaQuSo, Technical University Eindhoven. pp 166-180. bibtex. pdf.

62.         Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. Technical report: ICIS-R08005, April, Radboud University Nijmegen, 2008. bibtex. pdf.

61.         P.M. Heck, Marko C.J.D. van Eekelen. The LaQuSo Software Product Certification Model: (LSPCM). TUE Computer Science Reports 08-03. bibtex. pdf.

60.         Luc Rutten and Marko van Eekelen. Efficient and Formally Proven Reduction of Large Integers by Small Moduli. Technical report: ICIS-R08001, February, Radboud University Nijmegen, 2008. bibtex. pdf.

59.         Olha Shkaravska and Marko van Eekelen. Static Inference of Polynomial Size-Aware Types. Technical report: ICIS-R07028, November, Radboud University Nijmegen, 2007. bibtex. pdf.

58.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. The Mathematical Foundation of the Proof Assistant Sparkle. Technical Report ICIS-R07025. Radboud University Nijmegen. November 2007. bibtex. pdf.

57.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Selected and Invited Papers. Kassel, Germany, 2007, pp 181-197.

56.         Marko van Eekelen, Olha Shkaravska, Static Inference of Non-Monotonic Polynomial Sized Types. Olaf Chitil (ed) Proceedings of the 19th Symposium on Implementation and Application of Functional Languages, IFL 2007, Freiburg, Germany, Sept. 27-29 2007. Technical Report 12-07, September 2007, Published by the Computing Laboratory, University of Kent, Canterbury, UK, pp 254-258.

55.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In local proceedings of 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS`07). 1-2 July. Berlin. 2007. Organizers Stefan Leue, University of Konstanz, Germany and Pedro Merino, University of Malaga, Spain. pp. 181-199.

54.         Leonard Lensink, Sjaak Smetsers, Marko van Eekelen. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In local proceedings of 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS`07). 1-2 July. Berlin. 2007. Organizers Stefan Leue, University of Konstanz, Germany and Pedro Merino, University of Malaga, Spain. pp. 115-133.

53.         Marko van Eekelen, Stefan ten Hoedt, René Schreurs, and Yaroslav Usenko. Modeling and verifying a Real-Life Industrial Session-Layer Protocol in mCRL2. Technical report: ICIS-R07014, June, Radboud University Nijmegen, 2007.

52.         Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer. Confluent Term-Graph Reduction for Computer-Aided Formal Reasoning. Technical Report ICIS-R07012. Radboud University Nijmegen. May 2007.

51.         Marko van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll and Sjaak Smetsers. AHA: Amortized Heap Space Usage Analysis. Project Paper.  In Marco Morazán and Henrik Nillsson (eds). Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. pp XVI-1-16, Seton Hall University. TR-SHU-CS-2007-04-1.

50.         Peter Achten, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. An Arrow Based Semantics for Interactive Applications. In Marco Morazán and Henrik Nillsson (eds). Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 april 2007. pp IX-1-16, Seton Hall University. TR-SHU-CS-2007-04-1.

49.         Yaroslav S. Usenko, Marko van Eekelen, Stefan ten Hoedt, René Schreurs. Testing of inter-process communication and synchronization of ITP LoadBalancer software via model-checking. Presentation in Proceedings of Verification and Validation of Software Systems (VVSS 2007), TUE Computer Science Reports 07-04. pp 201-208.

48.         Perry Groot, Alexander Serebrenik, Marko van Eekelen (eds). Proceedings of Verification and Validation of Software Systems (VVSS 2007), LaQuSo: Laboratory for Quality Software, March 23, 2007, Eindhoven. TUE Computer Science Reports 07-04. ISSN 0926-4515.

47.         Olha Shkaravska, Ron van Kesteren, Marko van Eekelen. Polynomial Size Analysis of First-Order Functions. Technical Report ICIS-R07004, Radboud University Nijmegen, January 2007.

46.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. A Unified Semantic Model For Interactive Applications Using IData And Generic Editors abstract. In Zoltan Horvath, Viktoria Zsok (eds) Proceedings of the 18th Symposium on Implementation and Application of Functional Programming, IFL 2006, Budapest, Hungary, Sept. 4-6 2006. Technical Report 2006-S01, ISBN 9634638767. pp 205.

45.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer. Towards A Unified Semantic Model For Interactive Applications Using Arrows And Generic Editors. In Henrik Nillsson (ed). Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 april 2006. pp 279-292, University of Nottingham.

44.         Teade Punter, Marko van Eekelen (eds). Proceedings of Verification and Validation of Software Systems (VVSS 2005), LaQuSo: Laboratory for Quality Software, November 24, 2005, Eindhoven, Eindhoven Computing Science Technical Report: CS-Report 05-30. (Table of Contents).

43.         Marko van Eekelen (ed). Proceedings of the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. 442 pages. Institute of Cybernetics at Tallinn Technical University, Tallinn 2005, ISBN 9985-894-88-X.

42.         Marko van Eekelen, Maarten de Mol. Effects of Changing Strictness Properties abstract. In Implementation and Application of Functional Languages. 17th International Workshop, IFL’05. Andrew Butterfield (ed.), Dublin, 2005. Technical Report TCD-CS-2005-60, Trinity College Dublin.

41.         Leonard Lensink, Marko van Eekelen. Induction and Co-induction in Sparkle. Technical Report NIII-R0502, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. 20 pages.

40.         Ron van Kesteren, Marko van Eekelen, Maarten de Mol. An Effective Proof Rule for General Type Classes.  Proc. of the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl, November 2004, München, pp 149-165, Ludwig Maximilians Universität München. Abstract.

39.         Leonard Lensink, Marko van Eekelen. Induction and Co-induction in Sparkle.  Proc. of the Fifth Symposium on Trends in Functional Programming (TFP 2004), editor Hans Wolfgang Loidl, November 2004, München, pp 273-295, Ludwig Maximilians Universität München. abstract.

38.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Summer School on Advanced Functional Programming, University of Tartu, August 14-21, 2004. Lecture Notes. abstract, pdf.

37.         Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden. Arrows for Generic Graphical Editor Components. Technical Report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, Faculty of Science, University of Nijmegen, The Netherlands. abstract, pdf.

36.         Malcolm Dowse, Andrew Butterfield, Marko van Eekelen, Maarten de Mol, Rinus Plasmeijer. Towards Machine-Verified Proofs for I/O. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Lübeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universität zu Kiel, pp. 469-480.

35.        Marko van Eekelen, Maarten de Mol. Mixed Lazy/Strict Graph Semantics. Grelck, C., Huch, F. Eds. Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, Luebeck, Germany, September 8-10, 2004, Technical Report 0408, Christian-Albrechts-Universität zu Kiel, pp.245-260. 

34.        Marko van Eekelen and Maarten de Mol. Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. In: Peña, R. ed. Proceedings of the 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Madrid, Spain, September 16-18, 2002, Technical Report 127-02, Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid, pages 357-373. abstract, pdf.

33.        Maarten de Mol, Marko van Eekelen, and Rinus Plasmeijer. Theorem Proving for Functional Programmers. In: Arts, Th., Mohnen, M. eds. Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, Älvsjö, Sweden, September 24-26, 2001, Ericsson Computer Science Laboratory, pp.99-118. powerpoint presentation

32.        Koopman, P.W.M., Van Eekelen, M, Plasmeijer, M, et al: Functional programming in Clean . Draft part I. July 1999. 

31.        Maarten de Mol and Marko van Eekelen (1999), A Prototype Dedicated Theorem Prover for Clean, Technical report CSI-R9913, October, Computing Science Institute, University of Nijmegen.

30.        Maarten de Mol and Marko van Eekelen (1999), A Proof Tool Dedicated to Clean, Proceedings of Applications Of Graph Transformations With Industrial Relevance, AGTIVE '99, Kerkrade, The Netherlands, University of Aachen.

29.        Rinus Plasmeijer, Marko van Eekelen (1998), Concurrent Clean Language Report - version 1.3 , Technical Report CSI-R9816, June 1998, Computing Science Institute, University of Nijmegen, 180 pages.

28.        Pieter Koopman, Jeroen Fokker, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer (1998), Functional Programming in Clean, draft, 450 pages, University of Nijmegen. 

27.        Rinus Plasmeijer, Marko van Eekelen (1995), Concurrent Clean Language Report - version 1.1, University of Nijmegen, available on internet, 160 pages, www.cs.ru.nl/~clean

26.        Eekelen, M., van, Hoon, W., de (1994), A Functional Spreadsheet, In Proc. of Workshop on Functional Programming in the Real World, Wadern, Germany, Giegerich R. and Hughes Ed. Dagstuhl Seminar Report 89, pp. 7.

25.        Hoon, W., de,, L. Rutten and M.C.J.D. Eekelen, van (1994), FunSheet:  a functional spreadsheet, In Proc. of 6th International Workshop on the Implementation  of Functional Languages, UEA , Norwich,UK, Glauert Ed., pp. 11.2-11.24.

24.        Plasmeijer, M.J. and M.C.J.D. Eekelen, van (1994), Concurrent CLEAN 1.0 - Language Manual, draft  version, Katholieke Universiteit Nijmegen, Manual, Oktober 1994. 

23.        Eekelen, M.C.J.D. van, Huitema H., Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1993), Concurrent Clean, Language Manual - Version 0.8 (revised version), Technical Report 93-13, University of Nijmegen.

22.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1993). Operational Machine Specification in a functional programming language. Technical Report 93-16, RijksUniversiteit Leiden.

21.        Plasmeijer, Rinus and Marko van Eekelen Eds.(1993), Proceedings  of the 5th International Workshop on Implementation of Functional Languages,  Nijmegen, Technical Report 93-21, Nijmegen University.

20.        Smetsers, Sjaak, Erik Barendsen, Marko van Eekelen and Rinus Plasmeijer (1993), Guaranteeing  safe destructive updates through a type system with uniqueness information  for graphs,  University of Nijmegen, Technical report 93-04, June 1993.

19.        Eekelen, M.C.J.D. van, Huitema H., Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1992), Concurrent Clean, Language Manual - Version 0.8, Technical Report 92-18, University of Nijmegen.

18.        Plasmeijer, M.J., Eekelen, M.C.J.D. v, Nöcker, E., Smetsers, J.E.W. (1991), Concurrent CLEAN - Status report, In  Proc. of Functional languages: Optimization for parallelism,  Schloss Dagstuhl,  Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken, pp. 23. 

17.        Plasmeijer, M.J. and M.C.J.D. v Eekelen (1991), Concurrent  functional programming, In Proc. of Functional languages: optimization for  parallelism, Schloss Dagstuhl,  Saarbrucken, Wilhelm Ed., Schloss Dagstuhl, Saarbrucken,  pp. 22.

16.        Rutten, L.M.W.J., Koopman P.W.M., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1991), Functional  Specification of a Neural Network, University of Nijmegen, Technical Report 91-9,  April 1991.

15.        Koopman P.W.M., Rutten, L.M.W.J., M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Functional  Descriptions of Neural Networks, University of Nijmegen, Technical Report 90-10,  May 1990.

14.        Pepels, B., M.J. Plasmeijer and M.C.J.D. van Eekelen (1990), Processen  en hun wisselwerking, University of Nijmegen Dictaat (deel1,2a en2b). 

13.        Eekelen, M.C.J.D. van, Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1990), Concurrent Clean, Version 0.6, Technical Report 90-21, University of Nijmegen.

12.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1990), Operational Machine Specification in a Functional Programming Language, Technical Report 90-21, University of Nijmegen.

11.        Koopman, P.W.M., M.C.J.D. van Eekelen, and M.J. Plasmeijer (1990), Specification of Abstract Machines. In Proc. Second International Workshop on Implementation of Functional Languages on Parallel Architectures (Plasmeijer, M.J. ed.), pp. 297-321, Nijmegen, The Netherlands, Technical Report 90-16, University of Nijmegen (1990).

10.        Koopman, P.W.M., Eekelen, M.C.J.D. van, Nöcker E.G.J.M.H., Plasmeijer M.J. and Smetsers J.E.W. (1990), The ABC-machine: A Sequential Stack-based Abstract Machine For Graph Rewriting, Technical Report 90-22, University of Nijmegen.

9.           Rutten, L.M.W.J., P.W.M. Koopman, M.C.J.D. Eekelen, van, and M.J. Plasmeijer  (1990), Inventory  and Functional Prototypes of Neural Networks, University of Nijmegen, Technical  Report 90-15, October 1990.

8.            Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1989), Communicating  Functional Processes, University of Nijmegen, Technical Report 89-3, March 1989.

7.           Eekelen, M.C.J.D. van, M.J. Plasmeijer and J.E.W. Smetsers (1989), Parallel  Graph Rewriting on Loosely Coupled Machine Architectures, University of Nijmegen.  Technical report 89-9.

6.           Eekelen, M.C.J.D. van, Plasmeijer M.J. , Smetsers J.E.W. and Nöcker E.G.J.M.H. (1989), Concurrent Clean  0.5, Technical Report 89-18, University of Nijmegen.

5.           Rutten, L.M.W.J., M.C.J.D. van Eekelen and M.J. Plasmeijer (1989), Unifying  Functional and Logic Languages by Integrating their Operational Semantics, University  of Nijmegen, Technical Report 89-4. 

4.           Eekelen, M.C.J.D. van, E.J.H. Pepels and M.J. Plasmeijer (1988), A  cyclic reference counting algorithm and its proof, University of Nijmegen Internal  Report 10 (1988). docx version.

3.           Eekelen, M.C.J.D., van, Barendregt H.P., Glauert J.R.W., Kennaway J.R., Plasmeijer  M.J. and Sleep M.R. (1987), Term  Graph Rewriting, Department of Computer Science, University of Nijmegen Internal  Report 87.
Also appeared as Report SYS-C87-01, School of Information Systems, University of East Anglia.

2.           Plasmeijer, M.J. and M.C.J.D. van Eekelen (1987), Modules as First-Class Citizens in the Context of Functional Programming, University of Nijmegen, Technical Report 86.

1.           Eekelen, M.C.J.D, van, P. Hartel and M.J. Plasmeijer (1985), Report of a trip to the United Kingdom, University of Nijmegen, Internal Report 58, January 1985, Sponsored by the Dutch Parallel Reduction Machine Project.