2023
|
1. |
Madsen, Ole Lehrmann; Møller-Pedersen, Birger. What Your Mother Forgot to Tell you About Modeling – and Programming. I: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE conference proceedings 2023 ISBN 979-8-3503-2498-3. p. 200-210 UiO
Untitled
|
|
2. |
Prinz, Andreas; Engebretsen, Martin; Gjøsæter, Terje; Møller-Pedersen, Birger; Xanthopoulou, Themis Dimitra. Models, systems, and descriptions: A cross-disciplinary reflection on models. Frontiers in Computer Science 2023 ;Volume 5. p. - UIA UiO
Untitled
|
2022
|
3. |
Lehrmann Madsen, Ole; Møller-Pedersen, Birger. Using supplementary properties to reduce the need for documentation. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022; 2022-10-22 - 2022-10-30 UiO
Untitled
|
|
4. |
Lehrmann Madsen, Ole; Møller-Pedersen, Birger. What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming. Onward! '22: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software; 2022-12-08 - 2022-12-10 UiO
Untitled
|
|
5. |
Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje; Møller-Pedersen, Birger. On abstraction in the OMG hierarchy: systems, models, and descriptions. MODELS '22: 25th International Conference on Model Driven Engineering Languages and Systems; 2022-10-23 UIA UiO
Untitled
|
|
6. |
Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje; Møller-Pedersen, Birger. On abstraction in the OMG hierarchy: systems, models, and descriptions. I: ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). Association for Computing Machinery (ACM) 2022 ISBN 978-1-4503-9467-3. p. 322-330 UIA UiO
Untitled
|
2021
|
7. |
Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas; Thalheim, Bernhard. Models Versus Model Descriptions. I: Modelling to Program Second International Workshop M2P 2020, Lappeenranta, Finland, Revised Selected Papers. Springer Nature 2021 ISBN 978-3-030-72695-9. p. 67-89 UIA UiO
Untitled
|
2020
|
8. |
Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas. Real Models are Really on M0 - Or How to Make Programmers Use Modeling. I: Modelsward 2020. SciTePress 2020 ISBN 978-989-758-400-8. p. 307-318 UIA UiO
Untitled
|
2018
|
9. |
Madsen, Ole Lehrmann; Møller-Pedersen, Birger. This is not a model : On development of a common terminology for modeling and programming. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11244 LNCS. p. 206-224 UiO
Untitled
|
2016
|
10. |
Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas. Modelling of Systems for Real. I: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress 2016 ISBN 978-989-758-168-7. p. 427-434 UIA UiO
Untitled
|
|
11. |
Møller-Pedersen, Birger; Runde, Ragnhild Kobro. State Pattern supporting both composite States and extension/specialization of State Machines. PLoP 2016: PATTERN LANGUAGES OF PROGRAMS CONFERENCE; 2016-10-24 - 2016-10-26 UiO
Untitled
|
|
12. |
Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim. Modelling and testing of real systems. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9953 LNCS. p. 119-130 UIA UiO
Untitled
|
|
13. |
Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim. Object-oriented operational semantics. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9959 LNCS. p. 132-147 UiO UIA
Untitled
|
2015
|
14. |
Andresen, Kjetil; Møller-Pedersen, Birger; Runde, Ragnhild Kobro. Combined Modelling and Programming Support for Composite States and Extensible State Machines. I: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. SciTePress 2015 ISBN 978-989-758-083-3. p. 231-238 UiO
Untitled
|
|
15. |
Berg, Henning; Møller-Pedersen, Birger. Metamodel and model composition by integration of operational semantics. Communications in Computer and Information Science (CCIS) 2015 ;Volume 580. p. 172-189 UiO
Untitled
|
|
16. |
Berg, Henning; Møller-Pedersen, Birger. Specialisation of metamodels using metamodel types. Communications in Computer and Information Science (CCIS) 2015 ;Volume 506. p. 84-99 UiO
Untitled
|
|
17. |
Berg, Henning; Møller-Pedersen, Birger. Towards Non-Intrusive Composition of Executable Models. I: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. SciTePress 2015 ISBN 978-989-758-083-3. p. 111-121 UiO
Untitled
|
2014
|
18. |
Berg, Henning; Møller-Pedersen, Birger. Typing and Subtyping of Metamodels. I: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress 2014 ISBN 978-9-8975-8065-9. p. 111-118 UiO
Untitled
|
|
19. |
Zhang, Weiqing; Møller-Pedersen, Birger. Modeling of Tool Integration Resources with OSLC Support. I: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress 2014 ISBN 978-9-8975-8065-9. p. 99-110 UiO
Untitled
|
2013
|
20. |
Berg, Henning; Møller-Pedersen, Birger. Type-Safe Symmetric Composition of Metamodels Using Templates. I: System Analysis and Modeling: Theory and Practise. Springer 2013 ISBN 978-3-642-36756-4. p. 160-178 UiO
Untitled
|
|
21. |
Grønmo, Roy; Krogdahl, Stein; Møller-Pedersen, Birger. A collection operator for graph transformation. Software and Systems Modeling (SoSyM) 2013 ;Volume 12.(1) p. 121-144 UiO SINTEF
Untitled
|
|
22. |
Grønmo, Roy; Runde, Ragnhild Kobro; Møller-Pedersen, Birger. Confluence of aspects for sequence diagrams. Software and Systems Modeling (SoSyM) 2013 ;Volume 12.(4) p. 789-824 SINTEF UiO
Untitled
|
|
23. |
Møller-Pedersen, Birger. Models '67 Revisited. I: System Analysis and Modeling: Theory and Practise. Springer 2013 ISBN 978-3-642-36756-4. UiO
Untitled
|
|
24. |
Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Semantic Differencing for Product Line Evolution. : SINTEF 2013 (ISBN 9788214053326) 16 p. SINTEF Rapport(A25398) SINTEF UiO
Untitled
|
2012
|
25. |
Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas; Zhang, Xiaorui. Standardizing Variability - Challenges and Solutions. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7083. p. 233-246 UiO SINTEF
Untitled
|
|
26. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Using Variability Models to Reduce Verification Effort of Train Station Models. I: 18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011. IEEE conference proceedings 2012 ISBN 978-1-4577-2199-1. p. 348-356 SINTEF UiO
Untitled
|
|
27. |
Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein; Møller-Pedersen, Birger. Challenges in the Design of the Package Template Mechanism. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7271. p. 268-305 UiO
Untitled
|
|
28. |
Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger; Czarnecki, Krzysztof. Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM) 2012 (ISBN 978-1-4503-1809-9) 39 p. SINTEF UiO
Untitled
|
|
29. |
Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger; Czarnecki, Krzysztof. VARY 2012: VARiability for You. I: Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM) 2012 ISBN 978-1-4503-1809-9. p. 1-2 SINTEF UiO
Untitled
|
|
30. |
Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar; Stølen, Ketil. DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. Lecture Notes in Electrical Engineering 2012 ;Volume 114. p. 93-104 UiO SINTEF
Untitled
|
|
31. |
Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar; Stølen, Ketil. DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. : S 2012 (ISBN 9788214049886) 18 p. SINTEF Rapport(A20174) SINTEF UiO
Untitled
|
|
32. |
Møller-Pedersen, Birger. Models ´67 Revisited. Invited talk at SDL Forum Society as part of MODELS 2012, Innsbruck 1.10.2012 - 2.10.2012. 7th SAM (System Analysis and Modelling) Workshop; 2012-10-01 - 2012-10-02 UiO
Untitled
|
|
33. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7167. p. 187-201 UiO SINTEF
Untitled
|
|
34. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Synthesizing Software Models: Generating Train Station Models Automatically. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7083. p. 38-53 SINTEF UiO
Untitled
|
|
35. |
Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Towards Evolution of Generic Variability Models. Lecture Notes in Computer Science (LNCS) 2012 ;Volume 7167. p. 53-67 SINTEF UiO
Untitled
|
|
36. |
Zhang, Weiqing; Møller-Pedersen, Birger; Biehl, Matthias. Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. I: Proceedings of ICSOFT 2012. Institute for Systems and Technologies of Information, Control and Communication 2012 ISBN 978-989-8565-19-8. p. 137-146 UiO
Untitled
|
|
37. |
Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Augmenting Product Lines. APSEC 2012; 2012-12-04 - 2012-12-07 SINTEF UiO
Untitled
|
|
38. |
Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Augmenting Product Lines. I: 2012 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, 4-7 Dec. 2012. IEEE conference proceedings 2012 ISBN 978-1-4673-4930-7. p. 766-771 SINTEF UiO
Untitled
|
|
39. |
Zhang, Xiaorui; Møller-Pedersen, Birger. Towards Correct Product Derivation in Model-Driven Product Lines. System Analysis and Modelling workshop - SAM 2012; 2012-10-01 - 2012-10-02 SINTEF UiO
Untitled
|
2011
|
40. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Analyzing Variability: Capturing Semantic Ripple Effects. Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011); 2011-06-06 - 2011-06-09 SINTEF UiO
Untitled
|
|
41. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Analyzing Variability: Capturing Semantic Ripple Effects. Lecture Notes in Computer Science (LNCS) 2011 ;Volume 6698. p. 253-269 UiO SINTEF
Untitled
|
|
42. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Specifying a Testing Oracle for Train Station. I: MoDeVVa : Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation. Association for Computing Machinery (ACM) 2011 ISBN 978-1-4503-0914-1. p. - SINTEF UiO
Untitled
|
|
43. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Specifying a Testing Oracle for Train Stations. in Model-Driven Engineering, Verification, and Validation Workshop (MoDeVVa 2011); 2011-10-17 - 2011-10-17 SINTEF UiO
Untitled
|
|
44. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Synthesizing Software Models: Generating Train Station Models Automatically. 15th International Conference on System Design Languages (SDL 2011); 2011-07-05 - 2011-07-07 SINTEF UiO
Untitled
|
|
45. |
Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger. Using Variability Models to Reduce Verification Effort of Train Station Models. 18th Asia Pacific Software Engineering Conference (APSEC 2011); 2011-12-05 - 2011-12-08 SINTEF UiO
Untitled
|
|
46. |
Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Towards Evolution of Generic Variability Models. VARiability for You Workshop (VARY 2011); 2011-10-16 - 2011-10-16 SINTEF UiO
Untitled
|
|
47. |
Zhang, Xiaorui; Haugen, Øystein; Møller-Pedersen, Birger. Model Comparison to Synthesize a Model-Driven Software Product Line. I: 15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011. IEEE conference proceedings 2011 ISBN 978-1-4577-1029-2. p. 90-99 SINTEF UiO
Untitled
|
|
48. |
Berg, Henning; Møller-Pedersen, Birger; Krogdahl, Stein. Advancing Generic Metamodels. Domain-Specific Modeling (DSM'11), Workshop at SPLASH, Portland USA, 23.10.2011-24.10.2011. Domain-Specific Modeling (DSM'11); 2011-10-23 - 2011-10-24 UiO
Untitled
|
|
49. |
Berg, Henning; Møller-Pedersen, Birger; Krogdahl, Stein. Application of Advanced Programming Concepts in Metamodelling. I: Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 ISBN 978-82-519-2843-4. p. 207-218 UiO
Untitled
|
|
50. |
Bjørndalen, John Markus; Bongo, Lars Ailo; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Runde, Ragnhild Kobro; Sandnes, Frode Eika; Aalberg, Trond. Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag 2011 (ISBN 978-82-519-2843-4) 262 p. NIK: Norsk Informatikkonferanse(NIK 2011) HIM OSLOMET NTNU UIA UiB UiO UiT
Untitled
|