Dirk Janssens - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 86 from 86

2018

Report on IWRS 2018Paolo Bottoni, Dirk Janssens. eatcs, 126, 2018. [doi]

2015

Modular Reasoning in Aspect-Oriented Languages from a Substitution PerspectiveTim Molderez, Dirk Janssens. TAOSD, 12:3-59, 2015. [doi]

2012

Design by contract for aspects, by aspectsTim Molderez, Dirk Janssens. foal 2012: 9-14 [doi]

Towards an aspect-oriented language module: aspects for petri netsTim Molderez, Bart Meyers, Dirk Janssens, Hans Vangheluwe. AOSD 2012: 21-26 [doi]

2011

Change-based FODA diagrams: bridging the gap between feature-oriented design and implementationPeter Ebraert, Quinten David Soetens, Dirk Janssens. SAC 2011: 1345-1352 [doi]

A Fast Heuristic for Scheduling Parallel Software with Respect to Energy and Timing ConstraintsMargarete Sackmann, Peter Ebraert, Dirk Janssens. ipps 2011: 1397-1406 [doi]

A Model-Driven Approach for Software ParallelizationMargarete Sackmann, Peter Ebraert, Dirk Janssens. MoDELS 2012: 276-290 [doi]

2010

2008

Executing a Standard Compliant Transformation Model on a Non-standard PlatformOlaf Muliawan, Pieter Van Gorp, Anne Keller, Dirk Janssens. icst 2008: 151-160 [doi]

Delegation-based semantics for modularizing crosscutting concernsHans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld. OOPSLA 2008: 525-542 [doi]

A Calculus for Team AutomataMaurice H. ter Beek, Fabio Gadducci, Dirk Janssens. ENTCS, 195:41-55, 2008. [doi]

Transformation Language Integration Based on Profiles and Higher Order TransformationsPieter Van Gorp, Anne Keller, Dirk Janssens. SLE 2008: 208-226 [doi]

Executing a Standard Compliant Transformation Model on a Non-standard PlatformPieter Van Gorp, Olaf Muliawan, Dirk Janssens. In Workshop on Modeling, Validation and Heterogeneity (MoVaH). Workshop at the First IEEE International Conference on Software Testing, verification and validation (ICST). 2008:

Executing a Platform Independent Model of the UML-to-CSP Transformation on a Commercial PlatformPieter Van Gorp, Olaf Muliawan, Anne Keller, Dirk Janssens. In AGTIVE 2007 Tool Contest. 2008:

Transformation techniques can make students excited about formal methodsPieter Van Gorp, Hans Schippers, Serge Demeyer, Dirk Janssens. INFSOF, 50(12):1295-1304, 2008. [doi]

Copying Subgraphs Within Model RepositoriesPieter Van Gorp, Hans Schippers, Dirk Janssens. ENTCS, 211:133-145, 2008. [doi]

2007

The Illusion Of LinearityDirk de Bock, Wim Van Dooren, Dirk Janssens, Lieven Verschaffel. Volume 41 of Mathematics Education Library, Springer, 2007. [doi]

Shaped Generic Graph TransformationFrank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde. agtive 2008: 201-216 [doi]

Modeling and Transformation in Software DevelopmentDirk Janssens, Pieter Van Gorp. Universiteit Antwerpen, 2007.

Students can get excited about Formal Methods: a model-driven course on Petri-Nets, Metamodels and Graph GrammarsPieter Van Gorp, Hans Schippers, Serge Demeyer, Dirk Janssens. In The 3rd Educators' Symposium of the 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Symposium Proceedings. 2007:

2006

Adaptive Star GrammarsFrank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde. gg 2006: 77-91 [doi]

Cloning and Expanding Graph Transformation Rules for RefactoringBerthold Hoffmann, Dirk Janssens, Niels Van Eetvelde. ENTCS, 152:53-67, 2006. [doi]

a(MDÆ):::2:::: A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCLHans Schippers, Dirk Janssens. ENTCS, 163(1):19-29, 2006. [doi]

Hybrid Transformation Modeling: A Case Study Based On Developer InteractionPieter Van Gorp, Olaf Muliawan, Dirk Janssens. In 1st International Triple Graph Grammar Workshop. 2006:

Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated InconsistenciesPieter Van Gorp, Frank Altheide, Dirk Janssens. edoc 2006: 185-198 [doi]

