• 1440 Citations
1988 …2019

Research output per year

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

Research Output

2019

Contents for a Model-Based Software Engineering Body of Knowledge

Burgueño, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Vallecillo, A. & Wimmer, M., 1 Dec 2019, In : Software and systems modeling. 18, 6, p. 3193-3205 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
27 Downloads (Pure)

Rewriting Abstract Structures: Materialization Explained Categorically

Corradini, A., Heindel, T., König, B., Nolte, D. & Rensink, A., 1 Jan 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Cham: Springer Verlag, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

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

Open Access
File
1 Citation (Scopus)
16 Downloads (Pure)
2018

A tutorial on graph transformation

König, B., Nolte, D., Padberg, J. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 83-104 22 p. (Lecture Notes in Computer Science; vol. 10800).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
5 Citations (Scopus)
63 Downloads (Pure)

Designing Reusable and Run-Time Evolvable Scheduling Software

Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, p. 339-373. 35 p.

Research output: Contribution to conferencePaper

Open Access

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
8 Citations (Scopus)
216 Downloads (Pure)

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, p. 245-265 (Lecture Notes in Computer Science; vol. 10800).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
1 Citation (Scopus)
30 Downloads (Pure)

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
7 Citations (Scopus)
22 Downloads (Pure)

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
2 Citations (Scopus)
22 Downloads (Pure)

Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

Zambon, E. & Rensink, A., 24 Oct 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Springer, p. 305-323

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
25 Downloads (Pure)

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
7 Citations (Scopus)
41 Downloads (Pure)
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

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

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
1 Citation (Scopus)
59 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
1 Citation (Scopus)
88 Downloads (Pure)

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

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)

How much are your geraniums? Taking graph conditions beyond first Order

Rensink, A., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, Vol. 10500 LNCS. p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

2 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
6 Citations (Scopus)
193 Downloads (Pure)

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
94 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
4 Citations (Scopus)
35 Downloads (Pure)
2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
62 Downloads (Pure)

Model Patterns - The Quest for the Right Level of Abstraction

Rensink, A., Sep 2016, Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
2 Citations (Scopus)
17 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, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

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

File
29 Downloads (Pure)
2015

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., 30 Dec 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: Book/ReportReportProfessional

File
73 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

6 Citations (Scopus)
4 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
25 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
7 Citations (Scopus)
1 Downloads (Pure)
2014

A survey and comparison of transformation tools based on the transformation tool contest

Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Hermannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzoldt, S. & Mazanek, S., Jun 2014, In : Science of computer programming. 85A, A, p. 41-99 59 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
40 Citations (Scopus)
216 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
22 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, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133).

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

File
17 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

1 Citation (Scopus)
3 Downloads (Pure)

Fundamental Approaches to Software Engineering

Gnesi, S. (ed.) & Rensink, A. (ed.), Apr 2014, Berlin: Springer. 429 p. (Lecture Notes in Computer Science; vol. 8411)(Advanced Research in Computing and Software Science)

Research output: Book/ReportBook editingAcademic

138 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
69 Downloads (Pure)

Noninvasive regelbasierte Graphtransformation für Java

Translated title of the contribution: Noninvasive rule-based graph transformation for JavaHunt, J. J., Rensink, A. & de Mol, M., 1 Jan 2014, Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Deutschland, 25-28.02.2014. Hasselbring, W. & Ehmke, N. C. (eds.). Bonn: Gesellschaft für Informatik, p. 91-92 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. 227).

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

Open Access
File
6 Downloads (Pure)

Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling

Schürr, A. & Rensink, A., Feb 2014, In : Software and systems modeling. 13, 1, p. 171-172 2 p.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
28 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
2 Citations (Scopus)
125 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
8 Citations (Scopus)
18 Downloads (Pure)
2013

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
66 Downloads (Pure)

Publishing Your Prototype Tool on the Web: PUPTOL, a Framework

Belinfante, A. & Rensink, A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-15)

Research output: Book/ReportReportProfessional

File
22 Downloads (Pure)
2012

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
8 Downloads (Pure)

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A., 1 Jul 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-12-17)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)
49 Downloads (Pure)

Graph abstraction and abstract graph transformations (Amended version)

Boneva, I. B., Kreiker, J., Kurban, M. E., Rensink, A. & Zambon, E., Oct 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 54 p. (CTIT Technical Report Series; no. TR-CTIT-12-26)

Research output: Book/ReportReportProfessional

File
37 Downloads (Pure)

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., Nov 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-12-27)

Research output: Book/ReportReportProfessional

File
67 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
7 Downloads (Pure)

Graph Passing in Graph Transformation

Ghamarian, A. H. & Rensink, A., 31 Jan 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-04)

Research output: Book/ReportReportProfessional

File
25 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
72 Downloads (Pure)

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

3 Citations (Scopus)

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
1 Citation (Scopus)
40 Downloads (Pure)

Modelling and analysis using GROOVE

Ghamarian, A. H., de Mol, M., Rensink, A., Zambon, E. & Zimakova, M., Feb 2012, In : International journal on software tools for technology transfer. 14, p. 15-40 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

78 Citations (Scopus)

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
11 Citations (Scopus)
30 Downloads (Pure)