Olav Lysne

K. Friis and O. Lysne

5G-sikkerhet: Norge mellom stormaktene

Digitalisering og internasjonal politikk

V. Thambawita, S. Hicks, E. Jaouen, P. Halvorsen and M. Riegler

Smittestopp analytics: Analysis of position data

Smittestopp − A Case Study on Digital Contact Tracing

C. Midoglu, B. Ragan-Kelley, S. Reinemo, J. Jahren and P. Halvorsen

Smittestopp Backend

Smittestopp − A Case Study on Digital Contact Tracing

A. M. Bruaset, G. T. Lines and J. Sundnes

Data aggregation and anonymization for mathematical modeling and epidemiological studies

Smittestopp - A Case Study on Digital Contact Tracing

A. Elmokashfi, S. W. Funke, T. Klock, M. Kuchta, V. Naumova and J. J. Uv

Digital tracing, validation, and reporting

Smittestopp − A Case Study on Digital Contact Tracing

P. M. Florvaag, H. Kjeldsberg and S. K. Mitusch

Smittestopp for Android and iOS

Smittestopp − A Case Study on Digital Contact Tracing

A. Elmokashfi and A. Kvalbein

Using Bluetooth for contact tracing

Smittestopp − A Case Study on Digital Contact Tracing

A. Elmokashfi, O. Lysne and V. Naumova

Smittestopp − A Case Study on Digital Contact Tracing

Simula SpringerBriefs on Computing

O. Lysne

Chinese Cyberwarfare - interview in French TV-program

O. Lysne

Cybersikkerhet med Olav Lysne

K. Friis and O. Lysne

Hvorfor er vi redde for Huawei?

O. Lysne, I. Strümke and M. Riegler

Data samlet fra åpne kilder er ikke ufarlig

O. Lysne and H. Bryhni

Hvor ble det av cyberkrigen?

O. Lysne

Overvåkning i Norge i Perspektiv av Ukraina-krigen

O. Lysne

Henger Internett i en tynn tråd?

O. Lysne

Tilrettelagt Innhenting fra utredning til kontroll

O. Lysne

Democratic oversight of Norway’s intelligence and security services

O. Lysne and H. Bryhni

What happened to the cyberwar

Hvor ble det av cyberkrigen?

O. Lysne and H. Bryhni

Hvorfor venter vi «skandale» hver gang it-sikkerheten sjekkes i staten?

O. Lysne

Krig i Ukraina:  Hva har vi lært, og hva bør vi gjøre?

IKT-Norge

O. Lysne

Refleksjoner om Telenors kjerneinfrastruktur

Kommunal- og distriktsdepartementet, Oslo, Norway

O. Lysne

Kommentarer til "Målbilder for Robuste ekomnett mot 2030"

Nasjonal Kommunikasjonsmyndighet sin offentliggjøring av målbilder mot 2030

O. Lysne

Tilrettelagt innhenting

Oslo Tingrett, Norway

O. Lysne

Digital risiko – hva er de sentrale utfordringene? Hva er mulige løsninger?

Totalberedskapskommisjonen, Oslo, Norway

O. Lysne

Teknologiutvikling, sikkerhet og kriminalitet

Politiavdelingen, Justisdepartementet, Oslo, Norway

O. Lysne

Cyber Warfare: Supply- and Service Chains

Multi-Modal Warfare, Safe House Global, Washington, DC, USA

O. Lysne

Vi må tenke sikkerhet på nytt

Inside telecom

K. Friis and O. Lysne

Huawei, 5G and Security: Technological Limitations and Political Responses

Development and Change

A. Elmokashfi, J. Sundnes, A. Kvalbein, V. Naumova, S. Reinemo, P. M. Florvaag, H. K. Stensland and O. Lysne

Nationwide rollout reveals efficacy of epidemic control through digital contact tracing

Nature Communications

O. Lysne

Digital Value Chains - Debate

O. Lysne

Et brutalt urovekkende cyberangrep. Nå haster det!

O. Lysne

Kunnskapshullene: Digital pandemibekjempelse på teknogigantenes nåde

O. Lysne

Ghost in the Machine: Hvem lytter på hemmelighetene våre i datanettverkene

O. Lysne, A. Bochman and T. Aoyama

The Threat Landscape of Critical Infrastructure and ICS Security Challenges

O. Lysne

5G og sikkerhet

O. Lysne

Smittestopp, teknologigiganter og personverndebatt

Kriminalpolitiet, Oslo, Norway

O. Lysne

Systemutvikling og teknologiske veivalg i en krisesituasjon

SW2021 - Software 2021

O. Lysne

Tingenes Internett - Hvordan utfordrer det oss?

Kommunal- og moderniseringsdepartementet, Norway

O. Lysne

Skytjenester og Digitale Verdikjeder

Seminar Nasjonalt cybersikkerhetssenter

O. Lysne and K. Friis

5G: Norge mellom stormaktene

Nasjonal sikkerhetsdag, Nasjonal Kommunikasjonsmyndighet, Norway

O. Lysne

Digitale verdi- og leveransekjeder

KraftCERT forum

O. Lysne

Utvikling og teknologiske veivalg i en krisesituasjon

Åpent seminar om smittesporing, Fornebu, Norway

I. Livadariu, T. Dreibholz, A. S. Al-Selwi, H. Bryhni, O. Lysne, S. Bjørnstad and A. Elmokashfi

On the Accuracy of Country-Level IP Geolocation

Applied Networking Research Workshop (ANRW)

O. Lysne

Kan du ikke stole på leverandøren, er du sjakk matt

O. Lysne

Snart kommer 5G-nettet

O. Lysne

Storebror og overvåkning - Podcast

O. Lysne, D. Geer and D. Peterson

Cyber Nationalism: What Team Are You On?

Miami Beach, Florida

O. Lysne

Krav til samhandling i en teknologisk tid

Samfunnssikkerhetskonferansen, Raddisson Plaza, Oslo, Norway

O. Lysne

Digitale verdikjeder - Huawei og Digitalt Grenseforsvar

Thales meeting, Gamle Logen, Oslo, Norway

O. Lysne

Digitalt Grenseforsvar og Digitale Verdikjeder

Etterretningshøgskolen, Oslo, Norway

O. Lysne

Digitale Verdikjeder

Experis, Oslo, Norway

O. Lysne

Smittestopp

Stortinget, Norway

O. Lysne

Smittestopp

Teknologirådet, Norway

O. Lysne

Teknologiutvikling, rikets sikkerhet og samfunnssikkerhet

