Search Results - van Eekelen, Marko

Refine Results
  1. 1
    Measuring Dependency Freshness in Software Systems

    Measuring Dependency Freshness in Software Systems by Cox, Joel, Bouwers, Eric, van Eekelen, Marko, Visser, Joost

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    ResAna: a resource analysis toolset for (real-time) JAVA

    ResAna: a resource analysis toolset for (real-time) JAVA by Kersten, Rody W. J., van Gastel, Bernard E., Shkaravska, Olha, Montenegro, Manuel, van Eekelen, Marko C. J. D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A Survey of Authentication and Communications Security in Online Banking

    A Survey of Authentication and Communications Security in Online Banking by Kiljan, Sven, Simoens, Koen, Cock, Danny De, Eekelen, Marko Van, Vranken, Harald

    Published in ACM computing surveys
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Improving Student Group Work with Collaboration Patterns: A Case Study

    Improving Student Group Work with Collaboration Patterns: A Case Study by Koppe, Christian, Van Eekelen, Marko, Hoppenbrouwers, Stijn

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

    Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems by van Gastel, Bernard, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Efficient and formally proven reduction of large integers by small moduli

    Efficient and formally proven reduction of large integers by small moduli by Rutten, Luc, Van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials

    Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials by Shkaravska, Olha, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Evaluation of transaction authentication methods for online banking

    Evaluation of transaction authentication methods for online banking by Kiljan, Sven, Vranken, Harald, van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives

    Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives by Butz, Raphaela, Schulz, Renée, Hommersom, Arjen, van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Formal Component-Based Semantics

    Formal Component-Based Semantics by Madlener, Ken, Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models

    Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models by Schuderer, Andreas, Bromuri, Stefano, Marko van Eekelen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Polynomial Size Analysis of First-Order Shapely Functions

    Polynomial Size Analysis of First-Order Shapely Functions by Shkaravska, Olha, van Eekelen, Marko, van Kesteren, Ron

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Derivation and inference of higher-order strictness types

    Derivation and inference of higher-order strictness types by Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011

    Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 by Shkaravska, Olha, Della Rocca, Simona Ronchi, van Eekelen, Marko

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems

    Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems by Bernard van Gastel, Marko van Eekelen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    A software product certification model

    A software product certification model by Heck, Petra, Klabbers, Martijn, van Eekelen, Marko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Efficient and Formally Proven Reduction of Large Integers by Small Moduli

    Efficient and Formally Proven Reduction of Large Integers by Small Moduli by RUTTEN IBM, Luc, VAN EEKELEN, Marko

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

    Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving by van Gastel, Bernard, Lensink, Leonard, Smetsers, Sjaak, van Eekelen, Marko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    EditorArrow: An arrow-based model for editor-based programming

    EditorArrow: An arrow-based model for editor-based programming by ACHTEN, PETER, VAN EEKELEN, MARKO, DE MOL, MAARTEN, PLASMEIJER, RINUS

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    Preface

    Preface by van Eekelen, Marko, Eder, Kerstin

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: