Stein Gjessing

P. Teymoori, D. A. Hayes, M. Welzl and S. Gjessing

Estimating an Additive Path Cost with Explicit Congestion Notification

IEEE Transactions on Control of Network Systems

R. Barik, M. Welzl, G. Fairhurst, T. Dreibholz, A. Elmokashfi and S. Gjessing

On the Usability of Transport Protocols other than TCP: A Home Gateway and Internet Path Traversal Study

Computer Networks

R. Barik, M. Welzl, A. Elmokashfi, T. Dreibholz, S. Islam and S. Gjessing

On the Utility of Unregulated IP DiffServ Code Point (DSCP) Usage by End Systems

Performance Evaluation

P. Teymoori, D. A. Hayes, M. Welzl and S. Gjessing

Estimating an Additive Path Cost with Explicit Congestion Notification (extended version)

K. Zhang, Y. Mao, S. Leng, Y. He, S. Maharjan, S. Gjessing, Y. Zhang and D. Tsang

Optimal Charging Schemes for Electric Vehicles in Smart Grid: A Contract Theoretic Approach

IEEE Transactions on Intelligent Transportaion Systems

E. Kure, S. Maharjan, S. Gjessing and Y. Zhang

A Distributed Offloading Market for 5G Heterogeneous Network

IEEE Global Communications Conference

R. Barik, M. Welzl, A. Elmokashfi, T. Dreibholz and S. Gjessing

Can WebRTC QoS Work? A DSCP Measurement Study

2018 30th International Teletraffic Congress (ITC 30)

E. Kure, P. Engelstad, S. Maharjan, S. Gjessing, X. Zhang and Y. Zhang

Energy Usage Forecasting for LTE: A Network-Wide Traffic Measurements Study

IEEE Global Communications Conference

S. Islam, M. Welzl, K. Hiorth, D. A. Hayes, G. Armitage and S. Gjessing

ctrlTCP: Reducing Latency through Coupled, Heterogeneous Multi-Flow TCP Congestion Control

21st IEEE Global Internet Symposium (GI 2018)

X. Lyu, H. Tian, L. Jiang, A. Vinel, S. Maharjan, S. Gjessing and Y. Zhang

Selective Offloading in Mobile Edge Computing for Green Internet of Things

IEEE Network Magazine

X. Huang, R. Yu, J. Kang, Y. Gao, S. Maharjan, S. Gjessing and Y. Zhang

Software Defined Energy Harvesting Networking for 5G Green Communications

IEEE Wireless Communications Magazine

E. Kure, S. Maharjan, S. Gjessing and Y. Zhang

Optimal battery size for a green base station in a smart grid with a renewable energy source

IEEE International Conference on Smart Grid Communications

n. null, M. Welzl, A. Elmokashfi, S. Gjessing and S. Islam

fling: A Flexible Ping for Middlebox Measurements

2017 29th International Teletraffic Congress (ITC 29)

S. Maharjan, Q. Zhu, Y. Zhang, S. Gjessing and T. Basar

Demand Response Management in the Smart Grid in a Large Population Regime

IEEE Transactions on Smart Grid

S. Maharjan, Y. Zhang and S. Gjessing

Optimal Incentive Design for Cloud-enabled Multimedia Crowdsourcing

IEEE Transactions on Multimedia

L. Jiang, H. Tian, Z. Xing, K. Wang, K. Zhang, S. Maharjan, S. Gjessing and Y. Zhang

Social-aware Energy Harvesting Device to Device Communications in 5G Networks

IEEE Wireless Communication Magazine

P. Teymoori, D. A. Hayes, M. Welzl and S. Gjessing

Even Lower Latency, Even Better Fairness:Logistic Growth Congestion Control in Datacenters

The 41st IEEE Conference on Local Computer Networks (LCN)

S. Islam, M. Welzl, D. A. Hayes and S. Gjessing

Managing real-time media flows through a flow state exchange

NOMS 2016 IEEE/IFIP Network Operations and Management Symposium

M. Zeng, S. Leng, S. Maharjan, S. Gjessing and J. He

An Incentivized Auction Based Group-Selling Approach for Demand Response Management in V2G Systems

IEEE Transactions on Industrial Informatics

R. Yu, W. Zhong, S. Xie, C. Yuen, S. Gjessing and Y. Zhang

Balancing Power Demand through EV Mobility in Vehicle-to-Grid Mobile Energy Networks

IEEE Transactions on Industrial Informatics

M. Khoshkholgh, Y. Zhang, K. Chen, K. G. Shin and S. Gjessing

Connectivity of Cognitive Device-to-Device Communications Underlying Cellular Networks

IEEE Journal on Selected Areas in Communications (IEEE JSAC)

R. Yu, X. Huang, J. Kang, J. Ding, S. Maharjan, S. Gjessing and Y. Zhang

Cooperative Resource Management in Cloud-enabled Vehicular Networks

IEEE Transactions on Industrial Electronics

R. Yu, J. Ding, S. Maharjan, S. Gjessing, Y. Zhang and D. Tsang

Decentralized and Optimal Resource Cooperation in Geo-distributed Mobile Cloud Computing

IEEE Transactions on Emerging Topics in Computing

R. Yu, J. Kang, X. Huang, S. Xie, Y. Zhang and S. Gjessing

MixGroup: Accumulative Pseudonym Exchanging for Location Privacy Enhancement in Vehicular Social Networks

IEEE Transactions on Dependable and Secure Computing

J. Ding, R. Yu, Y. Zhang, S. Gjessing and D. Tsang

Service Providers Competition and Cooperation in Cloud-based Software Defined Wireless Networks

IEEE Communications Magazine

J. Kang, R. Yu, S. Maharjan, Y. Zhang, X. Huang, S. Xie, H. Bogucka and S. Gjessing

Toward Secure Energy Harvesting Cooperative Networks

IEEE Communications Magazine

W. Zhong, R. Yu, Y. Zhang, Y. Gao and S. Gjessing

Adaptive Rate Control in Smart Grid Heterogenous Communications Networks

IEEE CIT 2015 (Best Paper Award)

R. Yu, X. Huang, J. Kang, C. Yuen, A. Vinel, M. Jonsson, S. Gjessing and Y. Zhang

An Optimal Replenishment Strategy in Energy Harvesting Wireless Networks with A Mobile Charger

QSHINE 2015 (Best Paper Award)

X. Huang, R. Yu, J. Kang, J. Ding, S. Maharjan, S. Gjessing and Y. Zhang

Dynamic Resource Pricing and Scalable Cooperation for Mobile Cloud Computing

The 15th IEEE International Conference on Scalable Computing and Communications (Best paper award)

G. Patounas

Evaluating Defence Schemes Against Jamming in Vehicle Platoon Networks

Intelligent Transportation Systems (ITSC), 2015 IEEE 18th International

M. Zeng, S. Maharjan, Y. Zhang and S. Gjessing

Group Bidding for Guaranteed Quality of Energy in V2G Smart Grid Networks

IEEE International Conference on Communications

R. Yu, J. Ding, W. Zhong, Y. Zhang, S. Gjessing, A. Vinel and M. Jonsson

Price-based Energy Control for V2G Networks in the Industrial Smart Grid

INISCOM 2015 (Best Paper Award)

S. Maharjan, Y. Zhang, S. Gjessing, Ø. Ulleberg and F. Eliassen

Providing Microgrid Resilience during Emergencies using Distributed Energy Resources

Globecom 2015

N. Khademi, M. Welzl, G. Armitage, C. Kulatunga, D. Ros, G. Fairhurst, S. Gjessing and S. Zander

Alternative Backoff: Achieving Low Latency and High Throughput with ECN and AQM

G. Nan, Z. Mao, M. Li, Y. Zhang, S. Gjessing, H. Wang and M. Guizani

Distributed Resource Allocation in Cloud-Based Wireless Multimedia Social Networks

IEEE Network

B. Briscoe, A. Brunström, A. Petlund, D. A. Hayes, D. Ros, I. Tsang, S. Gjessing, G. Fairhurst, C. Griwodz and M. Welzl

Reducing Internet Latency: A Survey of Techniques and their Merits

IEEE Communications Surveys and Tutorials

