Ø. Haugen – some recent publications

  • Petriu, Dorina C.; Rouquette, Nicolas; Haugen, Øystein. Model Driven Engineering Languages and Systems. Proceedings of MODELS 2010. Lecture Notes in Computer Science 6394 and 6395 Springer 2010.
  • Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran K.. Developing a Software Product Line for Train Control: A Case Study of CVL.. Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010. Springer 2010 ISBN 978-3-642-15578-9. s. 106-120 
  • Haugen, Øystein; Runde, Ragnhild Kobro. Enhancing UML to Formalize the FIPA Agent Interaction Protocol. Lecture Notes in Business Information Processing 2009 ;Volum 25. s. 154-173 
  • Oldevik, Jon; Haugen, Øystein; Møller-Pedersen, Birger. Confluence in Domain-Independent Product Line Transformations. Fundamental Approaches to Software Engineering. Springer 2009 ISBN 978-3-642-00592-3. s. 34-48 
  • Haugen Øystein. Model Analysis - Why and How?. Telektronikk 1.09, 49-58.  2009
  • Haugen, Øystein; Møller-Pedersen, Birger; Oldevik, Jon; Olsen, Gøran K.; Svendsen, Andreas. Adding Standardized Variability to Domain Specific Languages. Proceedings of the 12th International Software Product Line Conference, SPLC 2008. IEEE Computer Society 2008 ISBN 978-0-7695-3303-2. s. 139-148 
  • Baker, Paul; Dai, Zhen Ru; Grabowski, Jens; Haugen, Øystein; Schieferdecker, Ina; Williams, Clay E.. Model-Driven Testing. Using the UML Testing Profile.. Springer 2007 (ISBN 978-3-540-72562-6) 194 s.
  • Halvorsen, Oddleif; Runde, Ragnhild Kobro; Haugen, Øystein. Time Exceptions in Sequence Diagrams. Lecture Notes in Computer Science 2007 ;Volum 4364. s. 131-142 
  • Oldevik, Jon; Haugen, Øystein. Higher-Order Transformations for Product Lines.SPLC 2007. IEEE Computer Society 2007 ISBN 0-7695-2888-0. s. 243-252 
  • Haugen, Øystein. Teaching modeling of reactive systems. MoDELS2006 Educators' Symposium; 2006-10-02 - 2006-10-02 
  • Haugen, Øystein; Møller-Pedersen, Birger. Configurations by UML. Lecture Notes in Computer Science 2006 ;Volum 4344. s. 98-113 
  • Haugen, O., B. Møller-Pedersen, and J. Oldevik. Comparison of System Family Modeling Approaches. in SPLC 2005. 2005. Rennes, France: Springer LNCS 3714 p 102 – 112.
  • Haugen, O., K.E. Husa, R.K. Runde, and K. Stølen. Why Timed Sequence Diagrams Require Three-Event Semantics. in Scenarios: Models, Transformations and Tools. 2005. Dagstuhl: Springer LNCS 3466 p 1-25 ISBN: 3-540-26189-3.
  • Haugen, O., K.E. Husa, R.K. Runde, and K. Stølen, STAIRS towards formal design with sequence diagrams. Software and System Modeling (SoSyM), 2005. Online first.
  • Haugen, O., B. Møller-Pedersen, and T. Weigert, Use of UML for the Modeling of Embedded Systems, in Embedded Systems Handbook, R. Zurawski, Editor. 2005, CRC Press. 0849328241 p.??
  • Graf, S., O. Haugen, I. Ober, and B. Selic SVERTS – Specification and Validation of Real-time and Embedded Systems. in UML 2004 - SVERTS workshop. 2004. Lisbon: Springer-Verlag, LNCS 3297 pp??
  • Baker, P., et al. The UML 2.0 Testing Profile. in '8th Conference on Quality Engineering in Software Technology 2004' (CONQUEST 2004). 2004. Nuremberg (Germany): ASQF e.V., Erlangen, pp 181-189
  • Haugen, O., et al. An MDA-based framework for model-driven product derivation. in The eighth IASTED International Conference on Software Engineering and Applications. 2004. Cambridge, USA.: ACTA press, pp 709-714
  • Schieferdecker, I. and O. Haugen. The UML Testing Profile. in ECOOP 2004. 2004. Oslo: (Tutorial)
  • Haugen, O. Comparing UML 2.0 Interactions and MSC-2000. in SAM 2004: SDL and MSC Fourth International Workshop. 2004. Ottawa: Springer, LNCS 3319 pp 69-84
  • Haugen, Ø., et al., Method for improving transmission between terminals in a telecommunications system. 2003, 3. juni 2003: USA. Pat. no. US patent nr. 6.574.006.
  • Haugen, Ø. and K. Stølen. STAIRS - Steps To Analyze Interactions with Refinement Semantics. in UML 2003. 2003. San Francisco: Springer-Verlag, LNCS 2863 pp 388-402.
  • Haugen, Ø., B. Møller-Pedersen, and T. Weigert, Structural Modeling with UML 2.0, in UML for Real, L. Lavagno, G. Martin, and B. Selic, Editors. 2003, Kluwer Academic Publishers: Boston. p. 53-76.
  • Haugen, Ø. From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams. in 10th International SDL Forum. 2001. Copenhagen: Springer, LNCS 2078 pp 38-51.
  • Haugen, Ø., B. Møller-Pedersen, and T. Weigert. How to Successfully Leverage UML in Real-time Applications: Using SDL and UML Together. (Tutorial) in COMPSAC 2001. 2001. Chicago, USA,
  • Haugen, Ø. MSC-2000 interaction diagrams for the new millennium. Computer Networks, 2001. 35: p. 721-732.