Forsvarssjefens ledergruppe, Norway

O. Lysne

Sårbarheter og endret trusselbilde i tiden fremover

Sikkerhetsmåneden, Oslo Kommune, Norway

O. Lysne

Cyberangrep som del av gråsoneangrep mot norske interesser

Fagdag, Langtidsplan for politi, PST og påtalemyndigheten, Norway

O. Lysne

Etterretning, politikk og samfunn

Forsvarets Høgskole, Norway

O. Lysne

Justissektoren, teknologi og myndighetsstrategi

Justisdepartementet, Norway

O. Lysne, A. Elmokashfi, N. N. Schia, L. Gjesvik and K. Friis

Critical communication infrastructures and Huawei

TPRC48: Research Conference on Communications, Information and Internet Policy

O. Lysne

Debate on 5G and Huawei

O. Lysne

5G and Huawei

O. Lysne

Ny etterretningslov, Paneldebatt

O. Lysne

5G and Huawei

O. Lysne

Huawei: En risiko eller ikke?

O. Lysne

Huawei and 5G

O. Lysne

Panel debate on 5G and the relation between Supplier and Security

O. Lysne

Paneldebatt om ny etterretingslov

O. Lysne

5G and Digital Security

O. Lysne

Huawei and 5G Networks

ERVE Forum, Helsinki, Finland

O. Lysne

Digitalt grenseforsvar – sikkerhetsutfordringer og personvern

Forsvarets Høgskole, Informasjonskurs, Hadeland, Norway

O. Lysne

Tilrettelagt innhenting av grensekryssende datatrafikk

EOS-utvalget, Norway

O. Lysne

The Norwegian model: the need for a Digital Border Defence

Oslo militære samfund, Cyber Security Seminar, Oslo, Norway

O. Lysne

Digitalt grenseforsvar

Forsvarets Etterretningshøgskole, Norway

O. Lysne

Huawei og Overvåkning

DNB Markets, Hotel Continental, Norway

O. Lysne

Digitalt grenseforsvar og ny etterretningslov

Forsvarets Høgskole, Akershus Festning, Norway

O. Lysne

5G - Hva det er og hva det ikke er

Stortinget, Oslo, Norway

O. Lysne

5G - Hva det er og hva det ikke er

Teknologirådet, Norway

O. Lysne

The Huawei and Snowden Questions

Forsvarets Etterretningshøgskole, Norway

O. Lysne

Teknologiutvikling og samfunnssikkerhet

INFO/ERFA, Forsvars- og sikkerhetsindustriens forening, Norway

O. Lysne

Teknologiutvikling og Totalforsvaret

Nasjonal Beredskapskonferanse, Norway

O. Lysne

The Huawei and Snowden Questions

Paranoia Conference, Norway

O. Lysne

The Huawei and Snowden Questions

Lab41, In-Q-Tel, Washington DC, USA

O. Lysne

Digitale Verdikjeder - et rammeverk

Forum for nasjonal IKT-sikkerhet, Ministry of Justice and Public Security, Norway

O. Lysne

The Huawei and Snowden Questions

Cyber Security in the Energy Sector, NVE, Oslo, Norway

O. Lysne

Et rammeverk for digitale verdikjeder

ISF-Sikkerhetsfestivalen, Lillehammer, Norway

O. Lysne

Cyber Risks...What Else is New?

Eierskapsavdelingen, Ministry of Trade and Fisheries, Norway

O. Lysne

Ny etterretningslov og digitalt grenseforsvar

Sårbarhetskonferansen, Norway

O. Lysne

Digitalt grenseforsvar og ny etterretningslov

Forsvarets Høgskole, Norway

O. Lysne

Tilrettelagt innhenting og kontrollmekanismer

Nordisk møte for kontrollorganer for etterretnings- og sikkerheitstenester

O. Lysne

Cyber security - what else is new?

Ministry of Local Government and Modernisation, Norefjell, Norway

O. Lysne

Fremtidens mobilnett: mange egg i samme kurv

Frokostmøtet om fremtidens Nødnett, Litteraturhuset, Oslo, Norway

O. Lysne

Et rammeverk for risikostyring i digitale verdikjeder

Sentralt Totalforsvarsforum, Nasjonal Sikkerhetsmyndighet, Oslo, Norway

O. Lysne, T. Saglie, H. Fardal, L. U. Nyseth, B. Salvesen and E. Unsgaard

Risikostyring i digitale verdikjeder

O. Lysne

The Huawei and Snowden Questions

Simula SpringerBriefs on Computing

O. Lysne

Nasjonal strategi for IKT-sikkerhet

O. Lysne

Digitalt Grenseforsvar

O. Lysne

Panel discussion on Artificial Intelligence

O. Lysne

Kinesisk Spyware

O. Lysne

Lysne II, digitalt grenseforsvar og kryptering

O. Lysne

Snowden, Huawei og Super Micro

O. Lysne

Han vil la storebror se deg

O. Lysne

Digital Vulnerability and International Interdependency

17th European Conference on Cyber Warfare and Security, Oslo, Norway

O. Lysne

Digital vulnerability in Norway

Oslo

O. Lysne

Digitalisering, sårbarhet og veien videre

Ministry of Justice and Public Security

O. Lysne

Datasikkerhet og Kompetanseutvikling

Universitets- og høgskolerådet, Kongsberg, Norway

O. Lysne

The Huawei and Snowden Questions

In-Q-Tel, Washington, US

O. Lysne

Datasikkerhet og Kompetanseutvikling

UNIO, Representantskapsmøte, Sundvollen

O. Lysne

Lawful interception of Internet Traffic, and national autonomy in cyberspace

Luftmaktseminaret, Trondheim, Norway

O. Lysne

Digitalt Grenseforsvar

Student-UGA i Agder, Norway

O. Lysne

Lawful interception of Internet Traffic, and National Autonomy in Cyberspace

Sikkerhetskonferansen, Norway

O. Lysne

Hvordan kontrollere digitale hemmelige tjenester

EOS-utvalgets årskonferanse, Norway

O. Lysne

Lawful interception of Internet Traffic, and national autonomy in cyberspace

Norges Forsvarsforening - åpent seminar, Norway

O. Lysne

Digitalt grenseforsvar, DND sitt frokostmøte

O. Lysne

Digitalt grenseforsvar, panel discussion at Norsk Journalistlag

O. Lysne

Fremmede makter angriper oss daglig

O. Lysne

Grenseforsvar ivaretatt

