( en | de | ru )

 

Disambiguation of "Owe, Olaf"

Author of the publication

copydeleteadd this publication to your clipboard
Validating Timed Models of Deployment Components with Parametric Concurrency.

, , , and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)

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.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Piening

 

Other publications of authors with the same name

A sound and complete reasoning system for asynchronous communication with shared futures., and . J. Log. Algebraic Methods Program., 83 (5-6): 360-383 (2014)A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects., and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 274-295. Springer, (2004)A Dynamic Class Construct for Asynchronous Concurrent Objects., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 15-30. Springer, (2005)A Policy Language to Capture Compliance of Data Protection Requirements., , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 289-309. Springer, (2022)Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.. IFM, volume 9681 of Lecture Notes in Computer Science, page 210-225. Springer, (2016)A lightweight approach to smart contracts supporting safety, security, and privacy., and . J. Log. Algebraic Methods Program., (2022)Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis., , , and . IRI, page 504-511. IEEE Computer Society, (2013)Validating Timed Models of Deployment Components with Parametric Concurrency., , , and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 46-60. Springer, (2010)Security and Privacy Functionalities in IoT., , and . PST, page 1-12. IEEE, (2019)Verification of Concurrent Objects with Asynchronous Method Calls., , and . SwSTE, page 141-150. IEEE Computer Society, (2005)