Tim Clement

According to our database, Tim Clement authored at least 9 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

The Morality and Economics of Safety in Defence Procurement.

Tim Clement

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2003

Software criticality analysis of COTS/SOUP.

Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra

Reliab. Eng. Syst. Saf., 2003

Integrity Static Analysis of COTS/SOUP.

Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones

Proceedings of the Computer Safety, 2003

1999

The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT^TM Story.

Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones

Proceedings of the Computer Safety, 1999

1998

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.

Meine van der Meulen, Tim Clement

Proceedings of the Applied Formal Methods, 1998

1996

Data Reification without Explicit Abstraction Functions.

Tim Clement

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

Comparing Approaches to Data Reification.

Tim Clement

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992

Using Metavariables in Natural Deduction Proofs.

Tim Clement

Proceedings of the 5th Refinement Workshop, 1992

1991

Combining Transformation and Posit-and Prove in a VDM Development.

Tim Clement

Proceedings of the VDM '91, 1991