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

Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems, , and . International Conference on Human Aspects of Advanced Manufacturing: Agility & Hybrid Automation, page 321--328. (May 2003)Heterogeneous Modelling of Evolution for Socio-technical Systems, and . International Conference on Dependable Systems and Networks, Workshop on Interdisciplinary approaches to achieving and analysing system dependability, page 210--215. Florence, Italy, (June 2004)Safety, reliability and security of industrial computer systems., and . Reliab. Eng. Syst. Saf., 89 (1): 1-5 (2005)A Framework for Modelling Trojans and Computer Virus Infection., , and . Comput. J., 41 (7): 444-458 (1998)The Formalization and Analysis of a Communications Protocol., and . Formal Aspects Comput., 6 (1): 92-112 (1994)A case study in innovative process improvement: code synthesis from formal specifications., , , and . Microprocess. Microsystems, 23 (7): 417-424 (1999)On a time enriched OCL liveness template., and . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)Problems of data mobility and reuse in the provision of computer-based training for screening mammography., , , , , , and . CHI, page 909-918. ACM, (2012)Euphonia: Reflecting on the Design of an AI-Powered Voice-Controlled Narrative Game., , , , and . CHI PLAY (Companion), page 204-208. ACM, (2020)OfGAN: Realistic Rendition of Synthetic Colonoscopy Videos., , , , , , and . MICCAI (3), volume 12263 of Lecture Notes in Computer Science, page 732-741. Springer, (2020)