SCEAS

The SCEAS System

Title:
Author:

Peter Amey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Peter Amey
Logic versus Magic in Critical Systems. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2001, pp:49-67 [Conf]
Peter Amey
Closing the Loop: The Influence of Code Analysis on Design. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2002, pp:151-162 [Conf]
Peter Amey, Roderick Chapman, Neil White
Smart Certification of Mixed Criticality Systems. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2005, pp:144-155 [Conf]
Peter Amey, Brian Dobbing
High Integrity Ravenscar. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2003, pp:68-79 [Conf]
Peter Amey, Neil White
High Integrity Ada in a UML and C World. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 2004, pp:225-236 [Conf]
Peter Amey
A language for systems not just software. [Citation Graph (0, 0)][DBLP]
SIGAda, 2001, pp:3-11 [Conf]
Peter Amey, Roderick Chapman
Industrial strength exception freedom. [Citation Graph (0, 0)][DBLP]
SIGAda, 2002, pp:1-9 [Conf]
Peter Amey, Roderick Chapman
Static verification and extreme programming. [Citation Graph (0, 0)][DBLP]
SIGAda, 2003, pp:4-9 [Conf]
Peter Amey
Why Programming Languages Still Matter. [Citation Graph (0, 0)][DBLP]
RODIN Book, 2006, pp:391-402 [Conf]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP