( en | de | ru )

 

Disambiguation of "Homburg, Philip"

Author of the publication

copydeleteadd this publication to your clipboard
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

, , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)

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.

Armin Homburg

Maria Homburg

Christian Homburg

Oliver Homburg

Stefan Homburg

 

Other publications of authors with the same name

Construction of a Highly Dependable Operating System., , , , and . EDCC, page 3-12. IEEE Computer Society, (2006)Fault isolation for device drivers., , , , and . DSN, page 33-42. IEEE Computer Society, (2009)Disallowing Unauthorized State Changes of Distributed Shared Objects., , , and . SEC, volume 175 of IFIP Conference Proceedings, page 381-390. Kluwer, (2000)Paranoid Android: versatile protection for smartphones., , , and . ACSAC, page 347-356. ACM, (2010)Reorganizing UNIX for Reliability., , , , and . Asia-Pacific Computer Systems Architecture Conference, volume 4186 of Lecture Notes in Computer Science, page 81-94. Springer, (2006)Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)., , , , and . PRDC, page 112-121. IEEE Computer Society, (2008)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)A Security Design for a Wide-Area Distributed System., , , , and . ICISC, volume 1787 of Lecture Notes in Computer Science, page 236-256. Springer, (1999)Failure Resilience for Device Drivers., , , , and . DSN, page 41-50. IEEE Computer Society, (2007)Locating objects in wide-area systems., , , and . IEEE Commun. Mag., 36 (1): 104-109 (1998)