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

Filter
Conference contribution

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)
  • 2023

    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)
    258 Downloads (Pure)
  • 2021

    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)
    36684 Downloads (Pure)
  • 2020

    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

    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

    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)

  • 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)

  • 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)

  • 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)

  • 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

    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

    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 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)

  • 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)

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

    File
    130 Downloads (Pure)
  • 2012

    Generalised compositionality in graph transformation

    Ghamarian, A. H. & Rensink, A., Sept 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 proceeding › Conference contribution › Academic › peer-review

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

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

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

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

    File
    1 Citation (Scopus)
    101 Downloads (Pure)

  • Pattern-Based Graph Abstraction

    Rensink, A. & Zambon, E., Sept 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 proceeding › Conference contribution › Academic › peer-review

    File
    11 Citations (Scopus)
    110 Downloads (Pure)
  • 2011

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

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

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

    File
    112 Downloads (Pure)
  • 2010

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

    11 Citations (Scopus)
    9 Downloads (Pure)

  • Distributed Graph-Based State Space Generation

    Blom, S., Kant, G. & Rensink, A., Sept 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 proceeding › Conference contribution › Academic › peer-review

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

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

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

    File
    1 Citation (Scopus)
    41 Downloads (Pure)

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

    25 Citations (Scopus)
    9 Downloads (Pure)
  • 2009

    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, p. 39-50 12 p. 10.1145/1509239.1509247

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

    35 Citations (Scopus)
    10 Downloads (Pure)

  • A Type Graph Model for Java Programs

    Rensink, A. & Zambon, E., 15 Jun 2009, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin, Heidelberg: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

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

    2 Downloads (Pure)

  • 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, p. 25-30 6 p. 10.1145/1509837.1509844

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

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

    File
    31 Citations (Scopus)
    64 Downloads (Pure)

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

    4 Downloads (Pure)