Birger Møller-Pedersen

Orcid: 0000-0003-2123-3260

Affiliations:
  • University of Oslo, Norway


According to our database1, Birger Møller-Pedersen authored at least 80 papers between 1982 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Models, systems, and descriptions.
Frontiers Comput. Sci., 2023

What Your Mother Forgot to Tell you About Modeling - and Programming.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys' Take on Object-Oriented Programming.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

On abstraction in the OMG hierarchy: systems, models, and descriptions.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Using Supplementary Properties to Reduce the Need for Documentation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021
Extending BPM(N) to Support Face-to-Virtual (F2V) Process Modeling.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020
Real Models are Really on M0 - Or How to Make Programmers Use Modeling.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Models Versus Model Descriptions.
Proceedings of the Modelling to Program, 2020

2018
This Is Not a Model - On Development of a Common Terminology for Modeling and Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2016
Object-Oriented Operational Semantics.
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016

Modelling of Systems for Real.
Proceedings of the MODELSWARD 2016, 2016

Modelling and Testing of Real Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Metamodel and Model Composition by Integration of Operational Semantics.
Proceedings of the Model-Driven Engineering and Software Development, 2015

Towards Non-intrusive Composition of Executable Models.
Proceedings of the MODELSWARD 2015, 2015

Combined Modelling and Programming Support for Composite States and Extensible State Machines.
Proceedings of the MODELSWARD 2015, 2015

2014
Modeling of Tool Integration Resources with OSLC Support.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Specialisation of Metamodels Using Metamodel Types.
Proceedings of the Model-Driven Engineering and Software Development, 2014

Typing and Subtyping of Metamodels.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013
Confluence of aspects for sequence diagrams.
Softw. Syst. Model., 2013

A collection operator for graph transformation.
Softw. Syst. Model., 2013

Establishing Tool Chains Above the Service Cloud with Integration Models.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Tool Integration Models.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Challenges in the Design of the Package Template Mechanism.
LNCS Trans. Aspect Oriented Softw. Dev., 2012

Towards Correct Product Derivation in Model-Driven Product Lines.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

Models '67 Revisited.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

Type-Safe Symmetric Composition of Metamodels Using Templates.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

VARY 2012: VARiability for You.
Proceedings of the VARiability for You Workshop, 2012

A Light-weight Tool Integration Approach - From a Tool Integration Model to OSLC Integration Services.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Towards Tool Integration through Artifacts and Roles.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Augmenting Product Lines.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
From UML 2 Sequence Diagrams to State Machines by Graph Transformation.
J. Object Technol., 2011

Model Comparison to Synthesize a Model-Driven Software Product Line.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Synthesizing Software Models: Generating Train Station Models Automatically.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Standardizing Variability - Challenges and Solutions.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

COOMP 2011: first international workshop on combined object-oriented modeling and programming.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Advancing generic metamodels.
Proceedings of the SPLASH'11 Workshops, 2011

Towards Evolution of Generic Variability Models.
Proceedings of the Models in Software Engineering, 2011

Specifying a testing oracle for train stations.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Specifying a Testing Oracle for Train Stations - Going beyond with Product Line Technology.
Proceedings of the Models in Software Engineering, 2011

Analyzing Variability: Capturing Semantic Ripple Effects.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Using Variability Models to Reduce Verification Effort of Train Station Models.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Developing a Software Product Line for Train Control: A Case Study of CVL.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

CVL Tool - Modeling Variability in SPLs.
Proceedings of the Software Product Lines - 14th International Conference, 2010

A Unified Approach to Modeling and Programming.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

From Sequence Diagrams to State Machines by Graph Transformation.
Proceedings of the Theory and Practice of Model Transformations, 2010

Scandinavian Contributions to Object-Oriented Modeling Languages.
Proceedings of the History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, 2010

Controlling dynamic module composition through an extensible meta-level API.
Proceedings of the 6th Symposium on Dynamic Languages, 2010

2009
Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes.
J. Object Technol., 2009

Confluence in Domain-Independent Product Line Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Comparison of Three Model Transformation Languages.
Proceedings of the Model Driven Architecture, 2009

2008
Adding Standardized Variability to Domain Specific Languages.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Generic Traits in Statically Typed Languages - How to Do It?
Proceedings of the ICSOFT 2008, 2008

Semantics-Based Weaving of UML Sequence Diagrams.
Proceedings of the Theory and Practice of Model Transformations, 2008

A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol.
Proceedings of the Model Driven Architecture, 2008

2007
The when, why and why not of the BETA programming language.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Aspect Diagrams for UML Activity Models.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Evaluation Framework for Model-Driven Product Line Engineering Tools.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Consolidated Product Line Variability Modeling.
Proceedings of the Software Product Lines - Research Issues in Engineering and Management, 2006

Configurations by UML.
Proceedings of the Software Architecture, Third European Workshop, 2006

2005
Introduction to UML and the Modeling of Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Comparison of System Family Modeling Approaches.
Proceedings of the Software Product Lines, 9th International Conference, 2005

2004
An MDA®-based framework for model-driven product derivation.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003
Structural Modeling with UML 2.0.
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2000
Modeling of Architectures with UML (Panel).
Proceedings of the «UML» 2000, 2000

Structural and Behavioral Decomposition in Object Oriented Models.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
Evaluating an SDL framework for AXE development.
Proceedings of the SDL '99 The Next Millennium, 1999

Scalable and Object Oriented SDL State(chart)s.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998
Frameworks by means of virtual types - exemplified by SDL.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1993
Object-oriented programming in the BETA programming language.
ACM, ISBN: 978-0-201-62430-4, 1993

1992
Part Objects and their Location.
Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1990
Strong Typing of Object-Oriented Languages Revisited.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989
Virtual Classes: A Powerful Mechanism in Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

1988
What Object-Oriented Programming May Be - and What It Does Not Have To Be.
Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

1987
Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL.
Comput. Networks, 1987

Classification of Actions, or Inheritance also for Methods.
Proceedings of the ECOOP'87 European Conference on Object-Oriented Programming, 1987

The BETA Programming Language.
Proceedings of the Research Directions in Object-Oriented Programming, 1987

1985
An algebra for program fragments.
Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Multi-sequential execution in the BETA programming language.
ACM SIGPLAN Notices, 1985

1983
Abstraction Mechanisms in the Beta Programming Language.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982
Syntax-Directed Program Modularization.
Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982


  Loading...