Homepage for Ketil Stølen

ORCID logo https://orcid.org/0000-0002-8810-9902


Ketil Stølen

Positions

Qualifications

Project management

Editorial boards

Books

TechnologyResearch
Teknologivitenskap
CyberRisk
CORAS
FOCUS
PhD thesis

Selected articles

On the rely-guarantee method

On stream processing

On sequence diagrams and their semantics

On security risk analysis

All publications

Supervision

Teaching

Miscellaneous

Created: January 1, 1999. Last updated: September 16, 2024.