Marko C. J. D. van Eekelen

120 papers A 1B 5C 10Misc 3Journal 28Unranked 61

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