S. Maharjan, Y. Zhang, S. Gjessing and D. Tsang

User-Centric Demand Response Management in the Smart Grid With Multiple Providers

IEEE Transactions on Emerging Topics in Computing

S. Maharjan, Q. Zhu, Y. Zhang, S. Gjessing and T. Basar

Dependable Demand Response Management in the Smart Grid: a Stackelberg Game Approach

IEEE Transactions on Smart Grid

Y. Zhang, S. Gjessing, H. Liu, H. Ning, L. Yang and M. Guizani

Securing Vehicle-to-Grid Communications in the Smart Grid

IEEE Wireless Communications

R. Deng, J. Chen, X. Cao, Y. Zhang, S. Maharjan and S. Gjessing

Sensing-Performance Tradeoff in Cognitive Radio Enabled Smart Grid

IEEE Transactions on Smart Grid

R. Yu, Y. Zhang, S. Gjessing, W. Xia and K. Yang

Toward Cloud-Based Vehicular Networks With Efficient Resource Management

IEEE Network Magazine

B. Briscoe, A. Brunström, D. Ros, A. Petlund, I. Tsang, S. Gjessing and G. Fairhurst

A Survey of Latency Reducing Techniques and their Merits

Proc. ISOC Workshop on Reducing Internet Latency

Y. Zhang, R. Yu, M. Nekovee, Y. Liu, S. Xie and S. Gjessing

Cognitive Machine-to-Machine Communications: Visions and Potentials for the Smart Grid

IEEE Network Magazine

R. Yu, Y. Zhang, S. Gjessing, Y. Chau, S. Xie and M. Guizani

Cognitive Radio Based Hierarchical Communications Infrastructure for Smart Grid

IEEE Network Magazine

S. Maharjan, Y. Zhang and S. Gjessing

Economic Approaches for Cognitive Radio Networks: a Survey

Wireless Personal Communications

S. Maharjan, Y. Zhang, C. Yuen and S. Gjessing

Distributed Spectrum Sensing in Cognitive Radio Networks With Fairness Consideration: Efficiency of Correlated Equilibrium

IEEE 8th International Conference on Mobile Ad-hoc and Sensor Systems (IEEE MASS)

R. Deng, S. Maharjan, X. Cao, J. Chen, Y. Zhang and S. Gjessing

Sensing-Delay Tradeoff for Communication in Cognitive Radio Enabled Smart Grid

2nd IEEE International Conference on Smart Grid Communications - SmartGridComm 2011

S. Maharjan, Y. Zhang and S. Gjessing

Economic Approaches in Cognitive Radio Networks

Cognitive Radio Mobile Ad Hoc Networks

S. Maharjan, J. Xiang, Y. Zhang and S. Gjessing

Delay Reduction for Real Time Services in IEEE 802.22 Wireless Regional Area Network

The 21st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010)

S. Maharjan, Y. Zhang and S. Gjessing

Distributed Spectrum Sensing for Cognitive Radio Networks With Heterogeneous Traffic (Invited Paper)

3rd International Workshop on Cognitive Radio and Advanced Spectrum Management

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

Resilient Routing Systems and Methods

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

Resilient routing systems, computer software product and method

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

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

S. Gjessing

A Novel Method for Re-Routing in OBS Networks

7th International Symposium on Communications and Information Technologies

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

Fast Proactive Recovery From Concurrent Failures

IEEE International Conference on Communications (ICC 2007)

A. Kvalbein, T. Cicic and S. Gjessing

Post-Failure Routing Performance With Multiple Routing Configurations

IEEE INFOCOM 2007

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

Alternative Schemes for Proactive IP Recovery

2nd Conference on Next Generation Internet Design and Engineering, Valencia, Spain April 3-5

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

Fast IP Network Recovery Using Multiple Routing Configurations

INFOCOM 2006

S. Gjessing

Implementation of Two Resilience Mechanisms Using Multi Topology Routing and Stub Routers

