PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Owe, Olaf"

Author of the publication

copydeleteadd this publication to your clipboard
PDS: Deduce elder privacy from smart homes.

, , and . Internet Things, (2019)

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.

Dr. -Ing. Olaf Weber University of Stuttgart

Olaf Böckmann University of Stuttgart

Univ. -Prof. Dr. -Ing. Sven Olaf Neumann University of Stuttgart

 

Other publications of authors with the same name

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems., , and . MODELSWARD, page 480-487. SciTePress, (2014)A Compositional Formalism for Object Viewpoints., and . FMOODS, volume 209 of IFIP Conference Proceedings, page 45-60. Kluwer, (2002)Language-based support for service oriented architectures: Future directions., , , and . ICSOFT (1), page 339-344. INSTICC Press, (2006)Deadlock detection of active objects with synchronous and asynchronous method calls., and . NIK, Bibsys Open Journal Systems, Norway, (2014)Specification of Distributed Systems with a Combination of Graphica and Formal Languages., , , and . APSEC, page 105-. IEEE Computer Society, (2001)Generator Induction in Order Sorted Algebras., and . Formal Asp. Comput., 3 (1): 2-20 (1991)A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls., , and . Electr. Notes Theor. Comput. Sci., (2005)Observable behavior of distributed systems: Component reasoning for concurrent objects., , , and . J. Log. Algebr. Program., 81 (3): 227-256 (2012)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , and . Trans. Found. Mastering Chang., (2016)Concurrent Objects à la Carte., , and . Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 185-206. Springer, (2010)