Øystein Haugen

• Johansen, Martin Fagereng; Haugen, Øystein & Fleurey, Franck (2011). A survey of empirics of strategies for software product line testing , In Lisa O’Conner (ed.),  Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, ICSTW '11.  IEEE Computer Society.  ISBN 978-1-4577-0019-4.  A Survey of Empirics of Strategies for Software Product Line Testing.  s 266 - 269
• Johansen, Martin Fagereng; Haugen, Øystein & Fleurey, Franck (2011). Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6981, s 638- 652 . doi: 10.1007/978-3-642-24485-8_47
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Analyzing Variability: Capturing Semantic Ripple Effects. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  6698, s 253- 269 . doi: 10.1007/978-3-642-21470-7_18
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Station , In Stephan Weißleder; Levi Lúcio; Harald Cichos & Frédéric Fondement (ed.),  MoDeVVa : Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0914-1.  Article no. 5.
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Model Comparison to Synthesize a Model-Driven Software Product Line , In . NN (ed.),  15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011.  IEEE conference proceedings.  ISBN 978-1-4577-1029-2.  Artikkel.  s 90 - 99
• Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein; Møller-Pedersen, Birger & Olsen, Gøran K. (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. , In Jan Bosch & Jaejoon Lee (ed.),  Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010..  Springer.  ISBN 978-3-642-15578-9.  kapitel.  s 106 - 120
• Haugen, Øystein & Runde, Ragnhild Kobro (2009). Enhancing UML to Formalize the FIPA Agent Interaction Protocol . Lecture Notes in Business Information Processing.  ISSN 1865-1348.  25, s 154- 173
• Oldevik, Jon & Haugen, Øystein (2009). From sequence diagrams to Java-stairs aspects , In Kevin Sullivan (ed.),  Proceedings of the 8th ACM international conference on Aspect-oriented software development.  ACM Press.  ISBN 978-1-60558-442-3.  978-1-60558-442-3.  s 99 - 110
• Oldevik, Jon; Haugen, Øystein & Møller-Pedersen, Birger (2009). Confluence in Domain-Independent Product Line Transformations , In Marsha Chechik (ed.),  Fundamental Approaches to Software Engineering.  Springer.  ISBN 978-3-642-00592-3.  3.  s 34 - 48
• Endresen, Jan; Carlson, Erik; Moen, Thomas; Alme, Kjell-Joar; Haugen, Øystein; Olsen, Gøran K. & Svendsen, Andreas (2008). Train Control Language - teaching computers interlocking, In J Allan; E Arias; C. A. Brebbia; C. J. Goodman; A. F. Rumsey; G. Sciutto & N Tomii (ed.),  Computers in Railways XI.  WIT Press.  ISBN 978-1-84564-126-9.  Artikkel.  s 651 - 660
• Haugen, Øystein; Møller-Pedersen, Birger; Oldevik, Jon; Olsen, Gøran K. & Svendsen, Andreas (2008). Adding Standardized Variability to Domain Specific Languages , In Birgit Geppert & Klaus Pohl (ed.),  Proceedings of the 12th International Software Product Line Conference, SPLC 2008.  IEEE Computer Society.  ISBN 978-0-7695-3303-2.  Artikkel.  s 139 - 148
• Svendsen, Andreas; Olsen, Gøran K.; Endresen, Jan; Moen, Thomas; Carlson, Erik; Alme, Kjell-Joar & Haugen, Øystein (2008). The Future of Train Signaling . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  5301, s 128- 142
• Oldevik, Jon & Haugen, Øystein (2008). Semantics Preservation of Sequence Diagram Aspects , In Ina Schieferdecker & Alan Hartman (ed.),  Model Driven Architecture – Foundations and Applications.  Springer.  ISBN 978-3-540-69095-5.  15.  s 215 - 230
• Sanders, Richard & Haugen, Øystein (2008). Milestones: Mythical Signals in UML to Analyze and Monitor Progress . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  5377, s 110- 121
• Graf, S; Gerard, Sebastien; Haugen, Øystein; Ober, I & Selic, Bran (2007). Modelling and Analysis of Real Time and Embedded Systems – Using UML . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  4364, s 126- 130
• Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2007). Time Exceptions in Sequence Diagrams . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  4364, s 131- 142
• Oldevik, Jon & Haugen, Øystein (2007). Architectural Aspects in UML . Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  4735, s 301- 315
• Oldevik, Jon & Haugen, Øystein (2007). Higher-Order Transformations for Product Lines , In Kyo Chul Kang (ed.),  SPLC 2007.  IEEE Computer Society.  ISBN 0-7695-2888-0.  Article.  s 243 - 252
• Bayer, Joachim; Gerard, Sebastien; Haugen, Øystein; Mansell, Jason; Møller-Pedersen, Birger; Oldevik, Jon; Tessier, Patrick et al. (2006). Consolidated Product Line Variability Modeling, In Timo Käkölä & Juan Carlos Dueñas (ed.),  Software Product Lines. Research Issues in Engineering and Management.  Springer.  ISBN 3-540-33252-9.  Chapter 6.  s 195 - 241
• Graf, S; Gerard, S; Haugen, Øystein; Ober, I & Selic, B (2006). Modeling and analysis of real-time and embedded systems. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  3844
• Graf, S; Haugen, Øystein; Ober, Ileana & Selic, Bran (2006). Preface of “Specification and Validation of Real Time and Embedded systems in UML”. International Journal on Software Tools for Technology Transfer (STTT).  ISSN 1433-2779.  8(2), s 93- 96 . doi: 10.1007/s10009-005-0220-y
• Halvorsen, Oddleif & Haugen, Øystein (2006). Proposed Notation for Exception Handling in UML 2 Sequence Diagrams, In Jun Han & Mark Staples (ed.),  2006 Australian Software Engineering Conference.  IEEE Computer Society.  ISBN 0-7695-2551-2.  Proposed Notation for Exception Handling in UML 2 Sequence Diagrams.  s 29 - 38
• Halvorsen, Oddleif; Runde, Ragnhild Kobro & Haugen, Øystein (2006). Time Exceptions in Sequence Diagrams, In Sebastien Gerard; S Graf; Øystein Haugen; I Ober & Bran Selic (ed.),  MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems.  Department of Informatics.  ISBN 82-7368-299-4.  New Language Ideas.  s 81 - 100
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  4344, s 98- 113
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling, In Chunming Rong & Arne Løkketangen (ed.),  NIK'2006 : Norsk informatikkonferanse.  Tapir Akademisk Forlag.  ISBN 82-519-2186-4.  kapittel.
• Oldevik, Jon; Solberg, Arnor; Haugen, Øystein & Møller-Pedersen, Birger (2006). Evaluation Framework for Model-Driven Product Line Engineering Tools, In Timo Käkölä & Juan Carlos Dueñas (ed.),  Software Product Lines. Research Issues in Engineering and Management.  Springer.  ISBN 3-540-33252-9.  Chapter 16.  s 589 - 618
• Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2006). The pragmatics of STAIRS. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  4111, s 88- 114
• Graf, S; Haugen, Øystein; Ober, I & Selic, B (2005). SVERTS - Specification and validation of real-time and embedded systems. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  3297
• Haugen, Øystein (2005). Comparing UML 2.0 interactions and MSC-2000. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  3319
• Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2005). STAIRS towards formal design with sequence diagrams. Software & Systems Modeling.  ISSN 1619-1366.  4(4), s 355- 367
• Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2005). Why timed sequence diagrams require three-event semantics. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  3466, s 1- 25
• Haugen, Øystein; Møller-Pedersen, Birger & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  (3714), s 102- 112
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2005). Introduction to UML and the Modeling of Embedded Systems, In Richard Zurawski (ed.),  Embedded Systems Handbook.  CRC Press.  ISBN 0849328241.  Chapter 9.
• Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). How to transform UML neg into a useful construct, In Eivind Coward (ed.),  Norsk informatikkonferanse NIK'2005.  Tapir Akademisk Forlag.  ISBN 82-519-2081-7.  Artikkel.  s 55 - 66
• Runde, Ragnhild Kobro; Haugen, Øystein & Stølen, Ketil (2005). Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing.  ISSN 1236-6064.  12(2), s 157- 188
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2003). Structural Modeling with UML 2.0, In Luciano Lavagno; Grant Martin & Bran Selic (ed.),  UML for Real.  Kluwer Academic Publishers.  ISBN 1-4020-7501-4.  Kapittel 3.
• Haugen, Øystein & Stølen, Ketil (2003). STAIRS - Steps to analyze interactions with refinement semantics. Lecture Notes in Computer Science = Lecture notes in artificial intelligence.  ISSN 0302-9743.  2863, s 388- 402
• Haugen, Øystein (2000). MSC-2000: Interacting with the Future. Telektronikk.  ISSN 0085-7130.  96(4), s 54- 61
• Bræk, Rolv; Gorman, Joe; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger & Sanders, Richard (1999). Quality by construction exemplified by TIMe. Telektronikk.  ISSN 0085-7130.  95(1), s 73- 82
• Rønsen, Ola; Haugen, Øystein; Rasmussen, Tone & Bahr, Roald (1998). Effekten av repeterte utholdenhetsøkter på oksygenoverskuddet (EPOC).. Norsk idrettsmedisin.  ISSN 0806-9328.  3, s 23- 23

View all works in Cristin

• Petriu, Dorina C.; Rouquette, Nicolas & Haugen, Øystein (ed.) (2010). Model Driven Engineering Languages and Systems. Springer.  ISBN 978-3-642-16144-5.  424 s.
• Petriu, Dorina C.; Rouquette, Nicolas & Haugen, Øystein (ed.) (2010). Model Driven Engineering Languages and Systems (Part 2). Springer.  ISBN 978-3-642-16128-5.  422 s.
• Baker, Paul; Dai, Zhen Ru; Grabowski, Jens; Haugen, Øystein; Schieferdecker, Ina & Williams, Clay E. (2007). Model-Driven Testing. Using the UML Testing Profile.. Springer.  ISBN 978-3-540-72562-6.  194 s.

View all works in Cristin

• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2011). Standardizing Variability - Challenges and Solutions.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Analyzing Variability: Capturing Semantic Ripple Effects.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Stations.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Synthesizing Software Models: Generating Train Station Models Automatically.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Using Variability Models to Reduce Verification Effort of Train Station Models.
• Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Towards Evolution of Generic Variability Models.
• Fleury, F.; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, G. K. & Svendsen, Andreas (2009). A Generic Language and Tool for Variability Modeling.
• Haugen, Øystein (2008). Challenges to UML 2 to describe FIPA Agent protocol.
• Gerard, Sebastien; Graf, S; Haugen, Øystein; Ober, I & Selic, Bran (ed.) (2006). MARTES 2006 at MoDELS 2006 - International workshop on Modeling and Analysis of Real-Time and Embedded Systems.
• Haugen, Øystein (2006). Teaching modeling of reactive systems.
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML.
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling.
• Haugen, Øystein (2005). Product families - another area for OMG technology? .
• Møller-Pedersen, Birger; Haugen, Øystein & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches .
• Baker, Paul; Dai, Zhen Ru; Grabowski, Jens; Haugen, Øystein; Samuelsson, Eric; Schieferdecker, Ina & Williams, Clay E. (2004). The UML 2.0 Testing Profile.
• Haugen, Øystein (2004). Comparing UML 2.0 Interactions and MSC-2000.
• Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro & Stølen, Ketil (2004). Why timed sequence diagrams require three-event semantics.
• Haugen, Øystein & Schieferdecker, Ina (2004). The UML Testing Profile.
• Møller-Pedersen, Birger; Haugen, Øystein; Oldevik, Jon & Solberg, Arnor (2004). An MDA®-based framework for model-driven product derivation.
• Haugen, Øystein & Stølen, Ketil (2003). STAIRS - Steps To Analyze Interactions with Refinement Semantics.
• Haugen, Øystein & Husa, Knut Eilif (2002). Experimenting with UML 2.0 for creating telecom services.
• Haugen, Øystein & Møller-Pedersen, Birger (2002). Proposals for the next version of UML (2.0).
• Bræk, Rolv; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger & Stålhane, Tor (2001). SISU Integrated Methodology -- at a glance.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2001). How to successfully Leverage UML in Real-Time Applications: Using SDL and UML together.
• Haugen, Øystein (2000). Distance is Dead! Long Live the Distance?.
• Haugen, Øystein (2000). Scenario-based round-trip engineering - key note speech.
• Haugen, Øystein & Møller-Pedersen, Birger (2000). JavaFrame: Framework for Java Enabled Modelling.
• Bræk, Rolv; Gorman, Joe; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger & Sanders, Richard (1999). TIMe at a glance.
• Haugen, Øystein (1999). Converging MSC and UML Sequence Diagrams.
• Haugen, Øystein (1999). MSC2000 - Interaction for the next Millenium.
• Haugen, Øystein (1999). MSC-2000 Highlights.
• Haugen, Øystein (1999). Z.120 - Message Sequence Charts.
• Selic, Bran; Dhaussy, P.; Ek, A.; Haugen, Øystein; Leblanc, P. & Møller-Pedersen, Birger (1999). SDL as UML: Why and What.
• Haugen, Øystein & Møller-Pedersen, Birger (1998). SDL - a platform for telecom system development also in the future?.
• Møller-Pedersen, Birger; Haugen, Øystein & Bræk, Rolv (1996). A simple and practical solution to the inheritance of behaviour of statechart-like specified classes.
• Haugen, Øystein & Hjort, Peter Fredrik (1979). Helsetjenesten i fylkene : behov og ressurser.

View all works in Cristin