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.
Filter
Chapter

Search results

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

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

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

    The Edge of Graph Transformation - Graphs for Behavioural Specification

    Rensink, A., Nov 2010, Graph Transformations and Model-Driven Engineering. Engels, G., Lewerentz, C., Schäfer, W., Schürr, A. & Westfechtel, B. (eds.). Berlin: Springer, p. 6-32 27 p. (Lecture Notes in Computer Science; vol. 5765, no. 5765).

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

    8 Citations (Scopus)
    5 Downloads (Pure)
  • 2009

    Editorial for Special Section on Dependencies and Interactions with Aspects

    Chitchyan, R., Fabry, J., Katz, S. & Rensink, A., 2009, Transactions on Aspect-Oriented Software Development V: Focus: Aspects, Dependencies and Interactions. Rashid, A. & Ossher, H. (eds.). Berlin, Heidelberg: Springer, p. 133-134 2 p. (Lecture Notes in Computer Science; vol. 5490).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    7 Citations (Scopus)
    56 Downloads (Pure)
  • 2008

    Explicit State Model Checking for Graph Grammars

    Rensink, A., Jun 2008, Concurrency, Graphs and Models. de Nicola, R., Degano, P. & Meseguer, J. (eds.). Berlin: Springer, p. 114-132 19 p. 10.1007/978-3-540-68679-8_8. (Lecture Notes in Computer Science; vol. 5065, no. 274/5065).

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

    28 Citations (Scopus)
    3 Downloads (Pure)
  • 2001

    Action refinement

    Gorrieri, R. & Rensink, A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1047-1147 92 p.

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

    5 Downloads (Pure)
  • Action Refinement

    Gorrieri, R. & Rensink, A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1047-1147

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Klasse- en Objectdiagrammen

    Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 25-46

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Objectoriëntatie

    Rensink, A., 2001, Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 73-116 44 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Objectoriëntatie

    Rensink, A., 2001, Visueel Programmeren met Java, deel 1. Heerlen: Open Universiteit, p. 73-116

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Representatie van Objecten en Primitieve Waarden

    Rensink, A., 2001, Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 71-138 44 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Representatie van Objecten en Primitieve Waarden

    Rensink, A., 2001, Visueel Programmeren met Java, deel 2. Heerlen: Open Universiteit, p. 71-138

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Syntaxis van Java

    Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 7-24

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Verklarende Woordenlijst

    Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 91-97

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • 1997

    A Typed Functional Calculus With State

    Rensink, A., 1997, Special Issues in Object-Oriented Programming. Müllhäuser, M. (ed.). Heidelberg, Germany: D.punkt Verlag, p. 558-561 4 p.

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

    File
    47 Downloads (Pure)
  • 1992

    Posets for Configurations

    Rensink, A., 1992, CONCUR '92, Lecture Notes in Computer Science 630. Springer, p. 269-285

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    18 Citations (Scopus)