Birger Møller-Pedersen

According to our database1, Birger Møller-Pedersen
  • authored at least 68 papers between 1983 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
Software and System Modeling, 2013

A collection operator for graph transformation.
Software and System Modeling, 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.
Trans. Aspect-Oriented Software Development, 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

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.
Journal of Object Technology, 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 Conference on Systems, 2011

Towards Evolution of Generic Variability Models.
Proceedings of the Models in Software 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.
Journal of Object Technology, 2009

A Collection Operator for Graph Transformation.
Proceedings of the Theory and Practice of Model Transformations, 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

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.
SDL Forum, 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.
Computer 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.
Research Directions in Object-Oriented Programming, 1987

1985
An algebra for program fragments.
SIGPLAN Notices, 1985

Multi-sequential execution in the BETA programming language.
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


  Loading...