FOTS / Publications

Books (Chapters)

1. D. Janssens. In Handbook of Graph Grammars and Computing by Graph Transformation.
   Chapter 2 - Actor Grammars and Local Actions, pages 57-106
   World Scientific, 1999 Vol. 3
   [Summary]
   

Journal Articles

1. P. Van Gorp, H. Schippers, S. Demeyer and D. Janssens. Transformation Techniques can make Students excited about Formal Methods.
   In Information and Software Technology; 2008 Vol. 50 No. 12 November pages 1295-1304
   [Summary]
   

2. D. Janssens, S. Demeyer and T. Mens. Case Study: Simulation of a LAN.
   In Electronic Notes in Theoretical Computer Science; 2002 Vol. 74
   [Summary]
   

3. D. Janssens. Local Action Systems and DPO Graph Transformation.
   In Formal and Natural Computing; 2002 Vol. 2300 pages 138-157
   [Summary]
   

4. Nico Verlinden and Dirk Janssens. Algebraic Properties Of Processes for Local Action Systems.
   In Mathematical Structures in Computer Science; 2002 Vol. 12 pages 423-448
   [Summary]
   

5. D. Janssens. The Decomposition of ESM Computations.
   In Graph Grammars and their Application in Computer Science; 1996 Vol. 1073 pages 271-287
   Note: Springer [Summary]
   

6. D. Janssens and T. Mens. Abstract Semantics for ESM Systems.
   In Fundamenta Informaticae; 1996 Vol. 26 pages 315-339
   [Summary]
   

7. D. Janssens. ESM Systems and the Composition of their Computations.
   In Graph Transformations in Computer Science; 1994 Vol. 776 pages 203-217
   [Summary]
   

8. D. Janssens, M. Lens and G. Rozenberg. Computation Graphs for Actor Grammars.
   In Computer and System Sciences; 1993 Vol. 46 pages 60-90
   [Summary]
   

9. D. Janssens. Equivalence of Computations in Actor Grammars.
   In Theoretical Computer Science; 1993 Vol. 109 pages 145-180
   [Summary]
   

10. D. Janssens. Graph-Rewriting as a Semantics for Message-Passing Systems.
    In Nouvelles de la Science et des Technologies; 1991 Vol. 9 pages 11-17
    [Summary]
    

11. D. Janssens and G. Rozenberg. Structured Transformations and Computation graphs for Actor Grammars.
    In Graph Grammars and their Application in Computer Science; 1991 Vol. 532 pages 446-460
    Note: Springer [Summary]
    

12. D. Janssens and G. Rozenberg. Graph-Grammar Based Description of Object-Based Systems.
    In Foundations of Object-Oriented Languages; 1990 Vol. 489 pages 343-404
    Note: Springer [Summary]
    

13. D. Janssens and G. Rozenberg. Actor Grammars.
    In Mathematical Systems Theory; 1989 Vol. 22 pages 75-107
    [Summary]
    

14. D. Janssens and G. Rozenberg. Basic Notions of Actor Grammars: a Graph Grammar Model for Actor Computation.
    In Graph Grammars and their Application in Computer Science; 1987 Vol. 291 pages 280-298
    Note: Springer [Summary]
    

15. D. Janssens. Message Passing and Graph Transformations: A Model of Actor Computation.
    In Microprocessing and Microprogramming; 1986 Vol. 18 pages 307-38
    [Summary]
    

16. D. Janssens and G. Rozenberg. Neighbourhood-Uniform NLC Grammars.
    In Computer Graphics and Image Processing; 1986 Vol. 35 pages 131-151
    [Summary]
    

17. D. Janssens, E. Welzl and G. Rozenberg. The Bounded Degree Problem for NLC Grammars is Decidable.
    In Journal of Computer and System Sciences; 1986 Vol. 33 pages 415-422
    [Summary]
    