Traceability and Fine-Grained Constraints in Interactive Inconsistency ManagementPieter Van Gorp, Frank Altheide, Dirk Janssens. In Second ECMDA Traceability Workshop. 2006:

Copying Subgraphs within Model RepositoriesPieter Van Gorp, Hans Schippers, Dirk Janssens. In Fifth International Workshop on Graph Transformation and Visual Modeling Techniques. 2006:

2005

The LAN-simulation: A Refactoring Teaching ExampleSerge Demeyer, Filip Van Rysselberghe, Tudor Gîrba, Jacek Ratzinger, Radu Marinescu, Tom Mens, Bart Du Bois, Dirk Janssens, Stéphane Ducasse, Michele Lanza, Matthias Rieger, Harald Gall, Mohammad El-Ramly. iwpse 2005: 123-134 [doi]

Main Concepts of Networks of Transformation Units with Interlinking SemanticsDirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg. BIRTHDAY 2005: 325-342 [doi]

Formalizing refactorings with graph transformationsTom Mens, Niels Van Eetvelde, Serge Demeyer, Dirk Janssens. SMR, 17(4):247-276, 2005. [doi]

Leveraging UML Profiles to Generate Plugins From Visual Model TransformationsHans Schippers, Pieter Van Gorp, Dirk Janssens. ENTCS, 127(3):5-16, 2005. [doi]

CAViT: a Consistency Maintenance Framework based on Visual Model Transformation and Transformation ContractsPieter Van Gorp, Dirk Janssens. In Transformation Techniques in Software Engineering. 2005:

CAViT: a Consistency Maintenance Framework based on Transformation ContractsPieter Van Gorp, Dirk Janssens. Dagstuhl 2006: [doi]

2004

Extending Graph Rewriting for RefactoringNiels Van Eetvelde, Dirk Janssens. gg 2004: 399-415 [doi]

Leveraging UML Profiles to generate Plugins from Visual Model TransformationsHans Schippers, Pieter Van Gorp, Dirk Janssens. Electronic Notes in Theoretical Computer Science, 127(3), 2004.

Write Once, Deploy N: A Performance Oriented MDA Case StudyPieter Van Gorp, Dirk Janssens, Tracy Gardner. edoc 2004: 123-134 [doi]

Write Once, Deploy N: A Performance Oriented MDA Case Study.Pieter Van Gorp, Dirk Janssens, Tracy Gardner. In Enterprise Distributed Object Computing Conference, (EDOC). 2004:

2003

Expressing Component-Relating Aspects with Graph TransformationsAlon Amsel, Dirk Janssens. agtive 2004: 149-162 [doi]

A Hierarchical Program Representation for RefactoringNiels Van Eetvelde, Dirk Janssens. ENTCS, 82(7):91-104, 2003. [doi]

Bericht über den Workshop AGTIVE 2003 vom 28. September bis 1. Oktober 2003 in Charlottesville, Virginia, USADirk Janssens. stt, 23(4), 2003. [doi]

Case Study: Simulation of a LANDirk Janssens, Serge Demeyer, Tom Mens. ENTCS, 72(4):71-73, 2003. [doi]

Implementing Refactorings as Graph Rewrite Rules on a Platform Independent MetamodelPieter Van Gorp, Niels Van Eetvelde, Dirk Janssens. In Proceedings of the 1st International Fujaba Days. 2003:

2002

Local Action Systems and DPO Graph TransformationDirk Janssens. BIRTHDAY 2002: 138-157 [doi]

Formalising Behaviour Preserving Program TransformationsTom Mens, Serge Demeyer, Dirk Janssens. gg 2002: 286-301 [doi]

Algebraic Properties Of Processes for Local Action SystemsNico Verlinden, Dirk Janssens. mscs, 12(4):423-448, 2002.

2001

Processes and Local ActionsDirk Janssens. ENTCS, 51:191-201, 2001. [doi]

Modeling Petri Nets by Local Action SystemsNico Verlinden, Dirk Janssens. ENTCS, 50(3):275-281, 2001. [doi]

1998

A Framework for NLC and ESM: Local Action SystemsNico Verlinden, Dirk Janssens. tagt 2000: 194-214

1996

Abstract Semantics for ESM SystemsDirk Janssens, Tom Mens. FUIN, 26(3/4):315-339, 1996.

