Dirk Janssens

Bull. EATCS, 2018

2015

Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective.

[BibT_eX]

[DOI]

Tim Molderez

LNCS Trans. Aspect Oriented Softw. Dev., 2015

2012

Design by contract for aspects, by aspects.

[BibT_eX]

[DOI]

Tim Molderez

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Towards an aspect-oriented language module: aspects for petri nets.

[BibT_eX]

[DOI]

Proceedings of the seventh workshop on Domain-Specific Aspect Languages, 2012

2011

Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation.

[BibT_eX]

[DOI]

Quinten David Soetens

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Model-Driven Approach for Software Parallelization.

[BibT_eX]

[DOI]

Margarete Sackmann

Proceedings of the Models in Software Engineering, 2011

A Fast Heuristic for Scheduling Parallel Software with Respect to Energy and Timing Constraints.

[BibT_eX]

[DOI]

Margarete Sackmann

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

Adaptive star grammars and their languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Model refactoring using MoTMoT.

[BibT_eX]

[DOI]

Olaf Muliawan

Int. J. Softw. Tools Technol. Transf., 2010

Assemblies as Graph Processes.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Intensional changes: modularizing crosscutting features.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A graph-based operational semantics for context-oriented programming.

[BibT_eX]

[DOI]

Tim Molderez

Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

Intensional changes avoid co-evolution!

[BibT_eX]

[DOI]

Bart Meyers

Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, 2010

Safely updating running software: tranquility at the object level.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, 2010

2008

Transformation techniques can make students excited about formal methods.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

Transformation Language Integration Based on Profiles and Higher Order Transformations.

[BibT_eX]

[DOI]

Anne Keller

Proceedings of the Software Language Engineering, First International Conference, 2008

Delegation-based semantics for modularizing crosscutting concerns.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Executing a Standard Compliant Transformation Model on a Non-standard Platform.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007

Shaped Generic Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

The Illusion Of Linearity

[BibT_eX]

[DOI]

Mathematics Education Library 41, Springer, ISBN: 978-0-387-71082-2, 2007

2006

Copying Subgraphs Within Model Repositories.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

A Calculus for Team Automata.

[BibT_eX]

[DOI]

Maurice H. ter Beek

Fabio Gadducci

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Adaptive Star Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies.

[BibT_eX]

[DOI]

Frank Altheide

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005

Formalizing refactorings with graph transformations.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2005

a(MDÆ)<sup>2</sup>: A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCL.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, 2005

Cloning and Expanding Graph Transformation Rules for Refactoring.

[BibT_eX]

[DOI]

Berthold Hoffmann

Niels Van Eetvelde

Proceedings of the International Workshop on Graph and Model Transformation, 2005

The LAN-simulation: A Refactoring Teaching Example.

[BibT_eX]

[DOI]

Serge Demeyer

Filip Van Rysselberghe

Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

CAViT: a Consistency Maintenance Framework based on Transformation Contracts.

[BibT_eX]

[DOI]

Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Main Concepts of Networks of Transformation Units with Interlinking Semantics.

[BibT_eX]

[DOI]

Hans-Jörg Kreowski

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Leveraging UML Profiles to Generate Plugins From Visual Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

Extending Graph Rewriting for Refactoring.

[BibT_eX]

[DOI]

Niels Van Eetvelde

Proceedings of the Graph Transformations, Second International Conference, 2004

Write Once, Deploy N: A Performance Oriented MDA Case Study.

[BibT_eX]

[DOI]

Tracy Gardner

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

2003

Bericht über den Workshop AGTIVE 2003 vom 28. September bis 1. Oktober 2003 in Charlottesville, Virginia, USA.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2003

A Hierarchical Program Representation for Refactoring.

[BibT_eX]

[DOI]

Niels Van Eetvelde

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Expressing Component-Relating Aspects with Graph Transformations.

[BibT_eX]

[DOI]

Alon Amsel

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

Algebraic Properties Of Processes for Local Action Systems.

[BibT_eX]

[DOI]

Nico Verlinden

Math. Struct. Comput. Sci., 2002

Case Study: Simulation of a LAN.

[BibT_eX]

[DOI]

Serge Demeyer

Tom Mens

Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Formalising Behaviour Preserving Program Transformations.

[BibT_eX]

[DOI]

Tom Mens

Serge Demeyer

Proceedings of the Graph Transformation, First International Conference, 2002

Local Action Systems and DPO Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

Modeling Petri Nets by Local Action Systems.

[BibT_eX]

[DOI]

Nico Verlinden

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Processes and Local Actions.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

1998

A Framework for NLC and ESM: Local Action Systems.

[BibT_eX]

[DOI]

Nico Verlinden

Proceedings of the Theory and Application of Graph Transformations, 1998

1996

Abstract Semantics for ESM Systems.

[BibT_eX]

[DOI]

Tom Mens

Fundam. Informaticae, 1996

1995

Process languages for ESM systems.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

The Decomposition of ESM Computations.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993

Equivalence of Computations in Actor Grammars.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Computation Graphs for Actor Grammars.

[BibT_eX]

[DOI]

M. Lens

J. Comput. Syst. Sci., 1993

ESM Systems and the Composition of Their Computations.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990

Graph Grammar-Based Description of Object-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Object-Oriented Languages, 1990

Structured Transformations and Computation Graphs for Actor Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989

Actor Grammars.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1989

1986

The Bounded Degree Problem for NLC Grammars is Decidable.

[BibT_eX]

[DOI]

Emo Welzl

J. Comput. Syst. Sci., 1986

Basic notions of actor grammars: A graph grammar model for actor computation.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

1984

Generalized Handle Grammars and Their Relation to Petri Nets.

[BibT_eX]

J. Inf. Process. Cybern., 1984

1983

Hypergraph Systems and Their Extensions.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1983

On sequential and parallel node-rewriting graph grammars, II.

[BibT_eX]

[DOI]

R. Verraedt

Comput. Vis. Graph. Image Process., 1983

Neighbourhood-Uniform NLC Grammars.

[BibT_eX]

Proceedings of the WG '83, 1983

A Survey of NLC Grammars.

[BibT_eX]

[DOI]

Proceedings of the CAAP'83, 1983

1982

Graph Grammars with Neighbourhood-Controlled Embedding.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1982

On sequential and parallel node-rewriting graph grammars, II.

[BibT_eX]

[DOI]

R. Verraedt

Comput. Graph. Image Process., 1982

On sequential and parallel node-rewriting graph grammars.

[BibT_eX]

[DOI]

R. Verraedt

Comput. Graph. Image Process., 1982

Concurrency of Node-Label-Controlled Graph Transformations.

[BibT_eX]

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

Graph grammars with node-label controlled rewriting and embedding.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Hypergraph systems generating graph languages.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Petri nets and their relation to graph grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

1981

Decision Problems for Node Label Controlled Graph Grammars.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1981

A Characterization of Context-free String Languages by Directed Node-label Controlled Graph Grammars.

[BibT_eX]

[DOI]

Acta Informatica, 1981

Generating Graph Languages Using Hypergraph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1981

1980

Restrictions, extensions, and variations of NLC grammars.

[BibT_eX]

[DOI]

Inf. Sci., 1980

On the structure of node-label-controlled graph languages.

[BibT_eX]

[DOI]

Inf. Sci., 1980

Node-Label Controllel Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Decompositions of Relations: A Comprehensive Approach.

[BibT_eX]

Jan Paredaens