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

A Cottage Industry of Software Publishing: Implications for Theories of Composition., , and . IPPS/SPDP Workshops, volume 1388 of Lecture Notes in Computer Science, page 890-899. Springer, (1998)A Container-Based Approach to Object-Oriented Product Lines., , , , and . J. Object Technol., 3 (4): 161-175 (2004)An Array Abstraction to Amortize Reasoning About Parallel Client Code., , and . SAI (1), volume 283 of Lecture Notes in Networks and Systems, page 346-362. Springer, (2021)Formal Verification of a Java Component Using the RESOLVE Framework., and . FroCoS, volume 12941 of Lecture Notes in Computer Science, page 287-305. Springer, (2021)Remote Belief: Preserving Volition for Loosely Coupled Processe., and . ICDCS, page 434-440. IEEE Computer Society, (2003)A Verified Integration of Parallel Programming Paradigms in CC++.. IPPS, page 44-50. IEEE Computer Society, (1994)The specification of distributed objects: liveness and locality., and . CASCON, page 11. IBM, (1999)A class of synchronization systems that permit the use of large atomic blocks.. CASCON, page 21. IBM, (1998)Increasing client-side confidence in remote component implementations., and . ESEC / SIGSOFT FSE, page 52-61. ACM, (2001)An Eventually Perfect Failure Detector on ADD Channels Using Clustering., and . NETYS, volume 13464 of Lecture Notes in Computer Science, page 149-166. Springer, (2022)