Marko C. J. D. van Eekelen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
17
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAC | A transfer learning approach to predict shipment description quality. | Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen |
| 2021 | PAAMS | Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models. | Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen |
| 2021 | SIGCSE | Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course. | Vreda Pieterse, Sylvia Stuurman, Marko C. J. D. van Eekelen |
| 2020 | FMICS | Skylines for Symbolic Energy Consumption Analysis. | Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen |
| 2020 | ICMLA | 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 |
| 2020 | TACAS | 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 |
| 2019 | FM | SOA and the Button Problem. | Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen |
| 2018 | ICSOC | Improved Architectures/Deployments with Elmo. | Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans |
| 2018 | SAC | Applying deep learning on packet flows for botnet detection. | Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen |
| 2016 | SECRYPT | 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 |
| 2015 | ICSE | Measuring Dependency Freshness in Software Systems. | Joel Cox, Eric Bouwers, Marko C. J. D. van Eekelen, Joost Visser |
| 2015 | ICSE | Improving Student Group Work with Collaboration Patterns: A Case Study. | Christian Kppe, Marko C. J. D. van Eekelen, Stijn Hoppenbrouwers |
| 2014 | CSEDU | 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 |
| 2014 | CSEDU | An Exercise Assistant for Practical Networking Courses. | Jens Haag, Christian Witte, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen |
| 2012 | IFM | A Proof Framework for Concurrent Programs. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2010 | ICFEM | A Formal Verification Study on the Rotterdam Storm Surge Barrier. | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2009 | FMICS | Preemption Abstraction. | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
| 2008 | FMICS | 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 |
| 2007 | FMICS | Analysis of a Session-Layer Protocol in mCRL2. | Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren Schreurs, Yaroslav S. Usenko |
| 2007 | FMICS | Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2005 | HASKELL | There and back again: arrows for invertible programming. | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
| 2004 | APLAS | Automatic Generation of Editors for Higher-Order Data Structures. | Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
| 2004 | PADL | Compositional Model-Views with Generic Graphical User Interfaces. | Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer |
| 1996 | CSL | Graph Rewriting Semantics for Functional Programming Languages. | Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer |