Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse., and . ICSE, page 220-229. IEEE Computer Society, (1996)Tool Support for Production Use of Formal Techniques, , and . Software Reliability Engineering, International Symposium on, (2001)Editorial: The State of TSE.. IEEE Trans. Software Eng., 30 (2): 81- (2004)An Experimental Evaluation of the Assumption of Independence in Multiversion Programming., and . IEEE Trans. Software Eng., 12 (1): 96-109 (1986)A Comprehensive Safety Lifecycle., , , and . SAFECOMP Workshops, volume 9338 of Lecture Notes in Computer Science, page 38-49. Springer, (2015)The Indispensable Role of Rationale in Safety Standards., and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 39-50. Springer, (2016)Practical Limits on Software Dependability: A Case Study., , and . Ada-Europe, volume 6106 of Lecture Notes in Computer Science, page 83-96. Springer, (2010)Applying Hypertext Structures to Software Documentation., , and . Inf. Process. Manag., 33 (2): 219-231 (1997)Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development., , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 317-330. Springer, (2003)On the provision of backward error recovery in production programming languages., and . FTCS, page 506-511. IEEE Computer Society, (1989)