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

Books and Theses

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
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

Journal Articles

see FAQ

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

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)

Conference and Workshop Papers

see FAQ

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

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
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

Editorship

see FAQ

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

2000
[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]

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.