18. D. Janssens and G. Rozenberg. Graph Grammars with Node-Label Controled Embedding and Rewriting.
    In Graph Grammars and their Application in Computer Science; 1983 Vol. 153 pages 186-205
    [Summary]
    

19. D. Janssens and G. Rozenberg. Hypergraph Systems Generating Graph Languages.
    In Graph Grammars and their Application in Computer Science; 1983 Vol. 153 pages 172-185
    Note: Springer [Summary]
    

20. H. J. Genrich, D. Janssens, G. Rozenberg and P. S. Thiagarajan. Generalized Handle Grammars and Their Relation to Petri Nets..
    In Elektr. Informationsverarbeitung und Kybernetik EIK; 1984 Vol. 20 (4) pages 170-206
    [Summary]
    

21. D. Janssens and G. Rozenberg. Hypergraph Systems and Their Extensions.
    In RAIRO Informatique Theorique; 1983 Vol. 17 pages 163-196
    [Summary]
    

22. D. Janssens, G. Rozenberg and R. Verraedt. On Sequential and Parallel Node-Rewriting Graph Grammars, part 2.
    In Computer Graphics and Image Processing; 1983 Vol. 23 pages 295-312
    [Summary]
    

23. D. Janssens, G. Rozenberg and R. Verraedt. On Sequential and Parallel Node-Rewriting Graph Grammars, part 1.
    In Computer Graphics and Image Processing; 1982 Vol. 18 pages 279-301
    [Summary]
    

24. D. Janssens and G. Rozenberg. Graph Grammars with Neighbourhood-Controlled embedding.
    In Theoretical Computer Science; 1982 Vol. 21 pages 55-74
    [Summary]
    

25. D. Janssens and G. Rozenberg. Generating Graph Languages Using Hypergraph Systems.
    In Fundamentals of Computation Theory; 1981 Vol. 117 pages 154-164
    Note: 117 [Summary]
    

26. D. Janssens and G. Rozenberg. a Characterization of Context-free String Languages by Directed node-Label controlled Graph Grammars.
    In Acta Informatica; 1981 Vol. 16 pages 63-85
    [Summary]
    

27. D. Janssens and G. Rozenberg. Decision Problems for Node Label Controlled Graph Grammars.
    In Journal of Computer and System Science; 1981 Vol. 22 pages 144-177
    [Summary]
    

28. D. Janssens and G. Rozenberg. Node-Label Controlled Graph Grammars.
    In Mathematical Foundations of Computer Science; 1980 Vol. 88 pages 334-347
    Note: 88 [Summary]
    

29. D. Janssens and G. Rozenberg. Restrictions, Extensions and Variations of NLC Grammars.
    In Information Sciences; 1980 Vol. 20 pages 217-244
    [Summary]
    

30. D. Janssens and G. Rozenberg. On the structure of node-label-controlled graph languages.
    In Information Sciences; 1980 Vol. 20 (3) April pages 191-216
    [Summary]
    

Conference Papers

1. Hans Schippers, Michael Haupt, Robert Hirschfeld and Dirk Janssens. An implementation substrate for languages composing modularized crosscutting concerns.
   

   SAC 2009: Proceedings of the Symposium on Applied Computing, pages 1944-1951
   Editor(s) Sung Y. Shin and Sascha Ossowski
   ACM, 2009
   Note: Acceptance Ratio: 29.2pct
   [Summary]
   

2. Hans Schippers, Dirk Janssens, Michael Haupt and Robert Hirschfeld. Delegation-based Semantics for Modularizing Crosscutting Concerns
   

   OOPSLA 2008: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented Programming Systems, Languages and Applications, pages 525-542
   Editor(s)
   ACM, 2008
   Note: Acceptance Ratio: 28pct
   [Summary]
   

3. Michael Haupt and Hans Schippers. A Machine Model for Aspect-oriented Programming
   

   ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, Lecture Notes in Computer Science, Vol. 4609, pages 501-524
   Editor(s)
   Springer, 2007
   Note: Acceptance Ratio: 18.5pct
   [Summary]
   

4. Pieter Van Gorp, Frank Altheide and Dirk Janssens. Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies
   

   EDOC'06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
   Editor(s)
   IEEE Computer Society, October, 2006
   Note: Acceptance Ratio: 34/140 (24pct)
   [Summary]
   

5. Pieter Van Gorp, Dirk Janssens and Tracy Gardner. Write Once, Deploy N: a Performance Oriented MDA Case Study
   

   Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference
   Editor(s)
   IEEE, September, 2004
   Note: Acceptance Ratio: 36.4pct http://www.cis.uab.edu/info/edoc2004/
   [Summary]
   

6. Pieter Van Gorp, Hans Stenten, Tom Mens and Serge Demeyer. Towards automating source-consistent UML refactorings
   

   Proceedings UML'03 (The Sixth International Conference on The Unified Modeling Language), Lecture Notes on Computer Science, Vol. LNCS 2863, pages 144-159
   Editor(s) Perdita Stevens, Jon Whittle and Grady Booch
   Springer-Verlag, October, 2003
   Note: Acceptance Ratio: 17.5pct 6th International Conference, UML 2003
   [Summary]
   

7. T. Mens, S. Demeyer and D. Janssens. Formalizing Behaviour Preserving Program Transformations
   

   Proceedings of ICGT 2002, Lecture Notes in Computer Science, Vol. 2505, pages 286-301
   Editor(s)
   Springer, 2002
   
   [Summary]
   

8. H. Ehrig, D. Janssens, H.J. Kreowski and G. Rozenberg. Concurrency of Node-Label Controlled Graph Transformations
   

   Proc. 8th Conference on Graph-Theoretic Concepts in Computer Science, pages 91-108
   Editor(s)
   Carl Hauser Verlag, 1981
   
   [Summary]
   

9. Niels Van Eetvelde and Dirk Janssens. Extending Graph Rewriting for Refactoring
   

   Proceedings of International Conference of Graph Transformation 2004
   Editor(s) Reiko Heckel
   Springer-Verlag, September, 2004
   http://icgt2004.dsi.uniroma1.it
   [Summary]
   

Workshop Papers

1. Hans Schippers, Tom Van Cutsem, Stefan Marr, Michael Haupt and Robert Hirschfeld. Towards an Actor-based Concurrent Machine Model
   

   ICOOOLPS '09: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, pages 4-9
   Editor(s)
   ACM, 2009
   , 2009
   [Summary]
   

2. Olaf Muliawan, Pieter Van Gorp, Anne Keller and Dirk Janssens. Executing a Standard Compliant Transformation Model on a Non-standard Platform
   

   Workshop on Modeling, Validation and Heterogeneity (MoVaH). Workshop at the First IEEE International Conference on Software Testing, verification and validation (ICST)
   Editor(s)
   , April, 2008
   
   [Summary]
   

3. Pieter Van Gorp, Hans Schippers, Serge Demeyer and Dirk Janssens. Students can get excited about Formal Methods: a model-driven course on Petri-Nets, Metamodels and Graph Grammars
   

   The 3rd Educators' Symposium of the 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Symposium Proceedings
   Editor(s) Miroslaw Staron
   IT University of Göteberg, Department of Applied Information Technology, 2007
   
   [Summary]
   

4. Pieter Van Gorp, Olaf Muliawan, Anne Keller and Dirk Janssens. Executing a Platform Independent Model of the UML-to-CSP Transformation on a Commercial Platform
   

   AGTIVE 2007 Tool Contest
   Editor(s) Gabriele Täntzer and Arend Rensink
   , January, 2008
   
   [Summary]
   

5. Pieter Van Gorp, Hans Schippers and Dirk Janssens. Copying Subgraphs within Model Repositories
   

   Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, Electronic Notes in Theoretical Computer Science, pages 127-139
   Editor(s) Roberto Bruni and Dániel Varró
   Elsevier, April, 2006
   
   [Summary]
   