O. Lysne, E. Jarbekk and E. Lunde

Digital grensekontroll

M. Irgens and O. Lysne

Norsk tetposisjon i digitalisering gir godt utgangspunkt

O. Lysne

Digital sårbarhet bekjempes med kompetanse

O. Lysne

Ja, det er urealistisk

O. Lysne

Interview on NRK Nyhetsettermiddag

O. Lysne

Usikkerhet om sikkerhet

O. Lysne

Hvor går grensen?

O. Lysne

Klarer akademia å følge opp?

O. Lysne

Dramatiske fremstillinger av digitalisering bør avløses av kjølig, strategisk besluttsomhet

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Forsvarets høgskole, informasjonskurset, Norway

O. Lysne

Digitalt grenseforsvar

Stortinget, Høyres stortingsgruppe, Oslo, Norway

O. Lysne

Digitalt grenseforsvar

Stortinget, Fremskrittspartiets stortingsgruppe, Oslo, Norway

O. Lysne

Digitale sårbarheter i petroleumssektoren

Norsk Utenrikspolitisk Institutt - NUPI, Norway

O. Lysne

Digital vulnerability in Norway

Samferdselsdepartementet, Nordic Baltic Meeting, Oslo, Norway

O. Lysne

Digitalt Grenseforsvar

Oslo Militære Samfund, Oslo, Norway

O. Lysne

Digitalt Grenseforsvar

Stortinget, SVs stortingsgruppe, Oslo, Norway

O. Lysne

Digitalt Grenseforsvar

Utenriksdepartementet, Oslo, Norway

O. Lysne

KommuneCERT...?

NorSIS workshop om hendelseshåndtering i kommunesektoren, Norway

O. Lysne

Digital vulnerability in Norway

Telenor Group Public and Regulatory Affairs, Norway

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Høyesterett, Norway

O. Lysne

Digitale sårbarheter, og digitalt grenseforsvar

Forsvarets Høgskole, Sjefskurset, Norway

O. Lysne

Digital sikkerhet og digitalt grenseforsvar

Humanistisk Ungdoms seminar om overvåkning, Norway

O. Lysne

Digitale sårbarhet og digitalt grenseforsvar

Politihøgskolen, Norway

O. Lysne

Digital sårbarhet og digitalt grenseforsvar

Sivilombudsmannen, Norway

O. Lysne

Lawful interception in Norway

Huawei Norway

O. Lysne

Hva skal vi være redde for?

Paranoia-konferansen, Oslo Spektrum, Norway

O. Lysne

Digitalt grenseforsvar: Sikkerhet, grensekabler, menneskerettigheter og personvern

Sikkerhet & Sårbarhet 2017, Trondheim, Norway

O. Lysne

Digitalisering, sårbarhet og veien videre

Samferdselsdepartementet

O. Lysne

Digital sårbarhet - Internasjonale, Nasjonale og Regionale utfordringer

Alta

O. Lysne

Digital sårbarhet - Internasjonale, Nasjonale og Regionale utfordringer

Berkeley, Norgesseminaret

O. Lysne

Digitalt grenseforsvar – sikkerhetsutfordringer og personvern

Forsvarets høgskole

O. Lysne

Digital vulnerability in Norway

MERIDIAN, Conference

O. Lysne

Digitalt Grenseforsvar

Difis høstkonferanse

O. Lysne

Digitalt Grenseforsvar

Sikkerhetssymposiet, DND, Bergen

O. Lysne

Digitalt Grenseforsvar

Tekna-seminar, Ekom-infrastruktur, sikkerhet og sårbarhet

O. Lysne

Digitalt Grenseforsvar

ISACA, Norway Chapter

O. Lysne, T. Grytting, E. Jarbekk, E. Lunde and C. Reusch

Digitalt grenseforsvar (DGF)

J. Hagen and O. Lysne

Protecting the digitized society – the challenge of balancing surveillance and privacy

Cyber Defense Review

O. Lysne, K. J. Hole, C. Otterstad, Ø. Ytrehus, R. Aarseth and J. Tellnes

Vendor malware: detection limits and mitigation

IEEE Computer

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Risikokonferansen, BDO

O. Lysne

Digital sårbrhet og kunnskap

Regjeringskvartalet

O. Lysne

Digital sårbarhet - sikkert samfunn

Samfunnssikkerhetskonferansen, Oslo

O. Lysne

Digital sårbarhet - sikkert samfunn

Kommunal- og moderniseringsdepartementet

O. Lysne

Digital sårbarhet - sikkert samfunn

Norges Forskningsråd,

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Program for toppledergrupper i staten

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Finansdepartementet

O. Lysne

Digitale sårbarheter som Norge står overfor i dag og i nærmeste fremtid

Riksrevisjonen

O. Lysne

Det digitale sårbarhetsutvalget

Justisdepartementet

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Statens helsetilsyn

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Kunnskapsdepartementets konferanse om samfunnssikkerhet og beredskap

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Forsvarets Høgskole

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Forsvarsdepartementet

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Seminaf for Kommunal informasjonssikkerhet i Bergen

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Partnerforum, UiO

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Institutt for rettsinformatikk

O. Lysne

Digital vulnerability in Norway

Huawei, Norway

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Tek-konferansen

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Kommunal- og moderniseringsdepartementet

O. Lysne

Trust, but verify! How do you verify electronic equipment?

Cyber Science 2016, London

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Finanstilsynet

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Finansdepartementet

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Utenriksdepartementet

O. Lysne

Digitalt Grenseforsvar

Forsvardepartementet

O. Lysne

Digitalt Grenseforsvar

Statsministerens kontor

O. Lysne

Digitalt Grenseforsvar

Oslo militære samfund

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Forsvarets operative hovedkvarter

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Forsvarsbygg

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Fylkesmennenes informasjonssikkerhetsseminar, Trondheim

O. Lysne

Digitalt grenseforsvar

Sårbarhetskonferansen

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Borgarting lagmannsrett

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Hamar

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Kristiansand

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Sandane

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Narvik

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Narvik

O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

Trondheim

O. Lysne

Digitalisering, internasjonalisering og risiko

Stortinget, Arbeiderpartiets stortingsgruppe

O. Lysne

Digitalt grenseforsvar

Forsvarsdepartementet

O. Lysne, K. Beitland, K. Gjøsteen, J. Hagen, Å. Holmgren, E. Jarbekk, E. Lunde, F. Manne and S. Nystrøm

Digital sårbarhet – sikkert samfunn

