( en | de | ru )

 

Disambiguation of "Stroud, Robert J."

Author of the publication

copydeleteadd this publication to your clipboard
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

, , , , , , and . FTCS, page 68-75. IEEE Computer Society, (1999)

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.

David Stroud

Robert J Schuldt

Robert J Zydenbos

Robert J Gdanitz

Robert J Foster

 

Other publications of authors with the same name

From Dalang to Kava - The Evolution of a Reflective Java Extension., and . Reflection, volume 1616 of Lecture Notes in Computer Science, page 2-21. Springer, (1999)A Reflective Java Class Loader., and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 374-375. Springer, (1998)Security-Informed Safety: Supporting Stakeholders with Codes of Practice., , , and . Computer, 51 (8): 60-65 (2018)Kava - a powerful and portable reflective Java (poster session)., and . OOPSLA Addendum, page 123-124. ACM, (2000)A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture., , , and . DSN, page 453-. IEEE Computer Society, (2004)Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis., , , , , , , , and . SAFECOMP (Workshops), volume 14989 of Lecture Notes in Computer Science, page 173-187. Springer, (2024)Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code., and . ESORICS, volume 1895 of Lecture Notes in Computer Science, page 309-323. Springer, (2000)Re-engineering Security as a Crosscutting Concern., and . Comput. J., 46 (5): 578-589 (2003)Semantic Analysis of Assurance Cases using s(CASP)., , , , , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Runtime Implementation of Aspects Using Kava., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 303-304. Springer, (1999)