Marko C. J. D. van Eekelen

According to our database, Marko C. J. D. van Eekelen authored at least 107 papers between 1986 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives.

Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen

Artif. Intell. Medicine, 2022

A transfer learning approach to predict shipment description quality.

Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials.

Olha Shkaravska, Marko C. J. D. van Eekelen

J. Symb. Comput., 2021

Efficient Verification of Optimized Code: Correct High-speed X25519.

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen

IACR Cryptol. ePrint Arch., 2021

What is understandable in Bayesian network explanations?

Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen

CoRR, 2021

Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course.

Vreda Pieterse, Sylvia Stuurman, Marko C. J. D. van Eekelen

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models.

Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

Neural Machine Translation for Harmonized System Codes prediction.

Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen

Proceedings of the ICMLT 2021: 6th International Conference on Machine Learning Technologies, Jeju Island, Republic of Korea, April 23, 2021

2020

Efficient Verification of Optimized Code: Correct High-speed Curve25519.

Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen

CoRR, 2020

Verifying OpenJDK's LinkedList using KeY.

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Interpreting Attention Models: LSTM vs. CNN : A case study on customer activation.

Koen Weterings, Shir-Lee Kimelman, Stefano Bromuri, Marko C. J. D. van Eekelen

Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

Skylines for Symbolic Energy Consumption Analysis.

Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

A Virtual Classroom for Cybersecurity Education.

Jens Haag, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Trans. Edutainment, 2019

A benchmark for C program verification.

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

CoRR, 2019

File Fragmentation in the Wild: a Privacy-Friendly Approach.

Vincent van der Meer, Hugo Jonker, Guy Dols, Harm M. A. van Beek, Jeroen van den Bos, Marko C. J. D. van Eekelen

Proceedings of the IEEE International Workshop on Information Forensics and Security, 2019

SOA and the Button Problem.

Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Explaining Customer activation with Deep Attention Models.

Koen Weterings, Stefano Bromuri, Marko C. J. D. van Eekelen

Proceedings of the 27th European Conference on Information Systems, 2019

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

Static Detection of Design Patterns in Class Diagrams.

Ed van Doorn, Sylvia Stuurman, Marko C. J. D. van Eekelen

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2018

Evaluation of transaction authentication methods for online banking.

Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Future Gener. Comput. Syst., 2018

Explaining the Most Probable Explanation.

Raphaela Butz, Arjen Hommersom, Marko C. J. D. van Eekelen

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Applying deep learning on packet flows for botnet detection.

Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Detecting energy bugs and hotspots in control software using model checking.

Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

How personality diversity influences team performance in student software engineering teams.

Vreda Pieterse, Mpho Leeu, Marko C. J. D. van Eekelen

Proceedings of the 2018 Conference on Information Communications Technology and Society (ICTAS), 2018

Improved Architectures/Deployments with Elmo.

Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans

Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

2017

A Survey of Authentication and Communications Security in Online Banking.

Sven Kiljan, Koen Simoens, Danny De Cock, Marko C. J. D. van Eekelen, Harald P. E. Vranken

ACM Comput. Surv., 2017

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems.

Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017

2016

Preface.

Marko C. J. D. van Eekelen, Kerstin Eder

Proceedings of the Resource Aware Computing, 2016

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.

Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

2015

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011.

Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen

Sci. Comput. Program., 2015

Derivation and inference of higher-order strictness types.

Sjaak Smetsers, Marko C. J. D. van Eekelen

Comput. Lang. Syst. Struct., 2015

Formalizing Bialgebraic Semantics in PVS 6.0.

Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen

Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2015

Improving Student Group Work with Collaboration Patterns: A Case Study.

Christian Köppe, Marko C. J. D. van Eekelen, Stijn Hoppenbrouwers

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Measuring Dependency Freshness in Software Systems.

Joel Cox, Eric Bouwers, Marko C. J. D. van Eekelen, Joost Visser

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Using Dependent Types to Define Energy Augmented Semantics of Programs.

Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

A Lightweight Method for Analysing Performance Dependencies Between Services.

Arjan Lamers, Marko C. J. D. van Eekelen

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

2014

Univariate polynomial solutions of algebraic difference equations.

Olha Shkaravska, Marko C. J. D. van Eekelen

J. Symb. Comput., 2014

ResAna: a resource analysis toolset for (real-time) JAVA.

Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen

Concurr. Comput. Pract. Exp., 2014

What You Enter Is What You Sign: Input Integrity in an Online Banking Environment.

Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014

ECAlogic: hardware-parametric energy-consumption analysis of algorithms.

Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

Gamification in educational software development.

Achilleas L. D. Buisman, Marko C. J. D. van Eekelen

Proceedings of the Computer Science Education Research Conference, 2014

An Exercise Assistant for Practical Networking Courses.

