Øystein Haugen

• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2012). Standardizing Variability - Challenges and Solutions. Lecture Notes in Computer Science.  ISSN 0302-9743.  7083, s 233- 246 . doi: 10.1007/978-3-642-25264-8_18
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Using Variability Models to Reduce Verification Effort of Train Station Models , In . NN (ed.),  18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011.  IEEE conference proceedings.  ISBN 978-1-4577-2199-1.  Session 4C: Program Analysis.  s 348 - 356
• Johansen, Martin Fagereng; Haugen, Øystein & Fleurey, Franck (2012). An algorithm for generating t-wise covering arrays from large feature models , In Christa Schwanninger; David Benavides; Andre Santos; Vander Alves & Eduardo Santana Almeida (ed.),  SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 1.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1094-9.  Artikkel.  s 46 - 55
• Johansen, Martin Fagereng; Haugen, Øystein & Fleurey, Franck (2012). Bow tie testing: a testing pattern for product lines , In Paris Avgeriou (ed.),  EuroPLoP '11: Proceedings of the 16th European Conference on Pattern Languages of Programs.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1302-5.  Artikkel 9.  s 9.1 - 9.13
• Johansen, Martin Fagereng; Haugen, Øystein; Fleurey, Franck; Carlson, Erik; Endresen, Jan & Wien, Tormod (2012). A Technique for Agile and Automatic Interaction Testing for Product Lines , In Brian Nielsen & Carsten Weise (ed.),  Testing Software and Systems, 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings.  Springer.  ISBN 978-3-642-34690-3.  Kapittel 5.  s 39 - 54
• Johansen, Martin Fagereng; Haugen, Øystein; Fleurey, Franck; Eldegaard, Anne Grete & Syversen, Torbjørn (2012). Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines , In Robert B. France; Jürgen Kazmeier; Ruth Breu & Colin Atkinson (ed.),  Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings.  Springer.  ISBN 978-3-642-33665-2.  Kapittel.  s 269 - 284
• Saratxaga, C. L.; Alonso-Montes, C; Haugen, Øystein; Ekelin, C. & Mitschke, Andreas (2012). Product line tool-chain: Variability in critical systems , In  2012 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE),Zurich, 4-4 June 2012.  IEEE conference proceedings.  ISBN 978-1-4673-1750-4.  artikkel.  s 57 - 60
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Lecture Notes in Computer Science.  ISSN 0302-9743.  7167, s 187- 201 . doi: 10.1007/978-3-642-29645-1_20
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Synthesizing Software Models: Generating Train Station Models Automatically. Lecture Notes in Computer Science.  ISSN 0302-9743.  7083, s 38- 53 . doi: 10.1007/978-3-642-25264-8_5
• Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Towards Evolution of Generic Variability Models. Lecture Notes in Computer Science.  ISSN 0302-9743.  7167, s 53- 67 . doi: 10.1007/978-3-642-29645-1_8
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines , In  2012 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, 4-7 Dec. 2012.  IEEE conference proceedings.  ISBN 978-1-4673-4930-7.  Artikkel.  s 766 - 771
• Haugen, Øystein (2011). Domain Specific Languages and Standardization: Friends or Foes? - Invited Talk for DsE@CAiSE2011. Lecture Notes in Business Information Processing.  ISSN 1865-1348.  83, s 166- 166
• 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.  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.  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
• Mohagheghi, Parastoo & Haugen, Øystein (2010). Evaluating Domain-Specific Modelling Solutions. Lecture Notes in Computer Science.  ISSN 0302-9743.  6413, s 212- 221
• 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
• Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, Roy; Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger & Olsen, Gøran Klepp (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. Lecture Notes in Computer Science.  ISSN 0302-9743.  6287, 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
• 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.  ISSN 0302-9743.  5377, s 110- 121
• 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.  ISSN 0302-9743.  5301, s 128- 142
• 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.  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.  ISSN 0302-9743.  4364, s 131- 142
• Oldevik, Jon & Haugen, Øystein (2007). Architectural Aspects in UML . Lecture Notes in Computer Science.  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 & Widen, Tanya (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.  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.  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.  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.  ISSN 0302-9743.  3297
• Haugen, Øystein (2005). Comparing UML 2.0 interactions and MSC-2000. Lecture Notes in Computer Science.  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.  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.  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.  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

View all works in Cristin

• Haugen, Øystein; Reed, Rick & Gotzhein, Reinhard (ed.) (2013). System Analysis and Modeling: Theory and Practise. Springer.  ISBN 978-3-642-36756-4.  100 s.
• Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof (2012). Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM).  ISBN 978-1-4503-1809-9.  39 s.
• 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

• Haugen, Øystein (2012). Panel: Unified vs. domain-specific: should we have fewer or more modelling languages?.
• Haugen, Øystein (2012). Representing Variability – applying metamodels, ontologies, DSLs.
• Haugen, Øystein (2012). VARY – Variability for You. Lecture Notes in Computer Science.  ISSN 0302-9743.  7167, s 48- 52 . doi: 10.1007/978-3-642-29645-1_7
• Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof (2012). VARY 2012: VARiability for You , In  Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1809-9.  Summary of workshop.  s 1 - 2
• Haugen, Øystein; Wasowski, Andrzej & Czarnecki, Krzysztof (2012). CVL - Common Variability Language.
• Saratxaga, C. L.; Alonso-Montes, C; Haugen, Øystein; Ekelin, C. & Mitschke, Andreas (2012). Product Line Tool-Chain: Variability in Critical Systems .
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines.
• 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.
• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2011). Standardizing Variability - Challenges and Solutions.
• 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).
• 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). Quality by Construction Exemplified by TIMe - The Integrated Methodology. Telektronikk.  ISSN 0085-7130.  95(1), s 73- 82
• 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?.
• Bræk, Rolv; Haugen, Øystein; Melby, Geir; Møller-Pedersen, Birger; Stålhane, Tor & Sanders, Richard (1997). TIMe : The Integrated Method.
• 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.
• Bræk, Rolv; Haugen, Øystein & Møller-Pedersen, Birger (1996). A simple and practical approach to the inheritance of behaviour of statechart-like specified classes.

View all works in Cristin