Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Iain Bate

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Patrick J. Graydon

> Home > Persons > Iain Bate

Publications

2015
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/SljivoJBG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/SljivoJBG15
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon:
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. HASE 2015: 126-133
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/GraydonB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/GraydonB14
Patrick J. Graydon, Iain Bate:
Realistic Safety Cases for the Timing of Systems. Comput. J. 57(5): 759-774 (2014)
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/GraydonB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/GraydonB14
Patrick J. Graydon, Iain Bate:
On the Nature and Content of Safety Contracts. HASE 2014: 245-246
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/GraydonB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/GraydonB14
Patrick J. Graydon, Iain Bate:
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. PRDC 2014: 135-144
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JaradatGB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JaradatGB14
Omar Jaradat, Patrick J. Graydon, Iain Bate:
An Approach to Maintaining Safety Case Evidence After A System Change. CoRR abs/1404.6846 (2014)
2013
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/AysanBGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/AysanBGP13
Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat:
Improving Reliability of Real-Time Systems through Value and Time Voting. PRDC 2013: 21-30
2012
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Rodriguez-NavasGB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Rodriguez-NavasGB12
Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate:
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? Haifa Verification Conference 2012: 276-277

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.