6. Pieter Van Gorp, Frank Altheide and Dirk Janssens. Traceability and Fine-Grained Constraints in Interactive Inconsistency Management
   

   Second ECMDA Traceability Workshop
   Editor(s) Tor Neple, Jon Oldevik and Jan Aagedal
   , July, 2006
   
   [Summary]
   

7. Mens, Tom, Van Gorp, Pieter, Varró, Daniel, Karsai and Gabor. Applying a Model Transformation Taxonomy to Graph Transformation Technology
   

   Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005), Electronic Notes in Theoretical Computer Science, Vol. 152
   Editor(s)
   , March, 2006
   
   [Summary]
   

8. Tom Mens and Pieter Van Gorp. Proceedings of the International Workshop on Graph and Model Transformation (GraMoT 2005).
   In Electronic Notes in Theoretical Computer Science; 2006 Vol. 152 March
   [Summary]
   

9. Tom Mens, Krzysztof Czarnecki and Pieter Van Gorp. 04101 Discussion - A Taxonomy of Model Transformations
   

   Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, No. 04101
   Editor(s) Jean Bezivin and Reiko Heckel
   Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005
   Note: Keywords: taxonomy , model transformations
   [Summary]
   

10. Pieter Van Gorp and Dirk Janssens. CAViT: a Consistency Maintenance Framework based on Visual Model Transformation and Transformation Contracts
    

    Transformation Techniques in Software Engineering, Dagstuhl Seminar Proceedings, No. 05161
    Editor(s) J. Cordy, R. Lämmel and A. Winter
    Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005
    
    [Summary]
    

11. Hans Schippers and Dirk Janssens. a(MDAE)2: a Model Driven Approach to Multi-Dimensional Software Development with OCL
    

    Aspect Based and Model Based Separation of Concerns in Software Systems (ABMB). Workshop at the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA)
    Editor(s)
    , November, 2005
    
    [Summary]
    

12. Hans Schippers, Pieter Van Gorp and Dirk Janssens. Leveraging UML Profiles to generate Plugins from Visual Model Transformations
    

    , Electronic Notes in Theoretical Computer Science
    Editor(s) Reiko Heckel and Tom Mens
    , October, 2004
    Software Evolution through Transformations (SETra). Satellite of the 2nd Intl. Conference on Graph Transformation
    [Summary]
    

13. Hans Schippers and Pieter Van Gorp. Standardizing SDM for Model Transformations
    

    
    Editor(s) Andy Schürr and Albert Zündorf
    , September, 2004
    Note: Technical report university of Kassel Second Int. Fujaba Days (FD'04)
    [Summary]
    

14. Pieter Van Gorp, Niels Van Eetvelde and Dirk Janssens. Implementing Refactorings as Graph Rewrite Rules on a Platform Independent Metamodel
    

    Proceedings FUJABA'03 (FUJABA Days 2003), pages 17-24
    Editor(s) Holger Giese and Albert Zündorf
    University of Kassel, October, 2003
    FUJABA Days 2003
    [Summary]
    

15. Pieter Van Gorp, Hans Stenten, Tom Mens and Serge Demeyer. Enabling and Using the UML for Model Driven Refactoring
    

    
    Editor(s) Serge Demeyer, Stephane Ducasse and Kim Mens
    Technical Report 2003-07 of the University of Antwerp, Department of Mathematics & Computer Science, 2003
    
    [Summary]
    

16. Niels Van Eetvelde and Dirk Janssens. A Hierarchical Program Representation for Refactoring
    

    Proc. UNIGRA'03, Electronic Notes in Theoretical Computer Science, Vol. 82
    Editor(s) Roswitha Bardohl and Hartmut Ehrig
    Elsevier, 2003
    
    [Summary]
    

17. A. Amsel and D. Janssens. Expressing Component-Relating Aspects with Graph Transformations
    

    Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE), Lecture Notes in Computer Science, Vol. 3062, pages 149-162
    Editor(s) John Pfaltz and Manfred Nagl
    , 2003
    
    [Summary]
    

18. Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten and Pieter Van Gorp. Refactoring: Current Research and Future Trends
    

    Proceedings LDTA'03 (Third Workshop on Language Descriptions, Tools and Applications), Vol. Electronic Notes in Theoretical Computer Science - 82
    Editor(s) Barrett Bryant and João Saraiva
    Elsevier, April, 2003
    ETAPS 2003, Third Workshop on Language Descriptions, Tools and Applications
    [Summary]
    

19. D. Janssens and N. Verlinden. Modeling Petri Nets by Local Action Systems
    

    Electronic Notes in Theoretical Computer Science, Vol. 50
    Editor(s) Luciano Baresi, Mauro Pezze and Gabriele Taentzer
    Elsevier, 2001
    Note: also: Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, Elsevier Science, 277-283
    [Summary]
    

20. D. Janssens. Processes and Local Actions
    

    GetGrats Closing Workshop, Electronic Notes in Theoretical Computer Science, Vol. 51
    Editor(s)
    Elsevier, 2001
    
    [Summary]
    

21. D. Janssens and N. Verlinden. A Framework for ESM and NLC: Local Action Systems
    

    6th International Workshop on Theory and Application of Graph Transformation, Lecture Notes in Computer Science, Vol. 1764, pages 194-214
    Editor(s)
    Springer, 2000
    
    [Summary]
    

22. D. Janssens and J. Müller. Modeling Timed Petri Nets
    

    6th International Workshop on Theory and Application of Graph Transformation, Lecture notes in Computer Science isb, pages 225-232
    Editor(s) Ehrig, H., Engels, G., Kreowski, H.-J. and Rozenberg
    Springer, 1998
    Note: 3-540-67203-6
    [Summary]
    

23. D. Janssens and N. Verlinden. Algebraic Reasoning in Graph Processes
    

    6th International Workshop on Theory and Application of Graph Transformation, Lecture notes in Computer Science isb, pages 217-224
    Editor(s) Ehrig, H., Engels, G., Kreowski, H.-J. and Rozenberg
    Springer, 1998
    Note: 3-540-67203-6
    [Summary]
    

24. D. Janssens and G. Rozenberg. A Survey of NLC Grammars
    

    CAAP 83, Lecture notes in Computer Science, Vol. 159, pages 114-12
    Editor(s) Giorgio Ausiello and Marco Protasi
    , 1983
    Note: 114-12
    [Summary]
    

25. H. J. Genrich, D. Janssens, G. Rozenberg and P. S. Thiagarajan. Petri Nets and Their Relation to Graph Grammars.
    

    2nd Int. Workshop on Graph Grammars and Their Application to Computer Science., Lecture Notes in Computer Science, Vol. 153, pages 115-129
    Editor(s)
    Springer-Verlag, 1983
    
    [Summary]
    

26. J. Paredaens and D. Janssens. Decomposition of Relations: a Comprehensive Approach.
    In ; 1979 pages 73-100
    [Summary]
    

Technical Reports

1. Pieter Van Gorp. Evaluation of the Story Driven Modeling Methodology: From Towers to Models
   University of Antwerp, Belgium December No. 2007
   

2. Olaf Muliawan, Dirk Janssens and Serge Demeyer. A Transformation Language for UML-OCL Models
   University of Antwerp - Dept. of Math and Comp. Science No. 2006-17
   

3. D. Janssens and N. Verlinden. Reasoning on Graph Rewriting Processes
   UIA - Dept. of Math and Comp. Science No. 97-07
   

4. D. Janssens and N. Verlinden. Algebraic Properties of LAS Processes
   UIA - Dept. of Math. and Comp. Science No. 99-13