Arend Rensink

prof.dr.ir.

1988 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2018

Filter
Conference contribution
2018
69 Downloads (Pure)

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Interoperability
1 Citation (Scopus)

How do we teach modelling and model-driven engineering? A survey

Ciccozzi, F., Famelis, M., Kappel, G., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Valecillo, A. & Wimmer, M., 14 Oct 2018, International Conference on Model Driven Engineering Languages and Systems (MODELS): Companion Proceedings. ACM Press, p. 122-129

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
instructor
engineering
Teaching
teaching method
learning

LOCKS: a property specification language for security goals

Kumar, R., Rensink, A. & Stoelinga, M. I. A., 9 Apr 2018, SAC'18. Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC). Association for Computing Machinery (ACM), p. 1907-1915

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specification languages
Arches
Semantics
Specifications
2 Citations (Scopus)

Towards a body of knowledge for model-based software engineering

Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery (ACM), p. 82-89 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Software engineering
Curricula
2017

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A., Nov 2017, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
Scheduling
Elevators
Radar systems
Airports
Railroad cars

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Jul 2017, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Interoperability
Specifications
1 Citation (Scopus)
16 Downloads (Pure)

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., Apr 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Scalability
Electric potential
1 Citation (Scopus)
50 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., 13 Jan 2017, Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer, Vol. 10107. p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A., Apr 2017, Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), 5 p. 15

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking
Application programming interfaces (API)
Interoperability
Specifications
5 Citations (Scopus)
65 Downloads (Pure)

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A., Oct 2017, Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Query languages
Computer hardware
Cyber Physical System
1 Citation (Scopus)
25 Downloads (Pure)

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A., 23 Jan 2017, 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
22 Downloads (Pure)

Verification Techniques for Graph Rewriting (Tutorial)

Rensink, A., Mar 2016, Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl Publishing, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
2015
5 Citations (Scopus)
4 Downloads (Pure)

Fault Trees on a Diet: Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Nutrition
Directed graphs
Scalability
Experiments
15 Downloads (Pure)

Graphs as Models - Preface

Rensink, A. & Zambon, E., Apr 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Australia: Open Publishing Association, p. - 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
Satellites
6 Citations (Scopus)
1 Downloads (Pure)

Towards Compliance Verification Between Global and Local Process Models

Kwantes, P. M., van Gorp, P., Kleijn, J. & Rensink, A., Jul 2015, Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Parisi-Presicce, F. & Westfechtel, B. (eds.). Berlin: Springer, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 9151).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2014
18 Downloads (Pure)

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Feb 2014, Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
12 Downloads (Pure)

BenchmarX

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A. & Schürr, A., Mar 2014, Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Hidaka, S. & Terwilliger, J. (eds.). Aachen, Germany: CEUR-WS.org, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
3 Downloads (Pure)

Forever software

Rensink, A., Oct 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 535-537 3 p. (Lecture Notes in Computer Science; vol. 8802).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Software engineering
Television receivers
Railroad cars
Industry
44 Downloads (Pure)

Graph- versus Vector-Based Analysis of a Consensus Protocol

Delzanno, G., Rensink, A. & Traverso, R., Apr 2014, Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). Bošnački, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A. (eds.). EPTCS, p. 44-57 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
111 Downloads (Pure)

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Zambon, E. & Rensink, A., Apr 2014, Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Hermann, F. & Sauer, S. (eds.). Berlin, Germany: European Association of Software Science and Technology, p. - 13 p. (Electronic Communications of the EASST; vol. 67, no. 938).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
13 Downloads (Pure)

Towards Rigorously Faking Bidirectional Model Transformations

Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A., Sep 2014, Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. Dingel, J., De Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: RWTH Aachen, Germany, p. 70-75 6 p. (CEUR-WS; vol. 1277).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2013
48 Downloads (Pure)

Class diagram restructuring with GROOVE

Smid, W. & Rensink, A., Nov 2013, Proceedings Sixth Transformation Tool Contest. Van Gorp, P., Rose, L. M. & Krause, C. (eds.). arXiv.org, p. 83-87 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2012
6 Downloads (Pure)

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A., Sep 2012, 6th International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 234-248 15 p. (Lecture Notes in Computer Science; vol. 7562).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Downloads (Pure)

Graph passing in graph transformation

Ghamarian, A. H. & Rensink, A., Mar 2012, 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 723:1-723:14 14 p. (Electronic Communications of the EASST; vol. 47).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
44 Downloads (Pure)

Graph Subsumption in Abstract State Space Exploration

Zambon, E. & Rensink, A., Apr 2012, Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012). Wijs, A., Bosnacki, D. & Edelkamp, S. (eds.). Open Publishing Association, p. 35-49 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)

Graph Transforming Java Data

de Mol, M. J., Rensink, A. & Hunt, J. J., Mar 2012, Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). London: Springer, p. 209-223 15 p. (Lecture Notes in Computer Science; vol. 7212).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
39 Downloads (Pure)

Incremental pattern matching for regular expressions

Jalali, A., Ghamarian, A. H. & Rensink, A., Mar 2012, 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 736:1-736:12 12 p. (Electronic Communications of the EASST; vol. 47).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Citations (Scopus)
17 Downloads (Pure)

Pattern-Based Graph Abstraction

Rensink, A. & Zambon, E., Sep 2012, International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 66-80 15 p. (Lecture Notes in Computer Science; vol. 7562).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2011
3 Citations (Scopus)
20 Downloads (Pure)

Knowledge-based Graph Exploration Analysis

Galvao, I., Zambon, E., Rensink, A., Wevers, L. & Aksit, M., Oct 2011, AGTIVE 2011: Applications of Graph Transformations with Industrial Relevance. Schürr, A., Varró, D. & Varró, G. (eds.). Berlin, Heidelberg: Springer, p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7233).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

