Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Meine van der Meulen

Meine Jochum Peter van der Meulen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b2]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/vanderMeulen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/vanderMeulen08
Meine Jochum Peter van der Meulen:
The Effectiveness of Software Diversity. City University London, UK, 2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MeulenR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MeulenR08
Meine van der Meulen, Miguel A. Revilla:
The Effectiveness of Software Diversity in a Large Population of Programs. IEEE Trans. Software Eng. 34(6): 753-764 (2008)
2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MeulenR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MeulenR07
Meine van der Meulen, Miguel A. Revilla:
Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs. ISSRE 2007: 203-208
2006
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MeulenR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MeulenR06
Meine van der Meulen, Miguel A. Revilla:
Experiences with the Design of a Run-Time Check. SAFECOMP 2006: 302-315
2005
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/MeulenR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/MeulenR05
Meine van der Meulen, Miguel A. Revilla:
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. EDCC 2005: 199-209
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccbss/MeulenRSJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccbss/MeulenRSJ05
Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson:
Protective Wrapping of Off-the-Shelf Components. ICCBSS 2005: 168-177
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MeulenSR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MeulenSR05
Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla:
On the Effectiveness of Run-Time Checks. SAFECOMP 2005: 151-164
2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MeulenBR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MeulenBR04
Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla:
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. ISSRE 2004: 101-112
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BentleyBM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BentleyBM04
J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen:
An Empirical Exploration of the Difficulty Function. SAFECOMP 2004: 60-71
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Meulen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Meulen02
Meine van der Meulen:
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. FMCAD 2002: 310-323
2000
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0007276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0007276
Meine van der Meulen:
Definitions for hardware and software safety engineers. Springer 2000, ISBN 978-1-85233-175-7, pp. I-VII, 1-341
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/2000
Floor Koornneef, Meine van der Meulen:
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Lecture Notes in Computer Science 1943, Springer 2000, ISBN 3-540-41186-0 [contents]

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MeulenC98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MeulenC98
Meine van der Meulen, Tim Clement:
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. FM-Trends 1998: 296-301
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MeulenSC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MeulenSC93
Meine Jochum Peter van der Meulen, Tor Stålhane, B. Cole:
Programmable Electronic System Analysis Technique in Safety Critical Applications. SAFECOMP 1993: 85-90

Coauthor Index

see FAQ

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.