Bjarte M. Østvold

Publikasjoner:

54 treff i publikasjoner

Publikasjon

År

Kategori

An Abstract Machine Approach to Preserving Digital Information

2021

Vitenskapelig artikkel

Security & Privacy in Social Robots

2020

Rapport

Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups

2020

Vitenskapelig artikkel

Data-drevet autentisering for mobile tjenester

2019

Faglig foredrag

Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence

2019

Faglig foredrag

Assuring authenticity in Piql Preservation Services

2018

Rapport

PCAS Deliverable D8.1: Security Evaluation – Communication

2016

Rapport

Deliverable D5.2: Wallet framework with TSM supporting security levels QAA1 to QAA4 with physical and/or SSE, tested and validated — HighTrustWallet FP7-SME-2013-605960

2016

Rapport

State of the art: Universal Design of Ambient Hybrid Environments

2016

Rapport

Deliverable D3.4: Test and Security and Privacy Risk Analysis — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Deliverable D3.1: Protocol Security Design — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Deliverable D2.7: Final Test Report — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Deliverable D2.5: Prototype of Secure Software Element — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Deliverable D2.4: Test strategy and plan — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Deliverable D2.3: Evaluation Plan Against Chosen Security Standard — HighTrustWallet FP7-SME-2013-605960

2015

Rapport

Model mining and efficient verification of software product lines

2015

Vitenskapelig artikkel

INPRED: Intelligent prediction for package transport

2014

Rapport

HighTrustWallet Deliverable D1.3: Test Scenarios

2014

Rapport

HighTrustWallet Deliverable D1.2: Security Requirements

2014

Rapport

HighTrustWallet Deliverable D1.1: Project Handbook

2014

Rapport

PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture

2014

Rapport

PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases

2014

Rapport

PCAS Project Deliverable 2.3: Secure Communication Protocols and Services

2014

Rapport

PCAS Project Deliverable 2.2: Precise Architecture Model

2014

Rapport

PCAS Project Deliverable 2.1: PCAS High-level Design

2014

Rapport

Random value transformers: Motivation and idea

2012

Rapport

Public review of e-voting source code: Lessons learnt from E-vote 2011

2012

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Automated Extraction of Abstract Behavioural Models from JMS Applications

2012

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

A hierarchical variability model for software product lines

2012

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Finding and fixing Java naming bugs with the Lancelot Eclipse plugin

2012

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Finding and fixing Java naming bugs with the Lancelot Eclipse plugin

2011

Rapport

Canonical Method Names for Java – Using Implementation Semantics to Identify Synonymous Verbs

2011

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

The Java Programmer’s Phrase Book

2009

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Debugging Method Names

2009

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Modelling of Biomedical Sensor Networks using the Creol Tools

2009

Rapport

Deliverable D6.1 – User Driven Requirements – Addendum

2008

Rapport

Deliverable D6.2: Initial modelling with service interfaces

2008

Rapport

The Programmer’s Lexicon, Volume I: The Verbs

2007

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Security assessment of the mBricks net protocol version 2.2

2007

Rapport

CREDO – Deliverable D6.1: User driven requirements

2007

Rapport

Pre-study: software solutions for scheduling

2006

Rapport

Bruk av åpne standarder i offentlig forvaltning

2006

Rapport

Europlay pre-study

2006

Rapport

Analysis of object-oriented programs: a survey

2005

Rapport

Object-Oriented Technology. ECOOP 2004 Workshop Reader

2005

Vitenskapelig antologi/Konferanseserie

Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate

2002

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

MobileSLM pre-project – Development Report

2002

Rapport

Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach

2002

Vitenskapelig artikkel

Multimedia-presentasjoner på mobile terminaler med lav båndbredde

2002

Populærvitenskapelig artikkel

Form validation mechanism: Design relevant standards and technology

2001

Rapport

Rule-based form validation: Requirements

2001

Rapport

Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach

2001

Rapport

Design and Implementation of the Generic Multimedia Server Platform

2000

Rapport

Mowgli – Mobile Work, Gadgets, Language and Infrastructure

2000

Rapport