J. Escudero-Sahuquillo, E. G. Gran, P. J. Garcia, J. Flich, T. Skeie, O. Lysne, F. J. Quiles and J. Duato

Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks

IEEE Transactions on Parallel and Distributed Systems

W. L. Guay

Early experiences with live migration of SR-IOV enabled InfiniBand

Journal of Parallel and Distributed Computing

O. Lysne

Digital såbarhet - sikkert samfunn

Press conference

O. Lysne

Vår avhengighet av Telenor

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Datatilsynet

O. Lysne

Digitale sårbarheter i finanssektoren

Finanstilsynet

O. Lysne

Digitale sårbarheter i kommunenorge

IT-sjefen i kommunal sektor

O. Lysne

Konklusjoner fra det digitale sårbarhetsutvalget

Polyteknisk forening

O. Lysne

Digital sårbarhet - internasjonale utfordringer

Norsk Utenrikspolitisk Institutt (NUPI)

O. Lysne

Norges digitale sårbarheter

Prime Ministers Office

O. Lysne

Digitalt sårbarhetsutvalg

Sentralt Totalforsvarsforum

O. Lysne

Digitale sårbarheter i Norge

Direktoratet for forvaltning og IKT (DIFI)

O. Lysne

Norges digitale sårbarhetsutvalg

Presentation for det Svenska Informationssäkerhetsråd

O. Lysne

Digital sårbarhet

Presentasjon for Sikkerhetslovutvalget

O. Lysne

Vår digitale sårbarhet

Departementenes Nettverk for Informasjonssikkerhet

O. Lysne

Telekom og sårbarhet

TEK-konferansen

O. Lysne

Digital sårbarhet - teknologi og åpne spørsmål

Åpen dag

O. Lysne

Vår digitale sårbarhet - teknologi og åpne spørsmål

Sikkerhetskonferansen, Litteraturhuset

O. Lysne

Digital såbarhet - teknologi og åpne spørsmål

Software 2015

O. Lysne

Digitale sårbarheter - internasjonale utfordringer

Abelia

O. Lysne

Konklusjoner fra det Digitale Sårbarhetsutvalget

IKT-Norge

O. Lysne

Norges digitale sårbarheter

Forsvarets Høgskole

O. Lysne

Norges digitale sårbarheter

Partnerforum, University of Oslo

O. Lysne

Vår digitale sårbarhet

Justisdepartementet

O. Lysne

Vår digitale sårbarhet

Norges Vassdrag- og Energivesen (NVE)

O. Lysne

Vår digitale sårbarhet - teknologi og åpne spørsmål

Sikkerhetskonferansen, Litteraturhuset

O. Lysne

Digital sårbarhet - teknologi og åpne spørsmål

Teknologirådet

O. Lysne

Digital sårbarhet - teknologi og åpne spørsmål

HACKON

J. Escudero-Sahuquillo, P. J. García, F. J. Quiles, S. Reinemo, T. Skeie, O. Lysne and J. Duato

A New Proposal to Deal With Congestion in InfiniBand-Based Fat-Trees

Journal of Parallel and Distributed Computing

O. Lysne and K. J. Hole

Hva kan gjøres når man ikke stoler på de som lager utstyret til Ekom-nettet vårt?

Justisdepartementet

A. Kvalbein, S. E. Arge, D. Baltrūnas, A. Elmokashfi and O. Lysne

Robusthet i norske mobilnett Tilstandsrapport 2013

E. Tasoulas, W. L. Guay, S. Reinemo, B. D. Johnsen, C. Yen, T. Skeie, O. Lysne and O. Torudbakken

Prototyping Live Migration With SR-IOV Supported InfiniBand HCAs

HPC Advisory Council Spain Conference

H. Q. Vo, O. Lysne and A. Kvalbein

Routing With Joker Links for Maximized Robustness

Proceedings of IFIP Networking 2013 Conference

H. Q. Vo, O. Lysne and A. Kvalbein

Increased Robustness With Interface Based Permutation Routing

IEEE ICC 2013

O. Lysne

Tjenesteavbrudd Over Mobilt Bredbånd I Norge

Det Norske Videnskaps-Akademi Årbok 2012

H. Vo, O. Lysne and A. Kvalbein

Permutation Routing for Increased Robustness in IP Networks

Networking

J. Flich, T. Skeie, A. Mejía, O. Lysne, P. Lopez, A. Robles, J. Duato, M. Koibuchi, T. Rokicki and J. Sancho

A Survey and Evaluation of Topology Agnostic Routing Algorithms

IEEE Transactions on Parallel and Distributed Systems

F. O. Sem-Jacobsen, R. Lorentzen and O. Lysne

A Theory and Methodology for Combining Data Centre Networks

In proceedings of IEEE International Conference on High Performance Computing (HiPC)

E. G. Gran, S. Reinemo, O. Lysne, T. Skeie, E. Zahavi and G. Shainer

Exploring the Scope of the InfiniBand Congestion Control Mechanism

2012 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)

F. O. Sem-Jacobsen and O. Lysne

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks

Proceedings of The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing

O. Lysne and A. Kvalbein

Kan Markedet Gi Oss Robuste Telenett?

O. Lysne

Research in ICT: What We Should Do, and Why It Matters

VERDIKT Conference

O. Lysne

Kan Markedet Gi Robuste Telenett?

Telecruice

O. Lysne

Et Kritisk Blikk På Nødnettet

Telecom World

O. Lysne

Kan Markedet Gi Oss Robuste Telenett?

Telecruice

H. Vo, O. Lysne and A. Kvalbein

Increased Robustness With Interface Based Permutation Routing

O. Lysne and F. O. Sem-Jacobsen

Direct Networks

Encyclopedia of Parallel Computing

F. O. Sem-Jacobsen and O. Lysne

Multistage Networks

Encyclopedia of Parallel Computing

F. O. Sem-Jacobsen, T. Skeie, O. Lysne and J. Duato

Dynamic Fault Tolerance in Fat-Trees

IEEE Transactions on Computers

S. Reinemo, E. G. Gran, T. Skeie and O. Lysne

InfiniBand Congestion Control

Contributed talk at the 2011 OpenFabrics International Workshop, Monterey, USA

S. Reinemo, W. L. Guay, B. Bogdanski, O. Lysne and T. Skeie

VFtree - a Fat-Tree Routing Algorithm Using Virtual Lanes to Alleviate Congestion

Invited talk at the HPC Advisory Council Switzerland Workshop 2011, Lugano, Switzerland.

