Øystein Haugen

---

Title	Førsteamanuensis (Associate Professor) part-time
Affiliation	SINTEF and Department of Informatics, University of Oslo
Address	SINTEF, P.O. Box 124, Blindern, N-0314 Oslo, Norway
Research Group	Object orientation, Modeling and Language (OMS)
Office	SINTEF, Forskningsveien 1, Oslo
Phone	+47 913 90 914 (mobile)
Fax
Email	oystein.haugen {at} ifi.uio.no

---

Research Interests Variability Modeling and Software Product Lines Object Oriented Languages and Methods  Software Engineering Real-time systems (especially telecom) Practical formal methods

Current main projects: Standardizing CVL (Common Variability Language) within OMG CESAR – Cost-efficient methods and processes for safety relevant embedded systems VERDE – Verification-oriented & component-based model Driven Engineering for real-time embedded systems UML 2.0 with special focus on Interactions (Sequence Diagrams) (UML2.0) MoSIS – Model-driven development of highly configurable embedded Software-intensive Systems SWAT Semantic Weaving - Advancing the Technology

Teaching: INF5150: INF-UIT: Unassailable IT-systems Master thesis suggestions

Publications: Selected recent publications More detailed CV of Ø. Haugen PhD Thesis: Practitioners' Verification of SDL Systems (Acrobat 6.0, 1.7 Mb)

---

Updated: 11 August,  2009