Author of the publication

The Impact of Aspect-Oriented Programming on Formal Methods.

, and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 436. Springer, (1998)

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

Same Same, but Different: A Descriptive Differentiation of Intra-cloud Iaas Services., , and . CoRR, (2018)Perspectives on Software-Defined Networks: interviews with five leading scientists from the networking community., , , , , , , and . CoRR, (2016)Systems thinking and efficiency under emissions constraints: Addressing rebound effects in digital innovation and policy., , , , , , , , , and 9 other author(s). Patterns, 4 (2): 100679 (February 2023)The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord., , , , , , , , , and 31 other author(s). Patterns, 2 (1): 100156 (2021)Modeling for Sustainability (Dagstuhl Seminar 18351)., , , and . Dagstuhl Reports, 8 (8): 146-168 (2018)A Dynamic Interoperability Model for an Emergent Middleware Framework., and . Int. J. Distributed Syst. Technol., 14 (1): 1-27 (2023)Daleel: Simplifying Cloud Instance Selection Using Machine Learning., , , and . CoRR, (2016)An Integrated Platform and Computational Model for Open Distrinuted Multimedia Applications., , , , , and . NOSSDAV, volume 712 of Lecture Notes in Computer Science, page 223-236. Springer, (1992)The Impact of Aspect-Oriented Programming on Formal Methods., and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 436. Springer, (1998)Guest Editors' Introduction: Selected papers from Middleware'98: The IFIP International Conference on Distributed Systems - Platforms and Open Distributed Processing., , and . Distributed Systems Engineering, 6 (1): 1-2 (1999)