Jens Haag, Christian Witte, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Proceedings of the CSEDU 2014, 2014

An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education.

Jens Haag, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen

Proceedings of the Computer Supported Education - 6th International Conference, 2014

2013

EditorArrow: An arrow-based model for editor-based programming.

Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer

J. Funct. Program., 2013

Report of the CSER C'12 conference.

Christian Köppe, Marko C. J. D. van Eekelen

Inroads, 2013

Modular Bialgebraic Semantics and Algebraic Laws.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials.

Willem Burgers, Roel Verdult, Marko C. J. D. van Eekelen

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.

Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the NASA Formal Methods, 2013

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

A Hoare Logic for Energy Consumption Analysis.

Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Beautiful Code, Beautiful Proof?

Maarten de Mol, Marko C. J. D. van Eekelen

Proceedings of the Beauty of Functional Code, 2013

2012

Higher-Order Strictness Typing.

Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Higher-Order Size Checking without Subtyping.

Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Generating Verifiable Java Code from Verified PVS Specifications.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the NASA Formal Methods, 2012

Making resource analysis practical for real-time Java.

Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

A Proof Framework for Concurrent Programs.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A new method for sustainable development of open educational resources.

Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren

Proceedings of Second Computer Science Education Research Conference, 2012

2011

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving.

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Sci. Comput. Program., 2011

Formal Component-Based Semantics

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.

Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Efficient and formally proven reduction of large integers by small moduli.

Luc M. W. J. Rutten, Marko C. J. D. van Eekelen

ACM Trans. Math. Softw., 2010

A software product certification model.

Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen

Softw. Qual. J., 2010

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.

Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán

High. Order Symb. Comput., 2010

Test-based inference of polynomial loop-bound functions.

Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

A Formal Verification Study on the Rotterdam Storm Surge Barrier.

Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren

Log. Methods Comput. Sci., 2009

Preemption Abstraction.

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

LaQuSo: Using Formal Methods for Analysis of Safety-Cr.

Sjaak Smetsers, Marko C. J. D. van Eekelen

ERCIM News, 2008

Size Analysis of Algebraic Data Type.

Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Collected Size Semantics for Functional Programs over Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Implementation and Application of Functional Languages, 2008

Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Inferring Static Non-monotone Size-aware Types Through Testing.

Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Polynomial Size Analysis of First-Order Functions.

Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.

Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Analysis of a Session-Layer Protocol in mCRL2.

Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Proving Properties of Lazy Functional Programs with Sparkle.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.

Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2005

Proof Tool Support for Explicit Strictness.

Marko C. J. D. van Eekelen, Maarten de Mol

Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Proof support for generic type classes.

Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Reasoning About Deterministic Concurrent Functional I/O.

Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen

Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden

Proceedings of the Advanced Functional Programming, 2004

2003

Generic Graphical User Interfaces.

Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2001

Theorem Proving for Functional Programmers.

Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000

Polygonizing Implicit Surfaces in a Purely Functional Way.

Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Keep it Clean: A Unique Approach to Functional Programming.

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

ACM SIGPLAN Notices, 1999

Term Graph Rewriting and Mobile Expressions in Functional Languages.

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

A Proof Tool Dedicated to Clean - The First Prototype.

Maarten de Mol, Marko C. J. D. van Eekelen

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Parallel and Distributed Programming in Concurrent Clean.

Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1996

Graph Rewriting Semantics for Functional Programming Languages.

Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995

Operational Machine Specification in a Functional Programming Language.

Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Softw. Pract. Exp., 1995

Implementing a Functional Spreadsheet in Clean.

Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen

J. Funct. Program., 1995

Constructing Medium Sized Efficient Functional Programs in Clean.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Advanced Functional Programming, 1995

1993

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.

Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Functional Programming and Parallel Graph Rewriting

Marinus J. Plasmeijer, Marko C. J. D. van Eekelen

Addison-Wesley, ISBN: 0-201-41663-8, 1993

1991

Concurrent Clean.

E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Parallel Graph Rewriting on Loosely Coupled Machine Architectures.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

LEAN: an intermediate language based on graph rewriting.

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep

Parallel Comput., 1989

1988

Parallel graph rewriting - some contributions to its theory, its implementation and its application.

Marko C. J. D. van Eekelen

PhD thesis, 1988

1987

The Dutch parallel reduction machine project.

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree

Future Gener. Comput. Syst., 1987

Towards an Intermediate Language based on Graph Rewriting.

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep

Proceedings of the PARLE, 1987

Term Graph Rewriting.

Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep

Proceedings of the PARLE, 1987

CLEAN: A language for functional graph writing.

T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Specification of reduction strategies in term rewriting systems.

Marko C. J. D. van Eekelen, Marinus J. Plasmeijer

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986