default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Amey

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

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

2006
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rodin/Amey06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rodin/Amey06
Peter Amey:
Why Programming Languages Still Matter. RODIN Book 2006: 391-402
2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/AmeyCW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AmeyCW05
Peter Amey, Roderick Chapman, Neil White:
Smart Certification of Mixed Criticality Systems. Ada-Europe 2005: 144-155
2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/AmeyW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AmeyW04
Peter Amey, Neil White:
High Integrity Ada in a UML and C World. Ada-Europe 2004: 225-236
2003
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/AmeyD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AmeyD03
Peter Amey, Brian Dobbing:
High Integrity Ravenscar. Ada-Europe 2003: 68-79
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/AmeyD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/AmeyD03
Peter Amey, Brian Dobbing:
Static analysis of Ravenscar programs. IRTAW 2003: 58-64
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AmeyC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AmeyC03
Peter Amey, Roderick Chapman:
Static verification and extreme programming. SIGAda 2003: 4-9
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Amey02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Amey02
Peter Amey:
Closing the Loop: The Influence of Code Analysis on Design. Ada-Europe 2002: 151-162
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AmeyC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AmeyC02
Peter Amey, Roderick Chapman:
Industrial strength exception freedom. SIGAda 2002: 1-9
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Amey01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Amey01
Peter Amey:
Logic versus Magic in Critical Systems. Ada-Europe 2001: 49-67
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Amey01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Amey01
Peter Amey:
A language for systems not just software. SIGAda 2001: 3-11

Coauthor Index

see FAQ

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.