E. G. Gran, E. Zahavi, S. Reinemo, T. Skeie, G. Shainer and O. Lysne

On the Relation Between Congestion Control, Switch Arbitration and Fairness

11th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2011)

W. L. Guay, S. Reinemo, O. Lysne and T. Skeie

DFtree - a Fat-Tree Routing Algorithm Using Dynamic Allocation of Virtual Lanes to Alleviate Congestion in InfiniBand Networks

The Network-Aware Data Management Workshop to be held in conjunction with the IEEE/ACM International Conference for High Performance Computing, Networking, Storage and Analysis (SC'11)

J. Escudero-Sahuquillo, E. G. Gran, P. J. García, J. Flich, T. Skeie, O. Lysne, F. J. Quiles and J. Duato

Combining Congested-Flow Isolation and Injection Throttling in HPC Interconnection Networks

International Conference on Parallel Processing, ICPP 2011

W. L. Guay, B. Bogdanski, S. Reinemo, O. Lysne and T. Skeie

VFtree - a Fat-Tree Routing Algorithm Using Virtual Lanes to Alleviate Congestion

Proceedings of the 25th IEEE International Parallel & Distributed Processing Symposium

F. O. Sem-Jacobsen, Å. G. Solheim, O. Lysne, T. Skeie and T. Sødring

Efficient and Contention-Free Virtualisation of Fat-Trees

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum

O. Lysne

High Node Count - Scalability Challenges for Interconnection Networks

Second International Workshop on HyperTransport Research and Applications

F. O. Sem-Jacobsen and O. Lysne

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks

O. Lysne, A. Kvalbein, A. F. Hansen, S. Gjessing and T. Cicic

Resilient Routing Systems and Methods

O. Lysne

Deadlock Free Network Routing

T. Cicic, S. Gjessing, A. F. Hansen, A. Kvalbein and O. Lysne

Resilient routing systems, computer software product and method

S. Reinemo, E. G. Gran, M. Eimot, T. Skeie, O. Lysne, L. P. Huse and G. Shainer

First Experiences With Congestion Control in InfiniBand Hardware

Invited talk at the HPC Advisory Council Switzerland Workshop 2010

W. L. Guay, B. Bogdanski, S. Reinemo and O. Lysne

VFtree- Fat Tree Routing With Virtual Lanes in InfiniBand

Poster, HiPEAC ACACES, Barcelona, Spain

W. L. Guay, S. Reinemo, O. Lysne, T. Skeie, B. D. Johnsen and L. Holen

Host Side Dynamic Reconfiguration With InfiniBand

2010 IEEE International Conference on Cluster Computing

E. G. Gran, M. Eimot, S. Reinemo, T. Skeie, O. Lysne, L. P. Huse and G. Shainer

First Experiences With Congestion Control in InfiniBand Hardware

2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS)

M. Jørgensen and S. Grimstad

Software Development Effort Estimation: Demystifying and Improving Expert Estimation

Simula Research Laboratory - by thinking constantly about it

L. Briand

Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach

Simula Research Laboratory - by thinking constantly about it

E. Arisholm

A Series of Controlled Experiments on Software Maintenance

Simula Research Laboratory - by thinking constantly about it

D. I. K. Sjøberg

The Industry Is Our Lab - Organization and Conducting of Empirical Studies in Software Engineering at Simula

Simula Research Laboratory - by thinking constantly about it

D. I. K. Sjøberg and S. Grimstad

Software Engineering: Why - How - What - What's Next

Simula Research Laboratory - by thinking constantly about it

A. M. Bruaset and K. Vinje

Educating Researchers - a Virtue of Necessity

Simula Research Laboratory - by thinking constantly about it

A. M. Bruaset and M. M. Sundet

Bridging the Gap Between Industry and Research

Simula Research Laboratory - by thinking constantly about it

O. Lysne and A. M. Bruaset

Simula - the Language

Simula Research Laboratory - by thinking constantly about it

A. M. Bruaset, V. S. W. Eide, F. Eliassen, H. E. Gallis and C. Tarrou

Spinning Off From Simula

Simula Research Laboratory - by thinking constantly about it

C. Griwodz and O. Lysne

Networks and Distributed Systems - Why, What, How and What's Next

Simula Research Laboratory - by thinking constantly about it

R. Casado, A. Bermúdez, A. Robles-Gomez, O. Lysne, T. Skeie, Å. G. Solheim and T. Sødring

Network Reconfiguration in High-Performance Interconnection Networks

Autonomic Computing and Networking

A. Kvalbein and Y. Zhang

Providing Resilience in Communications Networks

Simula Research Laboratory - by thinking constantly about it

C. Griwodz and P. Halvorsen

RELAY - on the Performance and Resource Utilization of Time-Dependent Large-Scale Distributed Systems

Simula Research Laboratory - by thinking constantly about it

O. Lysne, T. Skeie, S. Reinemo, F. O. Sem-Jacobsen and N. A. Nordbotten

Scalable Interconnection Networks

Simula Research Laboratory - by thinking constantly about it

A. M. Bruaset

Turning Rocks Into Knowledge - Experiences and Results From an Industrial Collaboration in Computational Geosciences

Simula Research Laboratory - by thinking constantly about it

B. F. Nielsen, O. M. Lysaker, P. Grøttum, K. Mardal, A. Tveito, C. Tarrou, K. Haugaa, A. Abildgaard and J. G. Fjeld

Can ECG Recordings and Mathematics Tell the Condition of Your Heart?

Simula Research Laboratory - by thinking constantly about it

A. Logg, H. P. Langtangen and X. Cai

Past and Future Perspectives on Scientific Software

Simula Research Laboratory - by thinking constantly about it

H. P. Langtangen and J. Sundnes

Scientific Computing: Why - How - What - What's Next

Simula Research Laboratory - by thinking constantly about it

H. P. Langtangen and O. Lysne

The Hamming Experience

Simula Research Laboratory - by thinking constantly about it

G. T. Lines and J. Sundnes

Computer Simulations of the Heart

Simula Research Laboratory - by thinking constantly about it

A. Tveito, A. M. Bruaset and O. Lysne

Simula Research Laboratory - by Thinking Constantly About It

T. Cicic, A. F. Hansen, A. Kvalbein, M. Hartmann, M. Menth, R. Martin, S. Gjessing and O. Lysne

Relaxed Multiple Routing Configurations: IP Fast Reroute for Single and Correlated Failures

IEEE Transactions on Network and Service Management

A. Kvalbein, A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