1995

Process languages for ESM systemsDirk Janssens. ENTCS, 2:137-138, 1995. [doi]

1994

The Decomposition of ESM ComputationsDirk Janssens. tagt 1996: 271-287

1993

ESM Systems and the Composition of Their ComputationsDirk Janssens. Dagstuhl 1994: 203-217

Equivalence of Computations in Actor GrammarsDirk Janssens. TCS, 109(1&2):145-180, 1993.

Computation Graphs for Actor GrammarsDirk Janssens, M. Lens, Grzegorz Rozenberg. jcss, 46(1):60-90, 1993.

1990

Graph Grammar-Based Description of Object-Based SystemsDirk Janssens, Grzegorz Rozenberg. rex 1991: 341-404

Structured Transformations and Computation Graphs for Actor GrammarsDirk Janssens, Grzegorz Rozenberg. gg 1991: 446-460

1989

Actor GrammarsDirk Janssens, Grzegorz Rozenberg. mst, 22(2):75-107, 1989.

1986

Basic notions of actor grammars: A graph grammar model for actor computationDirk Janssens, Grzegorz Rozenberg. gg 1987: 280-298

The Bounded Degree Problem for NLC Grammars is DecidableDirk Janssens, Grzegorz Rozenberg, Emo Welzl. jcss, 33(3):415-422, 1986.

1984

Generalized Handle Grammars and Their Relation to Petri NetsHartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan. eik, 20(4):179-206, 1984.

1983

A Survey of NLC GrammarsDirk Janssens, Grzegorz Rozenberg. caap 1983: 114-128

Neighbourhood-Uniform NLC GrammarsDirk Janssens, Grzegorz Rozenberg. wg 1984: 114-124

On sequential and parallel node-rewriting graph grammars, IIDirk Janssens, Grzegorz Rozenberg, R. Verraedt. cvgip, 23(3):295-312, 1983. [doi]

Hypergraph Systems and Their ExtensionsDirk Janssens, Grzegorz Rozenberg. ita, 17(2):163-196, 1983.

1982

Petri nets and their relation to graph grammarsHartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan. gg 1983: 115-129

On sequential and parallel node-rewriting graph grammars, IIDirk Janssens, R. Verraedt. cvgip, 20(2):198, 1982. [doi]

Graph grammars with node-label controlled rewriting and embeddingDirk Janssens, Grzegorz Rozenberg. gg 1983: 186-205

Hypergraph systems generating graph languagesDirk Janssens, Grzegorz Rozenberg. gg 1983: 172-185

Concurrency of Node-Label-Controlled Graph TransformationsDirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig. wg 1983: 91-108

On sequential and parallel node-rewriting graph grammarsDirk Janssens, Grzegorz Rozenberg, R. Verraedt. cvgip, 18(3):279-304, 1982. [doi]

Graph Grammars with Neighbourhood-Controlled EmbeddingDirk Janssens, Grzegorz Rozenberg. TCS, 21:55-74, 1982.

1981

Generating Graph Languages Using Hypergraph GrammarsDirk Janssens, Grzegorz Rozenberg. fct 1981: 154-164

Decision Problems for Node Label Controlled Graph GrammarsDirk Janssens, Grzegorz Rozenberg. jcss, 22(2):144-177, 1981.

A Characterization of Context-free String Languages by Directed Node-label Controlled Graph GrammarsDirk Janssens, Grzegorz Rozenberg. ACTA, 16:63-85, 1981.

1980

Node-Label Controllel Graph GrammarsDirk Janssens, Grzegorz Rozenberg. mfcs 1980: 334-347

On the structure of node-label-controlled graph languagesDirk Janssens, Grzegorz Rozenberg. isci, 20(3):191-216, 1980. [doi]

Restrictions, extensions, and variations of NLC grammarsDirk Janssens, Grzegorz Rozenberg. isci, 20(3):217-244, 1980. [doi]

1979

Decompositions of Relations: A Comprehensive ApproachJan Paredaens, Dirk Janssens. adbt 1979: 73-100

Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated InconsistenciesPieter Van Gorp, Frank Altheide, Dirk Janssens. In EDOC'06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference. :

Transformation Language Integration based on Profiles and Higher Order TransformationsPieter Van Gorp, Dirk Janssens.

Sign in or sign up to see more results.

runs on WebDSL