Primary tabs

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

08 April 2016

Samferdselsministeren åpnet nytt senter for datasikkerhet

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.
: 
Simula, Simula Research Laboratory
Samferdselsdepartementet

Find publication

Status

Departments

Publication type

Year published

Export 20 results:
2003

Technical reports

O. Lysne, J. Duato and T. Pinkston

A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Proceses

Simula Research Laboratory, 2003.
Status: Published
2000

Technical reports

O. Granmo, F. Eliassen and O. Lysne

Dynamic Object-Oriented Bayesian Networks and Particle Filters for Flexible Resource-Aware Content-Based Indexing of Media Streams

Department of Informatics, University of Oslo, 2000.
Status: Published
1999

Technical reports

O. Krogdahl and O. Lysne

On Verification of Parallel and Interleaved Executions

Department of Informatics, University of Oslo, 1999.
Status: Published
1998

Technical reports

O. Lysne and T. Skeie

Adapting to Faults in Deterministic Wormhole Networks

Department of Informatics, University of Oslo, 1998.
Status: Published
1995

Technical reports

O. Lysne and S. Gjessing

Aspects of Running the SCI-Protocol Over HIC-Networks

Department of Informatics, University of Oslo, 1995.
Status: Published
1993

Technical reports

S. Krogdahl and O. Lysne

Verifying a Distributed List System: a Case History

Department of Informatics, University of Oslo, 1993.
Status: Published
O. Lysne

Linear Proofs in the Final Algebra

Department of Informatics, University of Oslo, 1993.
Status: Published
O. Lysne

Initial Equality As a Function in Algebraic Specification

Department of Informatics, University of Oslo, 1993.
Status: Published
1991

Technical reports

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions

Department of Informatics, University of Oslo, 1991.
Status: Published
1990

Technical reports

O. Lysne

A Width First Approach to Completion

Department of Informatics, University of Oslo, 1990.
Status: Published