Arend Rensink

prof.dr.ir.

  • 1946
    Citations
1988 …2023

Research activity per year

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

Search results

  • 2023

    A Case in Point: Verification and Testing of a EULYNX Interface

    Bouwman, M., Wal, D. V. D., Luttik, B., Stoelinga, M. & Rensink, A., Mar 2023, In: Formal aspects of computing. 35, 1, p. 1–38 2.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    26 Downloads (Pure)
  • From BDD Scenarios to Test Case Generation

    Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A., 29 May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Piscataway, NJ: IEEE, p. 36-44 9 p.

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

    Open Access
    File
    11 Downloads (Pure)
  • 2022

    Preface

    Garavel, H., de Lara, J., Molina, P. J., Paige, R., di Ruscio, D., Wimmer, M., Barmpis, K., Boronat, A., Boubeta-Puig, J., Bousse, E., Le Calvar, T., García-Domínguez, A., Hinkel, G., Horvath, A., Rensink, A., Cuadrado, J. S., Varró, G. & Wei, R., 2022, In: CEUR workshop proceedings. 3089

    Research output: Contribution to journalEditorialAcademicpeer-review

    Open Access
    File
    22 Downloads (Pure)
  • 2021

    Integration and Orchestration of Analysis Tools

    Heinrich, R., Bousse, E., Koch, S., Rensink, A., Riccobene, E., Ratiu, D. & Sirjani, M., 2021, Composing Model-Based Analysis Tools. Heinrich, R., Durán, F., Talcott, C. & Zschaler, S. (eds.). Cham: Springer, p. 71-95 25 p.

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

    Open Access
    File
    56 Downloads (Pure)
  • Multi-paradigm modelling for cyber–physical systems: a descriptive framework

    Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., 9 Jun 2021, In: Software and systems modeling. 20, 3, p. 611-639 29 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    20 Citations (Scopus)
    54 Downloads (Pure)
  • On the Efficacy of Online Proctoring using Proctorio

    Bergmans, L., Bouali, N., Luttikhuis, M. & Rensink, A., 2021, Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021). Csapó, B. & Uhomoibhi, J. (eds.). SCITEPRESS, Vol. 1. p. 279-290 12 p.

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

    Open Access
    File
    6 Citations (Scopus)
    32380 Downloads (Pure)
  • 2020

    Special section on ICMT at STAF 2018

    Cuadrado, J. S. & Rensink, A., Mar 2020, In: Software and systems modeling. 19, 2, p. 399-400 2 p.

    Research output: Contribution to journalEditorialAcademicpeer-review

  • What is the point: Formal analysis and test generation for a railway standard

    Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M. & Rensink, A., Nov 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Singapore: Research Publishing Services, p. 921-928 8 p.

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

    Open Access
    File
    4 Citations (Scopus)
    73 Downloads (Pure)
  • 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
    22 Citations (Scopus)
    103 Downloads (Pure)
  • Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

    Burgue, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G., 21 Nov 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). p. xviii-xxiv

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    72 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, 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
    4 Citations (Scopus)
    93 Downloads (Pure)
  • Towards a formal specification of multi-paradigm modelling

    Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Sept 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). IEEE, p. 419-424 6 p. 8904740

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

    11 Citations (Scopus)
    5 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)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    19 Citations (Scopus)
    748 Downloads (Pure)
  • Designing Reusable and Run-Time Evolvable Scheduling Software

    Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling. Burke, E. K., Di Gaspero, L., McCollum, B., Musliu, N. & Özcan, E. (eds.). Wien: TU Wien, p. 339-373 35 p.

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

    Open Access
    File
    1 Citation (Scopus)
    40 Downloads (Pure)
  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E., Yildiz, B. M., Huistra, D., Brandt, J., Rensink, A. & Stoelinga, M., 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
    25 Citations (Scopus)
    400 Downloads (Pure)
  • Graph Attribution Through Sub-Graphs

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

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

  • Graph Attribution Through Sub-Graphs

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

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

    Open Access
    File
    2 Citations (Scopus)
    153 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, MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Babur, Ö., Strüber, D. & Abrahão, S. (eds.). ACM Press, p. 122-129

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

    Open Access
    File
    23 Citations (Scopus)
    178 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. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). Association for Computing Machinery, p. 1907-1915

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

    Open Access
    File
    5 Citations (Scopus)
    124 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.). Cham: Springer, p. 305-323 19 p.

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

    Open Access
    File
    1 Citation (Scopus)
    179 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. Babur, Ö., Strüber, D. & Abrahão, S. (eds.). ACM Press, p. 82-89 8 p.

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

    Open Access
    File
    13 Citations (Scopus)
    164 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 Notes in Computer Science; vol. 10748).

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

    1 Citation (Scopus)
    2 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
    2 Citations (Scopus)
    163 Downloads (Pure)
  • A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

    Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M., 13 Jan 2017, Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer, 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)
    202 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, 5 p. 15

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

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

    Open Access
    File
    10 Citations (Scopus)
    22 Downloads (Pure)
  • 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

    4 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
    8 Citations (Scopus)
    712 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
    290 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
    8 Citations (Scopus)
    66 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., Sept 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

    Research output: Book/ReportReportProfessional

    Open Access
    File
    124 Downloads (Pure)
  • Model Patterns - The Quest for the Right Level of Abstraction

    Rensink, A., Sept 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)
    35 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
    95 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

    Open Access
    File
    132 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

    9 Citations (Scopus)
    18 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
    61 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
    8 Citations (Scopus)
    17 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
    66 Citations (Scopus)
    447 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
    58 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
    45 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

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

    1 Citation (Scopus)
    277 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
    124 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
    17 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
    4 Citations (Scopus)
    52 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
    3 Citations (Scopus)
    176 Downloads (Pure)
  • Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A., Sept 2014, AMT 2014: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014). Dingel, J., de Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: CEUR, p. 70-75 6 p. (CEUR Workshop Proceedings; vol. 1277).

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

    Open Access
    File
    8 Citations (Scopus)
    27 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
    112 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
    57 Downloads (Pure)