14 citations · 24 across the 5 of their papers we have counts for
6 papers
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
Farzane Karami, Olaf Owe, Gerardo Schneider
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…
PDS: Deduce Elder Privacy from Smart Homes
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
With the development of IoT technologies in the past few years, a wide range of smart devices are deployed in a variety of environments aiming to improve the quality of human life…
Privacy Mining from IoT-based Smart Homes
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
Recently, a wide range of smart devices are deployed in a variety of environments to improve the quality of human life. One of the important IoT-based applications is smart homes f…
Dynamic Structural Operational Semantics
Christian Johansen, Olaf Owe
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynam…
A Type-Safe Model of Adaptive Object Groups
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen +1
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Design…
Lightweight Time Modeling in Timed Creol
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe +1
Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-b…