BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Spain
2 × United Kingdom
3 × USA
Collaborated with:
P.Amey T.Jennings A.Hilton R.Dewar N.White S.King J.Hammond A.Pryor
Talks about:
industri (2) safeti (2) critic (2) verif (2) spark (2) strength (1) program (1) freedom (1) analysi (1) system (1)

Person: Roderick Chapman

DBLP DBLP: Chapman:Roderick

Contributed to:

Ada-Europe 20112011
Ada-Europe 20052005
SIGAda 20042004
SIGAda 20032003
SIGAda 20022002
Ada-Europe 19991999
World Congress on Formal Methods 19991999
Ada-Europe 20172017

Wrote 8 papers:

OOT, DO-178C and SPARK (RC, TJ), pp. 206–210.
AdaEurope-2005-AmeyCW #certification
Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.
SIGAda-2004-ChapmanH #analysis #data flow #modelling #safety #security
Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.
SIGAda-2003-AmeyC #programming #verification
Static verification and extreme programming (PA, RC), pp. 4–9.
SIGAda-2002-AmeyC #exception #industrial
Industrial strength exception freedom (PA, RC), pp. 1–9.
AdaEurope-1999-ChapmanD #safety #using
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.
FM-v2-1999-KingHCP #experience #industrial #proving #verification
The Value of Verification: Positive Experience of Industrial Proof (SK, JH, RC, AP), pp. 1527–1545.
AdaEurope-2017-Chapman #how
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...) (RC), pp. 37–52.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.