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

Software analysis: a roadmap, and . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, page 133-145. (2000)Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint)., and . IEEE Software, 13 (2): 20 (1996)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , and . UIST, page 123-130. ACM, (2013)Module Dependences in Software Design.. RISSEF, volume 2941 of Lecture Notes in Computer Science, page 198-203. Springer, (2002)Critical Feature Analysis of a Radiotherapy Machine., , , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 221-234. Springer, (2003)αRby - An Embedding of Alloy in Ruby., , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 56-71. Springer, (2014)A Structure for Dependability Arguments., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 1. Springer, (2010)Idioms of Logical Modelling.. ICGT, volume 4178 of Lecture Notes in Computer Science, page 14. Springer, (2006)Conveying spatial awareness cues in xR collaborations., , , and . IEEE Trans. Vis. Comput. Graph., 25 (11): 3178-3189 (2019)