Marko C. J. D. van Eekelen

According to our database1, Marko C. J. D. van Eekelen authored at least 86 papers between 1986 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Evaluation of transaction authentication methods for online banking.
Future Generation Comp. Syst., 2018

Explaining the Most Probable Explanation.
Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

Applying deep learning on packet flows for botnet detection.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Detecting energy bugs and hotspots in control software using model checking.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Improved Architectures/Deployments with Elmo.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

2017
A Survey of Authentication and Communications Security in Online Banking.
ACM Comput. Surv., 2017

Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems.
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.
Electr. Notes Theor. Comput. Sci., 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.
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.
Sci. Comput. Program., 2015

Derivation and inference of higher-order strictness types.
Computer Languages, Systems & Structures, 2015

Formalizing Bialgebraic Semantics in PVS 6.0.
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.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Measuring Dependency Freshness in Software Systems.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Using Dependent Types to Define Energy Augmented Semantics of Programs.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

A Lightweight Method for Analysing Performance Dependencies Between Services.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2015

2014
Univariate polynomial solutions of algebraic difference equations.
J. Symb. Comput., 2014

ResAna: a resource analysis toolset for (real-time) JAVA.
Concurrency and Computation: Practice and Experience, 2014

What You Enter Is What You Sign: Input Integrity in an Online Banking Environment.
Proceedings of the 2014 Workshop on Socio-Technical Aspects in Security and Trust, 2014

ECAlogic: hardware-parametric energy-consumption analysis of algorithms.
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

Gamification in educational software development.
Proceedings of the Computer Science Education Research Conference, 2014

An Exercise Assistant for Practical Networking Courses.
Proceedings of the CSEDU 2014, 2014

An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education.
Proceedings of the Computer Supported Education - 6th International Conference, 2014

2013
EditorArrow: An arrow-based model for editor-based programming.
J. Funct. Program., 2013

Report of the CSER C'12 conference.
Inroads, 2013

Modular Bialgebraic Semantics and Algebraic Laws.
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013

Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials.
Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing.
Proceedings of the NASA Formal Methods, 2013

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

A Hoare Logic for Energy Consumption Analysis.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Beautiful Code, Beautiful Proof?
Proceedings of the Beauty of Functional Code, 2013

2012
Higher-Order Strictness Typing.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Higher-Order Size Checking without Subtyping.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Generating Verifiable Java Code from Verified PVS Specifications.
Proceedings of the NASA Formal Methods, 2012

Making resource analysis practical for real-time Java.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

A Proof Framework for Concurrent Programs.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A new method for sustainable development of open educational resources.
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.
Sci. Comput. Program., 2011

Formal Component-Based Semantics
Proceedings of the Proceedings Eight Workshop on Structural Operational Semantics 2011, 2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010
Efficient and formally proven reduction of large integers by small moduli.
ACM Trans. Math. Softw., 2010

A software product certification model.
Software Quality Journal, 2010

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
Higher-Order and Symbolic Computation, 2010

Test-based inference of polynomial loop-bound functions.
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.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Polynomial Size Analysis of First-Order Shapely Functions
Logical Methods in Computer Science, 2009

Preemption Abstraction.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
LaQuSo: Using Formal Methods for Analysis of Safety-Cr.
ERCIM News, 2008

Inferring Static Non-monotone Size-aware Types Through Testing.
Electr. Notes Theor. Comput. Sci., 2008

Size Analysis of Algebraic Data Type.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Collected Size Semantics for Functional Programs over Lists.
Proceedings of the Implementation and Application of Functional Languages, 2008

Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007
Polynomial Size Analysis of First-Order Functions.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

AHA: Amortized Heap Space Usage Analysis.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Analysis of a Session-Layer Protocol in mCRL2.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Proving Properties of Lazy Functional Programs with Sparkle.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

A Single-Step Term-Graph Reduction System for Proof Assistants.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2005
Proof Tool Support for Explicit Strictness.
Proceedings of the Implementation and Application of Functional Languages, 2005

There and back again: arrows for invertible programming.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004
Proof support for generic type classes.
Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Compositional Model-Views with Generic Graphical User Interfaces.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Reasoning About Deterministic Concurrent Functional I/O.
Proceedings of the Implementation and Application of Functional Languages, 2004

Automatic Generation of Editors for Higher-Order Data Structures.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.
Proceedings of the Advanced Functional Programming, 2004

2003
Generic Graphical User Interfaces.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2001
Theorem Proving for Functional Programmers.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000
Polygonizing Implicit Surfaces in a Purely Functional Way.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
Keep it Clean: A Unique Approach to Functional Programming.
SIGPLAN Notices, 1999

Term Graph Rewriting and Mobile Expressions in Functional Languages.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

A Proof Tool Dedicated to Clean - The First Prototype.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1996
Graph Rewriting Semantics for Functional Programming Languages.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995
Operational Machine Specification in a Functional Programming Language.
Softw., Pract. Exper., 1995

Implementing a Functional Spreadsheet in Clean.
J. Funct. Program., 1995

Constructing Medium Sized Efficient Functional Programs in Clean.
Proceedings of the Advanced Functional Programming, 1995

1993
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Functional Programming and Parallel Graph Rewriting
Addison-Wesley, ISBN: 0-201-41663-8, 1993

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

1990
Parallel Graph Rewriting on Loosely Coupled Machine Architectures.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989
LEAN: an intermediate language based on graph rewriting.
Parallel Computing, 1989

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

1987
The Dutch parallel reduction machine project.
Future Generation Comp. Syst., 1987

Towards an Intermediate Language based on Graph Rewriting.
Proceedings of the PARLE, 1987


CLEAN: A language for functional graph writing.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
Specification of reduction strategies in term rewriting systems.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986


  Loading...