Neighbourhood Abstraction in GROOVE

Rensink, A. & Zambon, E., 11 Apr 2011, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 1-13 13 p. (Electronic Communications of the EASST; vol. 32).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

36 Downloads (Pure)

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Ghamarian, A. H., de Mol, M. J., Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 215-222 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
33 Downloads (Pure)

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 126-130 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2010
8 Citations (Scopus)

Compositionality in Graph Transformation

Rensink, A., Jul 2010, Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Berlin: Springer, p. 309-320 12 p. (Lecture Notes in Computer Science; vol. 6199).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Algebra
Specifications
Synchronization
2 Citations (Scopus)
15 Downloads (Pure)

Distributed Graph-Based State Space Generation

Blom, S., Kant, G. & Rensink, A., Sep 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Berlin: European Association of Software Science and Technology (EASST), p. 8 12 p. (Electronic Communications of the EASST; vol. 32, no. WP 10-06).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
10 Downloads (Pure)

Incremental Pattern Matching in Graph-Based State Space Exploration

Ghamarian, A. H., Rensink, A. & Jalali, A., 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 144-154 12 p. (CTIT Workshop Proceedings; no. WP 10-06).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Downloads (Pure)

Neighbourhood Abstraction in GROOVE - Tool Paper

Rensink, A. & Zambon, E., Jun 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). de Lara, J. & Varro, D. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 55-61 6 p. (CTIT Workshop Proceedings; no. WP 10-06).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Downloads (Pure)

On A Graph Formalism for Ordered Edges

de Mol, M. J. & Rensink, A., 16 Aug 2010, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Küster, J. & Tuosto, E. (eds.). European Association for the Study of Science and Technology, p. - 12 p. (Electronic Communications of the EASST; vol. 29).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
20 Citations (Scopus)

Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

Hüksbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2010, Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Méry, D. & Merz, S. (eds.). Berlin, Heidelberg: Springer, p. 183-198 16 p. (Lecture Notes in Computer Science; vol. 6396).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Semantics
Software design
Scalability
2009
35 Citations (Scopus)

A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

Aksit, M., Rensink, A. & Staijen, T., 2009, AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: Association for Computing Machinery (ACM), p. 39-50 12 p. 10.1145/1509239.1509247

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 15 Jun 2009, Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Graph-Based Specification and Simulation of Featherweight Java with Around Advice

Staijen, T. & Rensink, A., Mar 2009, FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages. New York: Association for Computing Machinery (ACM), p. 25-30 6 p. 10.1145/1509837.1509844

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)
8 Downloads (Pure)

Repotting the geraniums: on nested graph transformation rules

Rensink, A. & Kuperus, J-H., 2009, Graph transformation and visual modelling techniques. Boronat, A. & Heckel, R. (eds.). European Association for the Study of Science and Technology, p. - 15 p. (Electronic Communications of the EASST; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Towards model structuring based on flow diagram decomposition

Rensink, A. & Zimakova, M. V., 2009, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture. Aksit, M., Kindler, E., Roubtsova, E. & McNeile, A. (eds.). New York: Association for Computing Machinery (ACM), p. 5:1-5:8 8 p. 10.1145/1555852.1555857. (ACM International Conference Proceeding Series; vol. 379).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2008
3 Citations (Scopus)

AGTIVE 2007 Graph Transformation Tool Contest

Rensink, A. & Taentzer, G., 2008, Applications of Graph Transformation with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin, Heidelberg: Springer, p. 487-492 6 p. (Lecture Notes in Computer Science; vol. 5088).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

A Modal-Logic Based Graph Abstraction

Bauer, J., Boneva, I. B., Kurban, M. E. & Rensink, A., 2008, International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer, p. 321-335 15 p. 10.1007/978-3-540-87405-8_22. (Lecture Notes in Computer Science; vol. 5214, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Dynamic Partial Order Reduction Using Probe Sets

Kastenberg, H. & Rensink, A., 2008, Concurrency Theory (CONCUR). Van Breughel, F. & Chechik, M. (eds.). Berlin: Springer, p. 233-247 15 p. 10.1007/978-3-540-85361-9_21. (Lecture Notes in Computer Science; vol. 5201, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)

From UML Activities to TAAL: Towards behaviour-preserving model transformations

Engels, G., Kleppe, A. G., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2008, European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). Hartman, A. & Schieferdecker, I. (eds.). Berlin: Springer, p. 94-109 16 p. 10.1007/978-3-540-69100-6_7. (Lecture Notes in Computer Science; vol. 5095, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Graph-Based Tools: The Contest

Rensink, A. & Van Gorp, P., 2008, International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer, p. 463-466 4 p. 10.1007/978-3-540-87405-8_33. (Lecture Notes in Computer Science; vol. 5214, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Citations (Scopus)

Graph Transformation Semantics for a QVT Language

Rensink, A. & Nederpel, R., May 2008, International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Bruni, R. & Varró, D. (eds.). Amsterdam: Elsevier, p. 51-62 12 p. 10.1016/j.entcs.2008.04.029. (Electronic Notes in Theoretical Computer Science; vol. 211).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
61 Downloads (Pure)

Ludo: A Case Study for Graph Transformation Tools

Rensink, A., Dotor, A., Ermel, C., Jurack, S., Kniemeyer, O., de Lara, J., Maier, S., Staijen, T. & Zündorf, A., 2008, Applications of Graph Transformation with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin, Heidelberg: Springer, p. 493-513 21 p. (Lecture Notes in Computer Science; vol. 5088).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review