Dirk Janssens

According to our database1, Dirk Janssens
  • authored at least 68 papers between 1979 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective.
Trans. Aspect-Oriented Software Development, 2015

2012
Design by contract for aspects, by aspects.
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

2011
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Model-Driven Approach for Software Parallelization.
Proceedings of the Models in Software Engineering, 2011

A Fast Heuristic for Scheduling Parallel Software with Respect to Energy and Timing Constraints.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010
Adaptive star grammars and their languages.
Theor. Comput. Sci., 2010

Model refactoring using MoTMoT.
STTT, 2010

Assemblies as Graph Processes.
ECEASST, 2010

Intensional changes: modularizing crosscutting features.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A graph-based operational semantics for context-oriented programming.
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

Intensional changes avoid co-evolution!
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, 2010

Safely updating running software: tranquility at the object level.
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.
Information & Software Technology, 2008

Copying Subgraphs Within Model Repositories.
Electr. Notes Theor. Comput. Sci., 2008

A Calculus for Team Automata.
Electr. Notes Theor. Comput. Sci., 2008

Transformation Language Integration Based on Profiles and Higher Order Transformations.
Proceedings of the Software Language Engineering, First International Conference, 2008

Delegation-based semantics for modularizing crosscutting concerns.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Executing a Standard Compliant Transformation Model on a Non-standard Platform.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007
Shaped Generic Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
a(MDÆ)2: A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCL.
Electr. Notes Theor. Comput. Sci., 2006

Cloning and Expanding Graph Transformation Rules for Refactoring.
Electr. Notes Theor. Comput. Sci., 2006

Adaptive Star Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006

Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005
Formalizing refactorings with graph transformations.
Journal of Software Maintenance, 2005

Leveraging UML Profiles to Generate Plugins From Visual Model Transformations.
Electr. Notes Theor. Comput. Sci., 2005

The LAN-simulation: A Refactoring Teaching Example.
Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 2005

CAViT: a Consistency Maintenance Framework based on Transformation Contracts.
Proceedings of the Transformation Techniques in Software Engineering, 17.-22. April 2005, 2005

Main Concepts of Networks of Transformation Units with Interlinking Semantics.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Extending Graph Rewriting for Refactoring.
Proceedings of the Graph Transformations, Second International Conference, 2004

Write Once, Deploy N: A Performance Oriented MDA Case Study.
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.
Softwaretechnik-Trends, 2003

Case Study: Simulation of a LAN.
Electr. Notes Theor. Comput. Sci., 2003

A Hierarchical Program Representation for Refactoring.
Electr. Notes Theor. Comput. Sci., 2003

Expressing Component-Relating Aspects with Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Algebraic Properties Of Processes for Local Action Systems.
Mathematical Structures in Computer Science, 2002

Formalising Behaviour Preserving Program Transformations.
Proceedings of the Graph Transformation, First International Conference, 2002

Local Action Systems and DPO Graph Transformation.
Proceedings of the Formal and Natural Computing, 2002

2001
Modeling Petri Nets by Local Action Systems.
Electr. Notes Theor. Comput. Sci., 2001

Processes and Local Actions.
Electr. Notes Theor. Comput. Sci., 2001

1998
A Framework for NLC and ESM: Local Action Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

1996
Abstract Semantics for ESM Systems.
Fundam. Inform., 1996

1995
Process languages for ESM systems.
Electr. Notes Theor. Comput. Sci., 1995

1994
The Decomposition of ESM Computations.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
Equivalence of Computations in Actor Grammars.
Theor. Comput. Sci., 1993

Computation Graphs for Actor Grammars.
J. Comput. Syst. Sci., 1993

ESM Systems and the Composition of Their Computations.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990
Graph Grammar-Based Description of Object-Based Systems.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Structured Transformations and Computation Graphs for Actor Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989
Actor Grammars.
Mathematical Systems Theory, 1989

1986
The Bounded Degree Problem for NLC Grammars is Decidable.
J. Comput. Syst. Sci., 1986

Basic notions of actor grammars: A graph grammar model for actor computation.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

1984
Generalized Handle Grammars and Their Relation to Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik, 1984

1983
Hypergraph Systems and Their Extensions.
ITA, 1983

On sequential and parallel node-rewriting graph grammars, II.
Computer Vision, Graphics, and Image Processing, 1983

A Survey of NLC Grammars.
Proceedings of the CAAP'83, 1983

1982
Graph Grammars with Neighbourhood-Controlled Embedding.
Theor. Comput. Sci., 1982

On sequential and parallel node-rewriting graph grammars, II.
Computer Graphics and Image Processing, 1982

On sequential and parallel node-rewriting graph grammars.
Computer Graphics and Image Processing, 1982

Graph grammars with node-label controlled rewriting and embedding.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Hypergraph systems generating graph languages.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Petri nets and their relation to graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

1981
Decision Problems for Node Label Controlled Graph Grammars.
J. Comput. Syst. Sci., 1981

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

Generating Graph Languages Using Hypergraph Grammars.
Proceedings of the Fundamentals of Computation Theory, 1981

1980
Restrictions, extensions, and variations of NLC grammars.
Inf. Sci., 1980

On the structure of node-label-controlled graph languages.
Inf. Sci., 1980

Node-Label Controllel Graph Grammars.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
Decompositions of Relations: A Comprehensive Approach.
Proceedings of the Advances in Data Base Theory, 1979


  Loading...