Roderick Chapman

Correctness by construction: developing a commercial secure system

Anthony Hall, Roderick Chapman · IEEE Software · 2002 · 242 citations

Computing, Computer Science, Systems Engineering +17

Is proof more cost-effective than testing?

S. King, Jonathan Hammond, Roderick Chapman et al. · IEEE Transactions on Software Engineering · 2000 · 91 citations

Computing, Computer Engineering, Computer Science +15

Formal Methods in Industry

Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 66 citations · Full text

Management, Project Management, Systems Engineering +6

Correctness by construction: a manifesto for high integrity software

Roderick Chapman · 2006 · 63 citations

Computing, Computer Science, Quality Assurance +12

Combining static worst-case timing analysis and program proof

Roderick Chapman, Alan Burns, Andy Wellings · Real-Time Systems · 1996 · 50 citations

Computing, Computer Engineering, Computer Science +10