Marko C. J. D. van Eekelen

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 32

Top Venues

CoRR

FOPARA

CSERC

ICSE (2)

Radboud University Nijmegen (PHD)

Education History

Radboud University Nijmegen

PHD

Publications

Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen
Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives. Artif. Intell. Medicine 134 (2022)
Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen
A transfer learning approach to predict shipment description quality. SAC (2022)
Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen
Neural Machine Translation for Harmonized System Codes prediction. ICMLT (2021)
Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models. CoRR (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed X25519. IACR Cryptol. ePrint Arch. 2021 (2021)
Olha Shkaravska, Marko C. J. D. van Eekelen
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. J. Symb. Comput. 103 (2021)
Vreda Pieterse, Sylvia Stuurman, Marko C. J. D. van Eekelen
Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course. SIGCSE (2021)
Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen
What is understandable in Bayesian network explanations? CoRR (2021)
Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models. PAAMS (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code - Correct High-Speed X25519. NFM (2021)
Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Efficient Verification of Optimized Code: Correct High-speed Curve25519. CoRR (2020)
Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen
Skylines for Symbolic Energy Consumption Analysis. FMICS (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Koen Weterings, Shir-Lee Kimelman, Stefano Bromuri, Marko C. J. D. van Eekelen
Interpreting Attention Models: LSTM vs. CNN : A case study on customer activation. ICMLA (2020)
Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk
A benchmark for C program verification. CoRR (2019)
Jens Haag, Harald P. E. Vranken, Marko C. J. D. van Eekelen
A Virtual Classroom for Cybersecurity Education. Trans. Edutainment 15 (2019)
Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen
SOA and the Button Problem. FM (2019)
Vincent van der Meer, Hugo Jonker, Guy Dols, Harm M. A. van Beek, Jeroen van den Bos, Marko C. J. D. van Eekelen
File Fragmentation in the Wild: a Privacy-Friendly Approach. WIFS (2019)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)
Koen Weterings, Stefano Bromuri, Marko C. J. D. van Eekelen
Explaining Customer activation with Deep Attention Models. ECIS (2019)
Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? CSERC (2019)
Ed van Doorn, Sylvia Stuurman, Marko C. J. D. van Eekelen
Static Detection of Design Patterns in Class Diagrams. CSERC (2019)
Raphaela Butz, Arjen Hommersom, Marko C. J. D. van Eekelen
Explaining the Most Probable Explanation. SUM (2018)
Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans
Improved Architectures/Deployments with Elmo. ICSOC Workshops (2018)
Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen
Detecting energy bugs and hotspots in control software using model checking. Programming (2018)
Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen
Evaluation of transaction authentication methods for online banking. Future Gener. Comput. Syst. 80 (2018)
Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen
Applying deep learning on packet flows for botnet detection. SAC (2018)
Vreda Pieterse, Mpho Leeu, Marko C. J. D. van Eekelen
How personality diversity influences team performance in student software engineering teams. ICTAS (2018)
Bernard van Gastel, Marko C. J. D. van Eekelen
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. DICE-FOPARA@ETAPS (2017)
Sven Kiljan, Koen Simoens, Danny De Cock, Marko C. J. D. van Eekelen, Harald P. E. Vranken
A Survey of Authentication and Communications Security in Online Banking. ACM Comput. Surv. 49 (4) (2017)
Marko C. J. D. van Eekelen, Kerstin Eder
Preface. Electron. Notes Theor. Comput. Sci. 330 (2016)
Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. 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. SECRYPT (2016)
Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. 111 (2015)
Christian Köppe, Marko C. J. D. van Eekelen, Stijn Hoppenbrouwers
Improving Student Group Work with Collaboration Patterns: A Case Study. ICSE (2) (2015)
Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen
Formalizing Bialgebraic Semantics in PVS 6.0. WPTE@RTA/TLCA (2015)
Joel Cox, Eric Bouwers, Marko C. J. D. van Eekelen, Joost Visser
Measuring Dependency Freshness in Software Systems. ICSE (2) (2015)
Sjaak Smetsers, Marko C. J. D. van Eekelen
Derivation and inference of higher-order strictness types. Comput. Lang. Syst. Struct. 44 (2015)
Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA (2015)
Arjan Lamers, Marko C. J. D. van Eekelen
A Lightweight Method for Analysing Performance Dependencies Between Services. ESOCC Workshops (2015)
Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Jens Haag, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen
An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education. CSEDU (Selected Papers) (2014)
Jens Haag, Christian Witte, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen
An Exercise Assistant for Practical Networking Courses. CSEDU (1) (2014)
Achilleas L. D. Buisman, Marko C. J. D. van Eekelen
Gamification in educational software development. CSERC (2014)
Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen
What You Enter Is What You Sign: Input Integrity in an Online Banking Environment. STAST (2014)
Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL (2014)
Olha Shkaravska, Marko C. J. D. van Eekelen
Univariate polynomial solutions of algebraic difference equations. J. Symb. Comput. 60 (2014)
Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23 (2) (2013)
Willem Burgers, Roel Verdult, Marko C. J. D. van Eekelen
Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials. NordSec (2013)
Maarten de Mol, Marko C. J. D. van Eekelen
Beautiful Code, Beautiful Proof? The Beauty of Functional Code (2013)
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. FOPARA (2013)
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods (2013)
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen
A Hoare Logic for Energy Consumption Analysis. FOPARA (2013)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Modular Bialgebraic Semantics and Algebraic Laws. SBLP (2013)
Christian Köppe, Marko C. J. D. van Eekelen
Report of the CSER C'12 conference. Inroads 4 (1) (2013)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Generating Verifiable Java Code from Verified PVS Specifications. NASA Formal Methods (2012)
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen
Making resource analysis practical for real-time Java. JTRES (2012)
Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen
Higher-Order Size Checking without Subtyping. Trends in Functional Programming (2012)
Sjaak Smetsers, Marko C. J. D. van Eekelen
Higher-Order Strictness Typing. Trends in Functional Programming (2012)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
A Proof Framework for Concurrent Programs. IFM (2012)
Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren
A new method for sustainable development of open educational resources. CSERC (2012)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76 (2) (2011)
Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA (2011)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
Formal Component-Based Semantics SOS (2011)
Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen
Test-based inference of polynomial loop-bound functions. PPPJ (2010)
Luc M. W. J. Rutten, Marko C. J. D. van Eekelen
Efficient and formally proven reduction of large integers by small moduli. ACM Trans. Math. Softw. 37 (2) (2010)
Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen
A Formal Verification Study on the Rotterdam Storm Surge Barrier. ICFEM (2010)
Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. High. Order Symb. Comput. 23 (4) (2010)
Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen
A software product certification model. Softw. Qual. J. 18 (1) (2010)
Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren
Polynomial Size Analysis of First-Order Shapely Functions Log. Methods Comput. Sci. 5 (2) (2009)
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers
Preemption Abstraction. FMICS (2009)
Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen
Inferring Static Non-monotone Size-aware Types Through Testing. Electron. Notes Theor. Comput. Sci. 216 (2008)
Sjaak Smetsers, Marko C. J. D. van Eekelen
LaQuSo: Using Formal Methods for Analysis of Safety-Cr. ERCIM News 2008 (75) (2008)
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS (2008)
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Functional Programs over Lists. IFL (2008)
Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen
Size Analysis of Algebraic Data Type. Trends in Functional Programming (2008)
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen
Polynomial Size Analysis of First-Order Functions. TLCA (2007)
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS (2007)
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE (2007)
Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko
Analysis of a Session-Layer Protocol in mCRL2. FMICS (2007)
Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming (2007)
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer
Proving Properties of Lazy Functional Programs with Sparkle. CEFP (2007)
Marko C. J. D. van Eekelen, Maarten de Mol
Proof Tool Support for Explicit Strictness. IFL (2005)
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
There and back again: arrows for invertible programming. Haskell (2005)
Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Compositional Model-Views with Generic Graphical User Interfaces. PADL (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
Automatic Generation of Editors for Higher-Order Data Structures. APLAS (2004)
Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol
Proof support for generic type classes. Trends in Functional Programming (2004)
Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen
Reasoning About Deterministic Concurrent Functional I/O. IFL (2004)
Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer
Generic Graphical User Interfaces. IFL (2003)
Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Theorem Proving for Functional Programmers. IFL (2001)
Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Polygonizing Implicit Surfaces in a Purely Functional Way. IFL (2000)
Marinus J. Plasmeijer, Marko C. J. D. van Eekelen
Keep it Clean: A Unique Approach to Functional Programming. ACM SIGPLAN Notices 34 (6) (1999)
Maarten de Mol, Marko C. J. D. van Eekelen
A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE (1999)
Marinus J. Plasmeijer, Marko C. J. D. van Eekelen
Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE (1999)
Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer
Graph Rewriting Semantics for Functional Programming Languages. CSL (1996)
Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming (1995)
Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Operational Machine Specification in a Functional Programming Language. Softw. Pract. Exp. 25 (5) (1995)
Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen
Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5 (3) (1995)
Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Concurrent Clean. PARLE (2) (1991)

Marko C. J. D. van Eekelen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marko C. J. D. van Eekelen