Olaf Owe

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Elahe Fazeldehkordi

> Home > Persons > Olaf Owe

Publications

2022
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/OweF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/OweF22
Olaf Owe, Elahe Fazeldehkordi:
A lightweight approach to smart contracts supporting safety, security, and privacy. J. Log. Algebraic Methods Program. 127: 100772 (2022)
2019
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/FazeldehkordiOR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/FazeldehkordiOR19
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani:
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems. IOSec/MSTEC/FINSEC@ESORICS 2019: 258-277
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ismict/FazeldehkordiON19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismict/FazeldehkordiON19
Elahe Fazeldehkordi, Olaf Owe, Josef Noll:
Security and Privacy in IoT Systems: A Case Study of Healthcare Products. ISMICT 2019: 1-8
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/OweLF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/OweLF19
Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi:
A Flexible Framework for Program Evolution and Verification. MODELSWARD 2019: 177-189
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/OweFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/OweFL19
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin:
A Framework for Flexible Program Evolution and Verification of Distributed Systems. MODELSWARD (Revised Selected Papers) 2019: 320-349
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/pst/FazeldehkordiON19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pst/FazeldehkordiON19
Elahe Fazeldehkordi, Olaf Owe, Josef Noll:
Security and Privacy Functionalities in IoT. PST 2019: 1-12
2017
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OweRF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OweRF17
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi:
Hoare-Style Reasoning from Multiple Contracts. IFM 2017: 263-278

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.