|
The following table presents the papers published by the partners.  RSS
2006 Publications
2007 Publications
| Title | Partners | Author/s | Conference/Event | Date |
| Towards Synchronising Models with Evolving Metamodels |
YORK |
Boris Gruschko (CO), Dimitrios Kolovos (CO), Richard Paige (CO) |
Workshop on Model-Driven Software Evolution (CSMR '07) |
01/03/2007 |
| Towards a Metamodel for Dependability Cases |
YORK |
George Despotou (CO), Dimitrios Kolovos (CO), Richard Paige (CO), Tim Kelly (CO), Fiona Polack (CO) |
OMG Software Assurance Workshop '07 |
01/03/2007 |
| Semi-automatic Model Integration Using Matching Transformations and Weaving Models |
INRIA |
Marcos Didonet Del Fabro (A), Patrick Valduriez (CO) |
SAC |
11/03/2007 |
| Model Integration with Model Weaving: a Case Study in System Architecture |
INRIA SODIUS |
Albin Jossic (A), Marcos Didonet Del Fabro (CO),Jen-Philippe Lerat (CO),Jean Bézivin (CO), Frédéric Jouault (CO) |
ICSE 07 |
22/03/2007 |
| On the Applicability Scope of Model-Driven Engineering |
INRIA |
Jean Bezivin (A), Mickael Barbero (CO), Frédéric Jouault (CO) |
ETAPS |
31/03/2007 |
| Global Constraint Checking at Run-Time |
FHG |
Christian Hein, Tom Ritter |
ISADS'07 |
31/03/2007 |
| Versionisierung für modell-gestützte Softwareentwicklung über Werkzeuggrenzen hinweg |
FHG |
Christian Hein, Tom Ritter |
VVUM'07 |
01/04/2007 |
| Update Transformations in the Small with the Epsilon Wizard Language |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO), Fiona Polack (CO), Louis Rose (CO) |
Tools Europe '07 |
01/06/2007 |
| Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO), Fiona Polack (CO) |
Journal of Electronic Communications of the EASST, Volume 5 |
01/06/2007 |
| Implementing the Interactive TV Applications Case Study using Epsilon |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO), Fiona Polack (CO), Louis Rose (CO) |
Model-Driven Development Tool Implementer's Forum (TOOLS Europe'07) |
01/06/2007 |
| An Algebraic View on the Semantics of Model Composition |
TUBS |
Steven Völkel(A), Bernhard Rumpe(A), Holger Krahn(A), Martin Schindler(CO), Christoph Herrmann(A) |
ECMDA-FA 07 |
11/06/2007 |
| Traceability and Provenance Issues in Global Model Management |
INRIA |
Mickael Barbero (A), Marcos Didonet Del Fabro (CO), Jean Bézivin (CO) |
ECMDA-TW |
12/06/2007 |
| An Aspect-Oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development |
SINTEF |
Carsten Köllmann (A), Lea Kutvonen (CO), Peter Linington (CO), Arnor Solberg (CO) |
MDEIS ICEIS 2007 |
12/06/2007 |
| A Practical Approach to Model Extension |
INRIA UAB |
Mickael Barbero (A), Frédéric Jouault (CO), Jeff Gray (CO), Jean Bézivin (CO) |
ECMDA-FA |
13/06/2007 |
| Reuseware -- Adding Modularity to Your Language of Choice |
TUD |
Jakob Henriksson (CO), Jendrik Johannes (A), Steffen Zschaler (CO), Uwe Aßmann (CO) |
TOOLS Europe 2007 Conference |
24/06/2007 |
| Generic Model Management: from Theory to Practice |
INRIA |
Marcos Didonet Del Fabro (A), Jean Bézivin (CO) |
TOWERS 2007 |
25/06/2007 |
| Structured Libraries of Models |
INRIA |
Mickael Barbero (A), Jean Bezivin (CO) |
TOWERS 2007 |
25/06/2007 |
| Practice of Model Transformation and Model Weaving in the Eclipse Modeling Project with ATL and AMW |
INRIA |
Marcos Didonet Del Fabro (A), Mickael Barbero (A) |
TOOLS Europe 2007 |
26/06/2007 |
| Scenarios of Traceability in Model to Text Transformations |
SINTEF |
Gøran K. Olsen (A), Jon Oldevik (CO) |
ECMDA-FA |
27/06/2007 |
| How dark should a component black-box be? The Reuseware Answer |
TUD |
Jakob Henriksson (CO), Florian Heidenreich (CO), Jendrik Johannes (A), Steffen Zschaler (CO) |
WCOP 2007 |
31/07/2007 |
| Source Code Composition with the Reuseware Composition Framework |
TUD |
Jendrik Johannes (A) |
SCAM 2007 |
01/08/2007 |
| Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach |
LIP6 |
Reda Bendraou, Andrey Sadovykh, Marie-Pierre Gervais, Xavier Blanc |
EUROMICRO SEAA 07 |
01/08/2007 |
| Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering |
SAP TUD |
Mathias Fritzsche (A), Jendrik Johannes (A) |
MoDeVVa’07 |
02/08/2007 |
| Evaluation of OCL for Large-Scale Modelling: a different view of the MONDEX Smart-Card Application |
YORK |
Emine Aydal (A), Richard Paige (CO), Jim Woodcock (CO) |
Models 2007 |
01/09/2007 |
| Aspect-Orientation for Your Language of Choice |
TUD |
Florian Heidenreich (CO), Jendrik Johannes (A), Steffen Zschaler (CO) |
AOM MODELS'07 |
30/09/2007 |
| Textbased Modeling |
TUBS |
Bernhard Rumpe, Steven Völkel |
Models 2007 |
01/10/2007 |
| Integrated Definition of Abstract and Concrete Syntax for Textual Languages |
TUBS |
Bernhard Rumpe, Steven Völkel |
Models 07 |
04/10/2007 |
| Efficient Editor Generation for Compositional DSLs in Eclipse |
TUBS |
Bernhard Rumpe, Steven Völkel |
DSM'07 OOPSLA'07 |
21/10/2007 |
| A Multi-dimensional Framework for Characterizing Domain Specific Languages |
SINTEF |
Øystein Haugen (A), Parastoo Mohagheghi (CO) |
DSM'07 OOPSLA'07 |
22/10/2007 |
| DSL Classification |
TRT |
Benoit Langlois, Consuela-Elena Jitia, Eric Jouenne |
DSM'07 OOPSLA'07 |
22/10/2010 |
| System Monitoring using Constraint Checking as part of Model Based System Managemen |
FHG |
Christian Hein, Tom Ritter, Michael Wagner |
Models Runtime Workshop(Models'07) |
30/10/2007 |
| Definition of an Executable SPEM2.0 |
LIP6 |
Réda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais |
14th Asia-Pacific Software Engineering Conference (APSEC) |
01/12/2007 |
| ERP Test Data Generation for Model-based Testing |
SAP |
Sebastian Wieczorek (A), Alin Stefanescu (CO) |
STV'07 |
05/12/2007 |
2008 Publications
| Title | Partners | Author/s | Conference/Event | Date |
| On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO) |
Dagstuhl Seminar "Rigorous object oriented methods" |
01/01/2008 |
| Detecting and repairing inconsistencies across heterogeneous models |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO) |
ICST '08 |
01/01/2008 |
| Process-Centred Review of Object Oriented Software Development Methodologies |
YORK |
Richard Paige (CO) |
ACM Computing Surveys |
01/02/2008 |
| Vers l'Exécutabilité des Modèles de Procédés Logiciels |
LIP6 |
Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc, Jean-Marc Jézéquel |
APSEC 08 |
01/03/2008 |
| Collaborative Software Engineering on Large-scale models: Requirements and Experience in ModelBus |
LIP6 |
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais |
SAC'08 |
01/03/2008 |
| Tutorial "Model-to-model Transformation with ATL" |
INRIA |
Frédéric Jouault (A) Brahim-Khalil Loukil (CO) |
EclipseCon'08 |
17/03/2008 |
| Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA applications |
SAP |
Mathias Fritzsche, Wasif Gilani, Ivor Spence, John Brown, Peter Kilpatrick |
ECBS '08 |
30/03/2008 |
| Model Driven Management of Complex Systems: Implementing the Macroscope's vision |
INRIA |
Mickael Barbero (A) Jean Bezivin (CO) Frédéric Jouault (CO) |
ECBS'08 |
01/04/2008 |
| Novel Features in Model Management Languages of the Epsilon Platform |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO) |
ICSE 2008 |
01/04/2008 |
| Unit Testing Model Management Operations |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO), Louis Rose (CO) |
Workshop on Model Driven Engineering Verification and Validation (ICST'08) |
01/04/2008 |
| Test Data Provision for ERP Systems |
SAP, FOKUS |
Sebastian Wieczorek (A), Alin Stefanescu (CO), Ina Schieferdecker (CO) |
ICST 2008 |
10/04/2008 |
| Traceability in Model-Driven Software Development |
SINTEF |
Ståle Walderhaug, Erlend Stav, Ulrik Johansen, Gøran K.Olsen |
Designing Software-Intensive Systems: Methods and Principles (Chapter IV) |
15/04/2008 |
| Representing Legacy System Interoperability by Extending KDM |
SINTEF |
Vegard Dehlen,Frédéric Madiot, Hugo Brunelière |
Workshop MMSS'08 |
30/04/2008 |
| XRound: A Reversible Template Language and its Application in Model-Based Security Analysis |
YORK |
Richard Paige (CO) |
Journal of Information and Software Technology |
01/05/2008 |
| MontiCore: A Framework for the Development of Textual Domain Specific Languages |
TUBS |
Bernhard Rumpe, Steven Völkel, Steffen Zschaler |
ICSE 2008 |
14/05/2008 |
| Detecting Model Inconsistency through Operation-Based Model Construction |
LIP6 |
Xavier Blanc ,Isabelle Mounier, Alix Mougenot, Tom Mens |
ICSE'08 |
15/05/2008 |
| Constructing models with the Human Usable Textual Notation |
YORK |
Louis M. Rose, Richard F. Paige ,Dimitrios S. Kolovos and Fiona A. C. Polack |
MODELS 2008 |
16/05/2008 |
| Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory |
LIP6 |
B. Bérard, S. Haddad, L. Hillah, F. Kordon, Y. Thierry-Mieg |
WODES 2008 |
20/05/2008 |
| Automated Model Driven Development Processes |
FHG |
Christian Hein, Tom Ritter, Martin Esser, Aitor Aldazabal, Terry Baily, Felix Nanclares, Andrey Sadovykh |
ECMDA '08 |
01/06/2008 |
| The Epsilon Generation Language |
YORK |
Louis Rose (A), Richard Paige (CO), Dimitrios Kolovos (CO) |
ECMDA '08 |
09/06/2008 |
| A Framework for Composing Modular and Interoperable Model Management Tasks |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO) |
ECMDA '08 |
09/06/2008 |
| Towards utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis |
SAP |
Mathias Fritzsche, Wasif Gilani, Christoph Fritzsche, Ivor Spence, John Brown, Peter Kilpatrick |
ECMDA '08 |
10/06/2008 |
| From Code to Models: Past, Present and Future of MDE Adoption in Telefónica |
TID |
Miguel A. Fernandez (A) |
ECMDA '08 |
12/06/2008 |
| Application of Tracing Techniques in Model-Driven Performance Engineering |
TUD |
Jendrik Joahnnes (CO), Steffen Zschaler (CO), Mathias Fritzsche (A), Anatoly Zherebtsov (CO), Alexander Terekhov (CO) |
4th Workshop in Traceability(ECMDA '08) |
12/06/2008 |
| Enabling Model-Based Testing for SOA Integration |
SAP |
Sebastian Wieczorek (A), Alin Stefanescu (CO), Jürgen Großmann (CO) |
MOTIP 2008 |
12/06/2008 |
| What is needed for MDD Success – Experienced Technological Shortcomings |
WGO |
Bjørn Nordmoen, Tor Neple |
ECMDA '08 |
12/06/2008 |
| Hierarchical Set Decision Diagrams and Automatic Saturation |
LIP6 |
JAlexandre Hamez Yann Thierry-Mieg, and Fabrice Kordon |
ICATPN '08 |
23/06/2008 |
| The Epsilon Transformation Language |
YORK |
Dimitrios Kolovos (A), Richard Paige (CO) |
ICMT 08 |
30/06/2008 |
| MontiCore: Modular Development of Textual Domain Specific Languages |
TUBS |
Bernhard Rumpe, Steven Völkel, Holger Krahn |
Tools Europe 08 |
30/06/2008 |
| Extending Grammars and Metamodels for Reuse -- The Reuseware Approach |
TUD |
Jakob Henriksson (CO), Florian Heidenreich (CO), Steffen Zschaler (CO), Jendrik Johannes (A) |
IET Software |
31/07/2008 |
| Enhancing Test Driven Development with Model Based Testing and Performance Analysis |
SAP |
Sebastian Wieczorek, Alin Stefanescu, Mathias Fritzsche, Joachim Schnitter |
TAIC PART 2008 |
29/08/2008 |
| Mit Sprachbaukästen zur schnelleren Softwareentwicklung: Domänenspezifische Sprachen modular entwickeln. |
TUBS |
Bernhard Rumpe, Steven Völkel, Holger Krahn |
OBJEKTspektrum |
01/09/2008 |
| Letting EMF Tools Talk to Fujaba through Adapters |
TUD |
Jendrik Joahnnes |
6th International Fujaba Days 2008 |
19/09/2008 |
| A Domain-Specific Modelling Approach for Autonomic Network Management |
IBM, TID |
Brian Pickering (A), Erhan Mengusoglu (A), Miguel A. Fernandez (CO), Antonio Castillo (CO) |
MACE 2008 |
20/09/2008 |
| Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains |
TUD |
Jendrik Joahnnes, Mathias Fritzsche |
SLE 08 |
29/09/2009 |
| Engineering a DSL for Traceability |
YORK |
Richard Paige, Dimitrios Kolovos |
SLE 08 |
29/09/2008 |
| Scalability: The Holy Grail of Model-Driven Engineering |
YORK |
Richard Paige, Dimitrios Kolovos |
ChaMDE 08 |
29/09/2008 |
| Automated Safety Analysis for Domain-Specific Languages |
YORK |
Richard Paige, Dimitrios Kolovos |
NFPinDSML 08 |
29/09/2008 |
| MDE Adoption in Industry: Challenges and Success Criteria |
SINTEF, TID, SAP |
Parastoo Mohagheghi (A),Miguel A. Fernandez (CO), Juan A. Martell (CO),Mathias Fritzsche (CO), Wasif Gilani (CO) |
MODELS 2008 |
30/09/2008 |
| A Close Look at Composition Languages |
TUD |
Jendrik Johannes, Uwe Aßmann, Florian Heidenreich, Steffen Zschaler |
ACoM 2008 |
19/10/2008 |
| UML behavioral consistency checking using instantiable Petri nets |
LIP6 |
Y. Thierry-Mieg, L. Hillah |
Innovations in Systems and Software Engineering, a NASA journal |
27/10/2008 |
| On Language-Independent Model Modularisation |
TUD |
Jendrik Joahnnes (A), Steffen Zschaler (CO) |
Journal: Transactions on Aspect-Oriented Software Development |
01/11/2008 |
| L’approche MD au service du refactoring d’applications Java |
MIA |
Frédéric Madiot |
MDDay 2008 |
25/11/2008 |
| New Self-* Paradigms for Managing Customer Networks |
IBM |
Andrei Kirshin |
eStrategies Projects Journal |
30/11/2008 |
| Precise Steps for Choreography Modeling for SOA Validation and Verificatio |
SAP |
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi |
SOSE 2008 |
17/12/2008 |
2009 Publications
| Title | Partners | Author/s | Conference/Event | Date |
| MIA-Studio, une plateforme de transformation de modèles |
MIA |
Frédéric Madiot |
WICSA 09 |
27/01/2009 |
| Typing in Model Management |
INRIA |
Hugo Brunelière, Frederic Jouault, Andres Vignaga, Maria Cecilia Bastarrica |
ICMT 09 |
08/02/2009 |
| Hierarchical Set Decision Diagrams and Regular Models |
LIP6 |
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon |
TACAS 09 |
01/03/2009 |
| Putting Formally Verified Software under the Magnifying Glass: Model-based Testing for Validation |
YORK |
Richard Paige |
ICST 09 |
01/03/2009 |
| Towards an advanced model-driven engineering toolbox |
INRIA |
Frédéric Jouault, Jean Bézivin, Mikaël Barbero |
Innovations in Systems and Software Engineering Journal |
07/03/2009 |
| Applying Megamodelling to Model Driven Performance Engineering |
INRIA & SAP |
Mathias Fritzsche, Hugo Bruneliere, Frederic Jouault, Wasif Gilani, Bert Vanhooff, Yolande Berbers |
ECBS 09 |
15/04/2009 |
| Different Models for Model Matching: an analysis of approaches to support model differencing |
YORK |
Richard Paige, Dimitrios Kolovos |
CVSM 09 |
01/05/2009 |
| Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors |
YORK |
Richard Paige, Dimitrios Kolovos |
MISE 09 |
01/05/2009 |
| Model-Driven Tool Integration with ModelBus |
FHG |
Christian Hein, Tom Ritter, Michael Wagner |
FTMDD 09 |
06/05/2009 |
| Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation |
LIP6 |
Reda Bendraou, Jean-Marc Jezéquél, and Franck Fleurey |
ICSP 09 |
17/05/2009 |
| Model-based testing with the Escalator tool |
SINTEF |
Mass Soldal Lund |
Telektronikk (vol 105., no. 1) |
01/06/2009 |
| The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering |
YORK |
Richard Paige, Dimitrios Kolovos |
ICECCS 09 |
01/06/2009 |
| Model Sharing in Distributed Model-Driven Development |
FHG |
Tom Ritter |
Eclipse Galileo DemoCamp June 2009 |
09/06/2009 |
| MiaSoftware Sodifrance ADMCSW09 Modisco Case Study |
MIA |
Frédéric Madiot |
Architecture-Driven Modernization Case Studies Workshop 09 |
22/06/2009 |
| Functional Hazard Assessment in Product Lines: a Model-Based Approach |
YORK |
Richard Paige, Dimitrios Kolovos |
ECMDA 09 |
23/06/2009 |
| Patterns for Testing Model Management Tools |
YORK |
Richard Paige, Dimitrios Kolovos |
ECMDA 09 |
23/06/2009 |
| The Epsilon Comparison Language |
YORK |
Richard Paige, Dimitrios Kolovos |
ECMDA 09 |
23/06/2009 |
| MBT4Chor: A model-based testing approach for service choreographies |
SAP |
Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin |
ECMDA 09 |
23/06/2009 |
| EMFText and JaMoPP - Tool Presentation |
TUD |
Jendrik Johannes, Mirko Seifert, Florian Heidenreich, Sven Karol, Christian Wende |
ECMDA 09 |
23/06/2009 |
| Toward model-based security engineering: developing a security analysis DSML |
TRT |
Véronique Normand, Edith Felix |
ECMDA 09 |
23/06/2009 |
| Derivation and Reļ¬nement of Textual Syntax for Models |
TUD |
Jendrik Johannes, Mirko Seifert, Florian Heidenreich, Sven Karol, Christian Wende |
ECMDA 09 |
25/06/2009 |
| Discovering models out of existing applications with MoDisco |
MIA |
Discovering models out of existing applications with MoDisco |
EclipseCon 09 |
25/06/2009 |
| Modernize JEE applications using MoDisco and Model-Driven Engineering |
MIA |
Frédéric Madiot |
Jazoon 09 |
25/06/2009 |
| Experiences of Developing a Network Modelling Tool using the Eclipse Environment |
Xactium |
Andy Evans, Miguel A. Fernandez, Parastoo Mohagheghi |
ECMDA 09 |
26/06/2009 |
| Automatic generation of integrated formal models corresponding to UML system models |
YORK |
Richard Paige |
Tools Europe 09 |
01/07/2009 |
| Round-trip Support for Invasive Software Composition Systems |
TUD |
Jendrik Johannes, Roland Samlaus, Mirko Seifert |
Software Composition 09 |
03/07/2009 |
| Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling. |
Aachen |
Bernhard Rumpe, Steven Völkel, C. Herrmann, M. Schindler, H. Krahn |
MiSe 09 |
30/07/2009 |
| Towards Automation for Managing Model and Metamodel Inconsistency |
YORK |
Richard Paige, Dimitrios Kolovos |
Automated Software Engineering 09 |
01/08/2009 |
| Controlling Model-Driven Software Development through Composition Systems |
TUD |
Jendrik Johannes |
NW-MODE 09 |
26/08/2009 |
| Model-based Integration Testing of Enterprise Services |
SAP |
Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker |
TAIC PART 09 |
04/09/2009 |
| A Metamodel and Supporting Process and Tool for Specifying Quality Models in Model-Based Software Development |
SINTEF |
Mohagheghi Parastoo ,Dehlen Vegard ,Neple Tor |
Nordic Journal on Computing |
15/09/2009 |
| Viewpoints for Modeling Choreographies in Service-Oriented Architectures |
SAP |
Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker |
WICSA/ECSA 09 |
15/09/2009 |
| Generating Safe Template Languages |
TUD |
Mirko Seifert, Jendrik Johannes, Florian Heidenreich, Christian Wende, Marcel Böhme |
GPCE 09 |
05/10/2009 |
| Abstracting Complex Languages through Transformation and Composition |
TUD |
Jendrik Johannes, Dimitrios Kolovos, Richard Paige, Miguel A. Fernández, Antonio Castillo, Steffen Zschaler |
MODELS 09 |
08/10/2009 |
| Megamodeling Software Platforms: Automated Discovery of Usable Cartography from Available Metadata |
INRIA |
Hugo Bruneliere, Frederic Jouault,Vincent Mahé |
REM 09 |
15/10/2009 |
| Extensible Validation Framework for DSLs using MontiCore on the Example of Coding Guidelines |
Aachen |
Bernhard Rumpe, Steven Völkel, C. Berger |
SAASE 09 |
19/10/2009 |
| Design Guidelines for Domain Specific Languages |
Aachen |
Bernhard Rumpe, Steven Völkel, C. Pinkernell, M. Schindler0, H.Krahn, G. Karsai |
OOPSLA 09 |
19/10/2009 |
| Applying Model Checking to Generate Model-based Integration Tests from Choreography Models |
SAP |
Sebastian Wieczorek, Ina Schieferdecker |
TESTCOM/FATES 09 |
03/11/2009 |
|
