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

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach., , , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 69-85. Springer, (2017)A Separation Principle for Embedded System Interfacing., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 373-388. Springer, (2014)Formal Methods: A Commentary., and . JIT, 2 (2): 77-80 (1987)Implementability of requirements in the four-variable model., , and . Sci. Comput. Program., (2015)Separating Safety and Control Systems to Reduce Complexity., , and . Conquering Complexity, Springer, (2012)Formalising Object-Oriented Models in the Object Calculus, , and . (1998)On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain, , , and . Springer Briefs in Computer Science Springer, (2020)Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems., , and . PROFES, volume 8892 of Lecture Notes in Computer Science, page 224-238. Springer, (2014)Towards specification, modelling and analysis of fault tolerance in self managed systems., and . SEAMS@ICSE, page 30-36. ACM, (2006)Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge., , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 87-102. Springer, (2015)