| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Generating Verifiable Java Code from Verified PVS Specifications.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Formal Component-Based Semantics |
SOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.) |
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Higher-Order and Symbolic Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen |
A software product certification model. |
Software Quality Journal |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
A Formal Verification Study on the Rotterdam Storm Surge Barrier. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen |
Test-based inference of polynomial loop-bound functions. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Olha Shkaravska (eds.) |
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers |
FOPARA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren |
Polynomial Size Analysis of First-Order Shapely Functions |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen |
Inferring Static Non-monotone Size-aware Types Through Testing. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Marko C. J. D. van Eekelen |
LaQuSo: Using Formal Methods for Analysis of Safety-Cr. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet |
Collected Size Semantics for Functional Programs over Lists. |
IFL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen |
Polynomial Size Analysis of First-Order Functions. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
Shapely Functions, Size Analysis, Type Checking, Diophantine equations |
| 1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
simulation, verification, theorem proving, PVS, cyclic scheduling |
| 1 | Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko |
Analysis of a Session-Layer Protocol in mCRL2. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
A Single-Step Term-Graph Reduction System for Proof Assistants. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen (eds.) |
Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. |
Trends in Functional Programming |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
Proving Properties of Lazy Functional Programs with Sparkle. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
invertible program construction, haskell, polytypic programming, arrows |
| 1 | Marko C. J. D. van Eekelen, Maarten de Mol |
Proof Tool Support for Explicit Strictness. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Compositional Model-Views with Generic Graphical User Interfaces. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
Automatic Generation of Editors for Higher-Order Data Structures. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol |
Proof support for generic type classes. |
Trends in Functional Programming |
2004 |
DBLP BibTeX RDF |
|
| 1 | Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen |
Reasoning About Deterministic Concurrent Functional I/O. |
IFL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
Generic Graphical User Interfaces. |
IFL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Theorem Proving for Functional Programmers. |
IFL |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinus J. Plasmeijer, Marko C. J. D. van Eekelen |
Keep it Clean: A Unique Approach to Functional Programming. |
SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinus J. Plasmeijer, Marko C. J. D. van Eekelen |
Term Graph Rewriting and Mobile Expressions in Functional Languages. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten de Mol, Marko C. J. D. van Eekelen |
A Proof Tool Dedicated to Clean - The First Prototype. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |
Graph Rewriting Semantics for Functional Programming Languages. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Operational Machine Specification in a Functional Programming Language. |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Constructing Medium Sized Efficient Functional Programs in Clean. |
Advanced Functional Programming |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marinus J. Plasmeijer, Marko C. J. D. van Eekelen |
Functional Programming and Parallel Graph Rewriting |
|
1993 |
RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Concurrent Clean. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers |
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep |
LEAN: an intermediate language based on graph rewriting. |
Parallel Computing |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen |
Parallel graph rewriting - some contributions to its theory, its implementation and its application. |
|
1988 |
RDF |
|
| 1 | Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep |
Term Graph Rewriting. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep |
Towards an Intermediate Language based on Graph Rewriting. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer |
CLEAN: A language for functional graph writing. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
Specification of reduction strategies in term rewriting systems. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")