Arend Rensink
Contact Expert

View Scopus Profile

Arend Rensink

prof.dr.ir.

 https://orcid.org/0000-0002-1714-6319
  • 2025
    Citations
1988 …2024

Research activity per year

Search results

  • 2024

    An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

    Zameni, T., Bos, P. V. D., Rensink, A. & Tretmans, J., 15 Aug 2024, 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). IEEE, p. 199-206 8 p. 10621723

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • On Categories of Nested Conditions

    Rensink, A. & Corradini, A., 12 Aug 2024, ArXiv.org, 30 p.

    Research output: Working paper

    Open Access
    File
    6 Downloads (Pure)
  • 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 journal › Article › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    130 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    249 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 journal › Editorial › Academic › peer-review

    Open Access
    File
    50 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    101 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 journal › Article › Academic › peer-review

    Open Access
    File
    27 Citations (Scopus)
    167 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    17 Citations (Scopus)
    36677 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 journal › Editorial › Academic › peer-review

    2 Downloads (Pure)

  • 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    181 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 journal › Article › Academic › peer-review

    Open Access
    File
    30 Citations (Scopus)
    158 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 proceeding › Foreword/postscript › Academic

    Open Access
    File
    108 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    133 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    33 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    22 Citations (Scopus)
    1277 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: Vienna University of Technology, p. 339-373 35 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    1 Citation (Scopus)
    73 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    30 Citations (Scopus)
    448 Downloads (Pure)

  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    190 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 proceeding › Chapter › Academic › peer-review

    1 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    29 Citations (Scopus)
    240 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    184 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    233 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    15 Citations (Scopus)
    232 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 proceeding › Conference contribution › Academic

    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 proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    7 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    192 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    229 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 proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    13 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 journal › Article › Academic › peer-review

    Open Access
    File
    13 Citations (Scopus)
    49 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 proceeding › Chapter › Academic › peer-review

    8 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    812 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/Report › Book editing › Academic

    Open Access
    File
    324 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    118 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/Report › Report › Professional

    Open Access
    File
    167 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 proceeding › Chapter › Academic › peer-review

    File
    2 Citations (Scopus)
    48 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 proceeding › Conference contribution › Academic

    File
    109 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/Report › Report › Professional

    Open Access
    File
    150 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 proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    27 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 proceeding › Conference contribution › Academic

    File
    70 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 proceeding › Conference contribution › Academic › peer-review

    File
    8 Citations (Scopus)
    32 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 journal › Article › Academic › peer-review

    Open Access
    File
    70 Citations (Scopus)
    480 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 proceeding › Conference contribution › Academic › peer-review

    File
    68 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 proceeding › Conference contribution › Academic › peer-review

    File
    65 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 proceeding › Conference contribution › Academic

    4 Citations (Scopus)
    12 Downloads (Pure)

  • Fundamental Approaches to Software Engineering

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

    Research output: Book/Report › Book editing › Academic

    1 Citation (Scopus)
    278 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 proceeding › Conference contribution › Academic › peer-review

    File
    143 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    33 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 journal › Article › Academic

    File
    5 Citations (Scopus)
    72 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 proceeding › Conference contribution › Academic › peer-review

    File
    3 Citations (Scopus)
    190 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    39 Downloads (Pure)