Tim Clement
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
1991–2003
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SAFECOMP | Integrity Static Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
| 2002 | SAFECOMP | Software Criticality Analysis of COTS/SOUP. | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra |
| 1999 | SAFECOMP | The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT | Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones |
| 1998 | FM | Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. | Meine van der Meulen, Tim Clement |
| 1996 | FM | Data Reification without Explicit Abstraction Functions. | Tim Clement |
| 1994 | FM | Comparing Approaches to Data Reification. | Tim Clement |
| 1991 | FM | Combining Transformation and Posit-and Prove in a VDM Development. | Tim Clement |