Advanced Internationl Confernece on Telecommunications (AICT'06)

A. Kvalbein, T. Cicic and S. Gjessing

Routing Efficiency With Link Failures Using Multiple Routing Configurations

F. Davik, A. Kvalbein and S. Gjessing

An Analytical Bound for Convergence of the Resilient Packet Ring Aggressive Mode Fairness Algorithm

Proceedings of the 40th annual IEEE International Conference on Communications, Seoul, Korea, May 16-20

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

F. Davik and S. Gjessing

Applying the DiffServ Model to a Resilient Packet Ring Network

Proceedings of Networking 2005, Waterloo, Ontario, Canada May 2-6

S. Gjessing and A. Maus

Discrete Event Simulation of a Large OBS Network

Proceedings 2005 IEEE International Conference on Systems, Man and Cybernetics, Big Island, Hawaii, October 10-12

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, 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. Davik, A. Kvalbein and S. Gjessing

Improvement of Resilient Packet Ring Fairness

Proceedings of the 48th annual IEEE Global Telecommunications Conference (GLOBECOM 2005), St. Lous, Missouri, USA, November 28-December 2

F. Davik, A. Kvalbein and S. Gjessing

Performance Evaluation and Improvement of Non-Stable Resilent Packet Ring Behavior

Proceedings of the 4th International Conference on Networking (ICN'05), Reunion, France, April 17-21 2005

A. Kvalbein and S. Gjessing

Protection of RPR Strict Order Traffic

Proceedings 14th IEEE Workshop on Local and Metropolitan Area Networks

F. Davik, A. Kvalbein and S. Gjessing

Resilent Packet Ring Low Priority Traffic Latency

Proceedings of the 2005 International Conference on Communications in Computing: CIC 2005, Los Angeles CA, USA, February 2-4

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

Resilient Routing Layers and P-Cycles: Tradeoffs in Network Fault Tolerance

Proceedings 2005 Workshop on High Performance Switching and Routing, Hong Kong May 12-14

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

Resilient Routing Layers for Network Disaster Planning

Networking - ICN 2005: 4th International Conference on Networking, Reunion April 17-21

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 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

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

F. Davik and S. Gjessing

Applying the DiffServ Model to a Resilient Packet Ring Network

F. Davik, A. Kvalbein and S. Gjessing

Congestion Domain Boundaries in Resilient Packet Rings

F. Davik and S. Gjessing

Improvement of Resilient Packet Ring Fairness

F. Davik, M. Yilmaz, S. Gjessing and N. Uzun

IEEE 802.17 Resilient Packet Ring Tutorial

IEEE Communications Magazine

A. Kvalbein and S. Gjessing

Analysis and Improved Performance of RPR Protection

Proceedings of the 12th IEEE Conference On Networks (ICON'04)

A. Kvalbein, S. Gjessing and F. Davik

Performance Evaluation of an Enhanced Bridging Algorithm in RPR Networks

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

F. Davik and S. Gjessing

The Stability of the Resilient Packet Ring Aggressive Fairness Algorithm

Proceedings of the 13th IEEE Workshop on Local and Metropolitan Area Networks (LANMAN2004)

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)

F. Davik and S. Gjessing

Applying the DiffServ Model to a Resilient Packet Ring Network

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

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

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

A Method for Recovery in Packet Networks

Norwegian Network Research Seminar 2004

F. Davik, M. Yilmaz, S. Gjessing and N. Uzun

IEEE 802.17 Resilient Packet Ring Background and Overview

S. Gjessing

The Simula RPR Simulator Implemented in Java

S. Gjessing, B. Libæk and P. Teigen

The Simula RPR Simulator Written I Java

Presentation at the July 2003 IEEE 802.17 plenary meeting

T. Cicic, S. Gjessing and Ø. Kure

Tree Recovery in PIM Sparse Mode

Telecommunication Systems

S. Gjessing and A. Maus

A Fairness Algorithm for High-Speed Networks Based on a Resilient Packet Ring Architecture

Proceedings of 2002 IEEE International Conference on Systems, Man and Cybernetics

S. Gjessing and F. Davik

Avoiding Head-of-Line Blocking Using an Enhanced Fairness Algorithm

Proceedings of the International Conference on Telecommunication (ICT 2002), Paper C089, 6 pages

S. Gjessing and F. Davik

Improved Fairness and Class of Service Behaviour in a Resilient Packet Ring

Proceedings of 12th IEEE Workshop on Local and Metropolitan Area Networks (LANMAN 2002)

S. Gjessing and F. Davik

Performance Evaluation of Back-Pressure Fairness in RPR

Proceedings of the 7th European Conference on Networks & Optical Communications

M. Engelsåstrø, T. Ingvaldsen and S. Gjessing

IP Multicast: Idé Som Forenkler Innholdsdistribusjon

Telenor ToU magasinet

S. Gjessing

Lessons Learned From Java Simulations

Presentation at the January 2002 IEEE 802.17 interim meeting

S. Gjessing

RPR's Worst Case Scenario?

Presentation at the July 2002 IEEE 802.17 plenary meeting

T. Cicic, S. Gjessing and Ø. Kure

An Improved PIM-SM Tree Recovery Algorithm

Proceedings IEEE Workshop in High Performance Switching and Routing

T. Cicic, S. Gjessing and Ø. Kure

Performace Evaluation of PIM-SM Recovery

Proceedings IEEE International Conference on Networking, ICN´01

T. Cicic, S. Gjessing and Ø. Kure

Topology Construction for Inter-Domain Network Protocol Simulations

S. Gjessing

A Fairness Algorithm for Dynamic Spatial Reuse Avoiding HOL Blocking

Presentation at the September 2001 IEEE 802.17 interim meeting

S. Gjessing

C++ and Java: a Comparison and an Evaluation

Technologies for component based, distributed systems workshop

S. Gjessing

Evaluation of an Enhanced Fairness Algorithm That Avoids HOL Blocking

Presentation at the September 2001 IEEE 802.17 interim meeting

S. Gjessing

Flow Control Algorithms Revisited

Presentation at the November 2001 IEEE 802.17 plenary meeting

S. Gjessing

Preliminary Performance Results From a Simple Java Model

Presentation at the May 2001 IEEE 802.17 interime meeting

-. Clementsen, -. Dybos, G. Egeland, S. Gjessing, -. Sorteberg and Ø. null

Internett-Protokoller Og IETF

Forskningsnotat 2/2000, Telenor FoU, 63 sider

S. Gjessing, A. Maus, I. Strøm and L. P. Huse

Running the SAR Application on a Cluster of PCs Connected With SCI Using a HIC Based SCI Switch

Conference Proceedings of SCI Europe'99 in Euro-Par 99

L. G. Bjønnes, H. Bryhni, J. M. Evang and S. Gjessing

Wireless Experimental Metropolitan Area Network Using IPv6 in Norway (WEMAN)

Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences

S. Kaxiras, S. Gjessing and J. R. Goodman

A Study of Three Dynamic Approaches to Handle Widely Shared Data in Shared-Memory Multiprocessors

Proceedings, International Conference on Supercomputing 1998 (ICS 98)

S. J. Ryan, A. Maus and S. Gjessing

An Operating System Independent Driver for an I/O Based SCI Interface

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

S. J. Ryan, S. Gjessing and M. Liaaen

Cluster Communication Using a PCI to SCI Interface

Proceedings IASTED International Conference on Parallel and Distributed Computing and Systems

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

O. Lysne and S. Gjessing

On SCI-Configurations and Deadlocks

Proceedings from NIK'96: Norsk Informatikk Konferanse

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 S. Gjessing

Aspects of Running the SCI-Protocol Over HIC-Networks

S. Gjessing, H. Bryhni and A. Schinco

Preliminary Simulation Results of an SCI Based Clustered Database Machine

International Workshop on Computer Architecture

O. Lysne and S. Gjessing

Requirements Imposed by SCI and ATM

OMI-MACRAMÉ project deliverable D3.1.1

N. Aboulenen, S. Gjessing, J. Goodman and P. Woest

Hardware Support for Synchronization in the Scalable Coherent Interface (SCI)

Proceedings IPPS'94

S. Gjessing and G. Stone

The Performance of the RamLink Memory Architecture

Proceedings HICSS'94

S. Gjessing, D. B. Gustavson, D. V. James and H. Wiggers

A RAM Link for High Speed

IEEE Spectrum

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

A Top Down Approach to the Formal Specification of SCI Cache Coherence

Computer Aided Verification, 3rd International Workshop (CAV'91)

S. Gjessing, G. Stone and H. Wiggers

RamLink: a High-Bandwidth Point-to-Point Memory Architecture

Proceedings CompCon 1992

S. Gjessing, J. R. Goodman, D. B. Gustavson, D. V. James and E. H. Kristiansen

The SCI Cache Coherence Protocol

Scalable Memory Multiprocessors

S. Gjessing

SCI - Cache Coherence

Proceedings of Open Bus Systems

D. James, A. Laundrie, S. Gjessing and G. Sohi

Distributed Directory Scheme: Scalable Coherent Interface

IEEE Computer Magazine

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

A Top Down Approach to the Formal Specification of SCI Cache Coherence

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

Approaching Verification of the SCI Cache Coherence Protocol

S. Gjessing and E. Munthe-Kaas

Parallel Composition of Observable Processes With Shared Variables

S. Gjessing, S. Krogdahl and E. Munthe-Kaas

Formal Specification and Verification of SCI Cache Coherence

Norsk Informatikk Konferanse

S. Gjessing and E. Munthe-Kaas

Trace Based Verification of Parallel Programs With Shared Variables

22nd Annual Hawaii International Conference on System Sciences

S. Gjessing

Semantics and Verification of Monitors and Systems of Monitors and Processes

Distributed Computing

Y. Lindsjørn and D. I. K. Sjøberg

Database Concepts Described in an Object-Oriented Perspective

Proceedings of the European Conference on Object-Oriented Programming Oslo

S. Gjessing

Invariants in Systems of Processes and Monitors

Distributed Computing

S. Gjessing and K. Nygaard

European Conference on Object-Oriented Programming - ECOOP'88

S. Gjessing

Verification of Systems of Processes and Monitors - Two Examples

S. Gjessing

An Axiomatic Semantics of Concurrent Processes and Monitors

S. Gjessing and J. Piene

Communication Between the S-2000 and Multibus Equipment

Sim-X technical specification

S. Gjessing and S. Krogdahl

Datastart, Maskinarbeidsbok I Turbo-Pascal and Compas-Pascal

Misc

S. Gjessing, J. Piene and K. Johnsen

Slang/sla S-2000 Hardware Reference Manual. Edition 2.0

Norsk Regnesentral and Sim-X

S. Gjessing

Aspects of Semantics and Verification of Monitors

S. Gjessing

Verification of Monitors Based on a Partial Correctness Semantics

S. Gjessing, Ø. Haugen, P. Jensen and J. Piene

Mach-S: the Simula Workstation

Mach-S information, Sept. 1983, Norsk Regnesentral

S. Gjessing

Programming Monitors in Simula

Proceedings 1982 Association of Simula Users (ASU) conference

S. Gjessing and J. Piene

Slang/S-2000 Hardware Reference Manual. Edition 1.0

Mach-S information, May 1982, Norsk Regnesentral

S. Gjessing

The Syntax and the Semantics of Slang - a Simpel S-Code Based Language for the Mach-S

Mach-S information, January 1982, Norsk Regnesentral

S. Gjessing

Monitors With Arrays of Condition Variables and Proof Rules Handling Local Quantities

BIT

S. Gjessing

Monitors With Associated Processors

BIT

S. Gjessing

Microcomputer Interrupt Servicing in an Environment of Processes and Monitors

S. Gjessing

Microcomputer Software Design and Programming Using the Concepts of Processes and Monitors - a Case Study

S. Gjessing, T. Schjefstad, S. Sjursen and K. Skog

Modulær Programmering Av Mikromaskiner Ved Hjelp Av Prosesser Og Monitorer

Misc

S. Gjessing

Compile Time Preparation for Run Time Scheduling in Monitors

BIT

S. Gjessing

MYINT - MYLOC

S. Gjessing

The Structure of the MUMI Multi Microcomputer System

S. Gjessing

MYINT Users Manual

AS Mycron

S. Gjessing

MYMUX - Mycron Multiprocessor Executor V. 2.0

A/S Mycron

S. Gjessing

Operativsystemer

Forelesningsreferat i emnet ``Operativsystemer''