Marko C. J. D. van Eekelen

◀ ▶ joint publications with Bernard van Gastel

> Home > Persons > Marko C. J. D. van Eekelen

Publications

2020
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/KlinikGKE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/KlinikGKE20
Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen:
Skylines for Symbolic Energy Consumption Analysis. FMICS 2020: 93-112
2018
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/GastelGE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/GastelGE18
Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen:
Detecting energy bugs and hotspots in control software using model checking. Programming 2018: 93-98
2017
[c61]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GastelE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GastelE17
Bernard van Gastel, Marko C. J. D. van Eekelen:
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. DICE-FOPARA@ETAPS 2017: 24-37
2015
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/GastelKE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/GastelKE15
Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen:
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA 2015: 20-39
2014
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/KerstenGSME14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/KerstenGSME14
Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen:
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014)
2013
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fopara/KerstenTGE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fopara/KerstenTGE13
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen:
A Hoare Logic for Energy Consumption Analysis. FOPARA 2013: 93-109
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/KerstenGDSE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/KerstenGDSE13
Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods 2013: 63-77
2012
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/KerstenSGME12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/KerstenSGME12
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen:
Making resource analysis practical for real-time Java. JTRES 2012: 135-144
2011
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GastelLSE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GastelLSE11
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. 76(2): 82-99 (2011)
2008
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GastelLSE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GastelLSE08
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: 85-102

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.