Multiple Routing Configurations for Fast IP Network Recovery

IEEE/ACM Transactions on Networking

Å. G. Solheim, O. Lysne, A. Bermúdez, R. Casado, T. Sødring, T. Skeie and A. Robles-Gomez

Efficient and Deadlock-Free Reconfiguration for Source Routed Networks

Communication Architecture for Clusters (CAC)

Å. G. Solheim, O. Lysne, T. Skeie, T. Sødring and S. Reinemo

A Framework for Routing and Resource Allocation in Network Virtualization

International Conference on High Performance Computing (HiPC'09)

Å. G. Solheim, O. Lysne and T. Skeie

RecTOR: a New and Efficient Method for Dynamic Network Reconfiguration

Euro-Par 2009

F. O. Sem-Jacobsen, T. Skeie, O. Lysne and J. Duato

Dynamic Fault Tolerance in Fat-Trees - Research Note

O. Lysne, S. Reinemo, T. Skeie, Å. G. Solheim, T. Sødring, L. P. Huse and B. D. Johnsen

The Interconnection Network - Architectural Challenges for Utility Computing Data Centres

IEEE Computer Magazine

O. Lysne, J. M. Montanana, J. Flich, J. Duato, T. M. Pinkston and T. Skeie

An Efficient and Deadlock-Free Network Reconfiguration Protocol

IEEE Transactions on Computers

J. Flich, S. R. Mocholi, J. Duato, T. Sødring, Å. G. Solheim, T. Skeie and O. Lysne

On the Potential of NoC Virtualization for Multicore Chips

Scalable Computing: Practice and Experience

F. O. Sem-Jacobsen and O. Lysne

Fault Tolerance With Shortest Paths in Regular and Irregular Networks

22nd IEEE International Parallel & Distributed Processing Symposium

J. Flich, S. R. Mocholi, J. Duato, T. Sødring, Å. G. Solheim, T. Skeie and O. Lysne

On the Potential of NoC Virtualization for Multicore Chips

International Workshop on Multi-Core Computing Systems (MuCoCoS'08)

H. K. Stensland, O. Lysne, R. Nordstrøm and H. Kohmann

Making an SCI Fabric Dynamically Fault Tolerant

Workshop on Communication Architecture for Clusters (CAC 2008)

A. F. Hansen, O. Lysne, T. Cicic and S. Gjessing

Fast Proactive Recovery From Concurrent Failures

IEEE International Conference on Communications (ICC 2007)

Å. G. Solheim, O. Lysne, T. Sødring, T. Skeie and J. A. Libak

Routing-Contained Virtualization Based on Up*/Down* Forwarding

High Performance Computing - HiPC 2007

A. Kvalbein and O. Lysne

How Can Multi-Topology Routing Be Used for Intradomain Traffic Engineering?

ACM SIGCOMM Workshop on Internet Network Management 2007

A. Kvalbein and O. Lysne

Robust Load Balancing Using Multi-Topology Routing

O. Lysne, S. Reinemo, T. Skeie, Å. G. Solheim, T. Sødring, L. P. Huse and B. D. Johnsen

The Interconnection Network - Architectural Challenges for Utility Computing Data Centres

O. Lysne, T. Skeie, S. Reinemo and I. T. Theiss

Layered Routing in Irregular Networks

IEEE Transactions on Parallel and Distributed Systems

M. E. Gómez, N. A. Nordbotten, J. Flich, P. Lopez, A. Robles, J. Duato, T. Skeie and O. Lysne

A Routing Methodology for Achieving Fault Tolerance in Direct Networks

IEEE Transactions on Computers

S. Reinemo, T. Skeie, T. Sødring, O. Lysne and O. Tørudbakken

An Overview of QoS Capabilities in InfiniBand, Advanced Switching Interconnect, and Ethernet

IEEE Communications Magazine

Å. G. Solheim, O. Lysne, T. Skeie, T. Sødring, I. T. Theiss and I. Johnsen

Routing for the ASI Fabric Manager

IEEE Communications Magazine

F. Petrini, O. Lysne and R. Brightwell

High Performance Interconnects. Guest Editors Introduction

IEEE Micro

I. T. T. Theiss and O. Lysne

FRoots, a Fault Tolerant and Topology Agnostic Routing Technique

IEEE Transactions on Parallel and Distributed Systems

O. Lysne, J. Duato and T. Pinkston

Fremgangsmåte Og Innretning for Nettverkskonfigurering

O. Lysne, S. Reinemo, T. Skeie, Å. G. Solheim and T. Sødring

The Realization of Virtual Compute Resources in a Utility Computing Data Center (UCDC) in the Many Core Era

2006 Workshop on On- and Off-Chip Interconnection Networks for Multicore Systems

F. O. Sem-Jacobsen, T. Skeie, O. Lysne and J. Duato

Dynamic Fault Tolerance With Misrouting in Fat Trees

Proceedings of the International Conference on Parallel Processing (ICPP)

F. O. Sem-Jacobsen, O. Lysne and T. Skeie

Combining Source Routing and Dynamic Fault Tolerance

Proceedings of The 18'th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

G. Mora, J. Flich, J. Duato, P. Lopez and O. Lysne

Towards and Efficient Switch Architecture for High-Radix Switches

ACM/IEEE Symposium on Architectures for Networking and Communications Systems

A. Kvalbein, A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

Fast IP Network Recovery Using Multiple Routing Configurations

INFOCOM 2006

A. F. Hansen, A. Kvalbein, T. Cicic, S. Gjessing and O. Lysne

Resilient Routing Layers: an Overview of Technology and Applications

EURO NGI Workshop on Traffic Engineering, Protection and Restoration, Rome April 18-20

O. Lysne, T. M. Pinkston and J. Duato

A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes

IEEE Transactions on Parallel and Distributed Systems

J. Duato, O. Lysne, R. Pang and T. M. Pinkston

A Theory for Deadlock-Free Dynamic Network Reconfiguration

IEEE Transactions on Parallel and Distributed Systems

T. Cicic, A. F. Hansen, S. Gjessing and O. Lysne

Applicability of Resilient Routing Layers for K-Fault Network Recovery

Proceedings of International Conference on Networking (ICN), Reunion, France April 17-21

A. Kvalbein, A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

Fast Recovery From Link Failures Using Resilient Routing Layers

10th IEEE Symposium on Computers and Communications (ISCC 2005)

A. F. Hansen, A. Kvalbein, T. Cicic, S. Gjessing and O. Lysne

Resilient Routing Layers for Recovery in Packet Networks

International Conference on Dependable Systems and Networks (DSN 2005) Yokohama, Japan, June 28-July 1

A. F. Hansen, A. Kvalbein, T. Cicic, S. Gjessing, O. Lysne, T. Jensen and O. N. Østerbø

Fast, Effective and Stable IP Recovery Using Resilient Routing Layers

The 19th International Teletraffic Congress (ITC19) Beijing, China

F. O. Sem-Jacobsen, T. Skeie, O. Lysne, O. Tørudbakken, E. Rongved and B. D. Johnsen

Siamese-Twin: a Dynamically Fault-Tolerant Fat Tree

International Parallel and Distributed Processing Symposium (IPDPS), Denver, Colorado, USA, April 4-8

F. O. Sem-Jacobsen, T. Skeie and O. Lysne

A Dynamic Fault-Torlerant Routing Algorithm for Fat-Trees

International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, June 27-30

A. F. Hansen, A. Kvalbein, T. Cicic, S. Gjessing and O. Lysne

A Comparison of Different Approaches for Calculating Resilient Routing Layers and Multiple Routing Configurations

M. E. Gómez, J. Duato, J. Flich, P. Lopez, A. Robles, N. A. Nordbotten, O. Lysne and T. Skeie

An Efficient Fault-Tolerant Routing Methodology for Meshes and Tori

IEEE Computer Architecture Letters

O. Lysne, T. Skeie, I. Theiss, B. D. Johnsen, E. Rognved and O. Tørudbakken

The Interconnection Network: Architectural Challenges for Datacenters in the Computational GRID

Presented at the eVITA Workshop

A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

A Method for Recovery in Packet Networks

Norwegian Network Research Seminar 2004

O. Lysne, J. M. Montanana, T. M. Pinkston, J. Duato, T. Skeie and J. Flich

Simple Deadlock-Free Dynamic Network Reconfiguration

High Performance Computing - HiPC 2004: 11th International Conference, Bangalore, India, December 19-22, 2004

I. Theiss and O. Lysne

LORE - Local Reconfiguration for Fault Management in Irregular Interconnects

International Parallel and Distributed Processing Symposium

T. Skeie, O. Lysne, J. Flich, P. Lopez, A. Robles and J. Duato

LASH-TOR: a Generic Transition-Oriented Routing Algorithm

Proceedings of the IEEE International Conference on Parallel and Distributed Systems (ICPADS)

M. E. Gómez, J. Flich, P. Lopez, A. Robles, J. Duato, N. A. Nordbotten, O. Lysne and T. Skeie

An Effective Fault-Tolerant Routing Methodology for Direct Networks

Proceedings of International Conference on Parallel Processing

F. O. Sem-Jacobsen, S. Reinemo, T. Skeie and O. Lysne

Achieving Flow Level QoS in Cut-Through Networks Through Admission Control and DiffServ

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA)

S. Gjessing, O. Lysne, A. F. Hansen and A. Kvalbein

The Vine Project: Towards Predictable Communication in Heterogeneous Networks

Proceedings of the 3rd International Conference on Networking (ICN'04)

N. A. Nordbotten, M. E. Gómez, J. Flich, P. Lopez, A. Robles, T. Skeie, O. Lysne and J. Duato

A Fully Adaptive Fault-Tolerant Routing Methodology Based on Intermediate Nodes

Proceedings of IFIP International Conference on Network and Parallel Computing

M. E. Gómez, J. Duato, J. Flich, P. Lopez, A. Robles, N. A. Nordbotten, T. Skeie and O. Lysne

A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks

Proceedings of the International Conference on High Performance Computing

G. Horn, O. Lysne and T. Skeie

The Existence of a Network of Fixed-Sized Switches That Satisfies Any Communication Needs

The 2004 International Conference

A. F. Hansen, T. Cicic, S. Gjessing and O. Lysne

Resilient Routing Layers: a Simple and Flexible Approach for Resilience in Packet Networks

M. Dæhlen and O. Lysne

Internett Og Trafikkork

Sommeråpent, NRK, 2. Juli

S. Reinemo, F. O. Sem-Jacobsen, T. Skeie and O. Lysne

Admission Control for DiffServ Based Quality of Service in Cut-Through Networks

Proceedings of the 10th International Conference on High Performance Computing (HiPC 2003)

S. Reinemo, T. Skeie and O. Lysne

Applying the DiffServ Model on Cut-Through Networks

Proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA2003)

I. Theiss and O. Lysne

FROOTS - Fault Handling in Up*/Down* Routed Networks With Multiple Roots

Proceedings of the International Conference on High Performance Computing HiPC

V. S. W. Eide, F. Eliassen, O. Granmo and O. Lysne

Supporting Timeliness and Accuracy in Real-Time Content-Based Video Analysis

Proceedings of the 11th ACM International Conference on Multimedia

O. Granmo, F. Eliassen, O. Lysne and V. S. W. Eide

Techniques for Parallel Execution of the Particle Filter

Proceedings of Scandinavian Conference on Image Analysis (SCIA 2003)

G. Horn, O. Lysne and T. Skeie

A Criterion for Cost Optimal Construction of Irregular Networks

IPDPS'03: 17th International Parallel and

O. Lysne, T. Pinkston and J. Duato

A Methodology for Developing Dynamic Network Reconfiguration Processes

Proceedings of the 2003 International Conference on Parallel Processing

O. Lysne, J. Duato and T. Pinkston

A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Proceses

V. S. W. Eide, F. Eliassen, O. Lysne and O. Granmo

Extending Content-Based Publish/Subscribe Systems With Multicast Support

S. Krogdahl and O. Lysne

On Verification of Parallel Message-Passing Processes

Formal Aspects of Computing

T. Skeie, I. Theiss and O. Lysne

Evaluation of Minimal Deterministic Routing in Irregular Networks

Proceedings of the SSGRR International Conference on Infrastructure for e-Business, e-education, e-Science, and e-Medicine (SSGRR)

T. Skeie, O. Lysne and I. Theiss

Layered Shortest Path (LASH) Routing in Irregular System Area Networks

Proceedings of Communication Architecture for Clusters (CAC'02)

I. Theiss, T. Skeie and O. Lysne

Minimal Routing in Irregular Networks

Proceedings of the International Conference on Communications in Computing (CIC)

V. S. W. Eide, F. Eliassen, O. Lysne and O. Granmo

Real-Time Processing of Media Streams: a Case for Event-Based Interaction

Proceedings of 1st International Workshop on Distributed Event-Based Systems (DEBS'02), IEEE

V. S. W. Eide, F. Eliassen, O. Granmo and O. Lysne

Scalable Independent Multi-Level Distribution in Multimedia Content Analysis

Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems (IDMS/PROMS 2002)

T. Pinkston, J. Duato, O. Lysne and R. Pang

Theoretical Support for Dynamic Network Reconfiguration

Proceedings of the ICS Workshop on Self-Healing, Adaptive and Self-Managed Systems (SHAMAN)

O. Granmo, F. Eliassen and O. Lysne

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

12th Scandinavian Conference on Image Analysis (SCIA2001)

O. Lysne and T. Skeie

Load Balancing of Irregular System Area Networks Through Multiple Roots

Proceedings of the International Conference on Communication in Computing, CIC 2001

V. S. W. Eide, F. Eliassen and O. Lysne

Supporting Distributed Processing of Time-Based Media Streams

Proceedings of Distributed Objects and Applications (DOA'01), IEEE

S. Reinemo, B. Dobinson, S. Haas, O. Lysne, B. Martin and T. Skeie

Topologies and Routing in Gigabit Switching Fabrics

Proceedings of 2nd International Conference on Communications in Computing (CIC2001)

M. Manzke, S. Kenny, B. Coghlan and O. Lysne

Tuning and Verification of Simulation Models for High Speed Interconnect Fabrics

Proceedings of PDPTA

O. Lysne and S. Tangen

Scalability Simulation of Detexis' Torus Network

SCI-Europe Deliverable D.2.3.5 - project report

O. Lysne and J. Duato

Fast Dynamic Reconfiguration in Irregular Networks

Proceedings of the 2000 International Conference of Parallel Processing

O. Lysne and S. Tangen

Fault Tolerant Routing in SCI

Proceedings of SCI Europe'2000

I. Theiss and O. Lysne

Deadlock Avoidance for Wormhole Based Switches

Proceedings of Euro-Par 2000

V. S. W. Eide, F. Eliassen, O. Granmo and O. Lysne

Distributed Journaling of Distributed Media

Proceedings of Norsk Informatikkonferanse (NIK)

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

G. Rønneberg, O. Lysne and I. Theiss

SCI-Components Specification for the Simulator

SCI-Europe Deliverable D.2.3.2 - project report

O. Lysne

Forvirring Og Fremtidsfrykt

Kronikk i Aftenposten, 17. February

O. Lysne

Deadlock Avoidance for Switches Based on Wormhole Networks

Proceedings of the 1999 International Conference of Parallel Processing

G. Rønneberg and O. Lysne

An OPNET-Based Simulation Model of SCI-Nodes

Conference Proceedings of SCI Europe'99

G. Rønneberg, G. Horn and O. Lysne

Evaluation and Suggested Improvements for the SCI Flow Control

Proceedings of SCI Europe'99

O. Krogdahl and O. Lysne

On Verification of Parallel and Interleaved Executions

O. Lysne, T. Skeie and T. Waadeland

One-Fault Tolerance and Beyond in Wormhole Routed Meshes

Microprocessors and Microsystems

O. Lysne

Towards an Analytical Model of Wormhole Routing Networks

Microprocessors and Microsystems

G. Horn, I. Theiss, O. Lysne and T. Skeie

Switched SCI Systems

Proceedings of SCI Europe'98

O. Lysne and T. Skeie

Adapting to Faults in Deterministic Wormhole Networks

S. Krogdahl and O. Lysne

Verifying a Distributed List System: a Case History

Formal Aspects of Computing

T. Skeie, O. Lysne and G. Horn

Scalable Non-Blocking Networks With Fixed Size Routers

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97)

O. Lysne and S. Gjessing

On SCI-Configurations and Deadlocks

Proceedings from NIK'96: Norsk Informatikk Konferanse

O. Lysne and S. Gjessing

Constructing SCI-Configurations That Are Free From Deadlocks

Proceedings of The Fifth International Workshop on SCI-based High-performance Low-Cost Computing

H. Linnestad, C. Prehofer and O. Lysne

Higher Order Proof by Consistency

Foundations of Software Technology and Theoretical Computer Science, 16th Conference

P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

Proceedings 5th International Conference on Algebraic and Logic Programming

P. C. Ölveczky and O. Lysne

Order-Sorted Termination: the Unsorted Way

Proceedings from NIK'95: Norsk Informatikk Konferanse, Gran

O. Lysne and S. Gjessing

Requirements Imposed by SCI and ATM

OMI-MACRAMÉ project deliverable D3.1.1

O. Lysne and D. I. K. Sjøberg

Internett - Ikke Livsnødvendig

Kronikk i Aftenposten, 13. Desember

S. Gjessing, O. Lysne and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC Networks

Proceedings of the Second International Workshop on SCI-based High-performance Low-Cost Computing

O. Lysne, S. Gjessing and K. Løchsen

Aspects of Running the SCI-Protocol Over HIC-Networks

Proceedings of The Second International Workshop on SCI-based High-performance Low-Cost Computing

O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

Proceedings 6th International Conference on Rewriting Techniques and Applications

O. Lysne and S. Gjessing

Aspects of Running the SCI-Protocol Over HIC-Networks

O. Lysne

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing

O. Lysne

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters

O. Lysne and J. Piris

A Termination Ordering for Higher Order Rewrite Systems

Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS

O. Lysne

On the Connection Between Narrowing and Proof by Consistency

Proceedings 12th International Conference on Automated Deduction, Nancy (France)

O. Lysne

E-Unification by Consistency

Proceedings 5th Nordic Workshop on Program Correctness

O. Lysne

The Equational Part of Proofs by Structural Induction

BIT

S. Krogdahl and O. Lysne

Verifying a Distributed List System: a Case History

O. Lysne

Linear Proofs in the Final Algebra

O. Lysne

Initial Equality As a Function in Algebraic Specification

O. Lysne

Proof by Consistency in Constructive Systems With Final Algebra Semantics

Proceedings 3rd International Conference on Algebraic and Logic Programming

O. Lysne

Towards Mechanizing Proofs by Structural Induction

Proceedings from NIK'92: Norsk Informatikk Konferanse

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions

O. Lysne

Term Rewriting Techniques for Systems Based on Generator Induction

O. Lysne

A Width First Approach to Completion

Proceedings from NIK'90: Norsk Informatikk Konferanse

O. Lysne

A Width First Approach to Completion