Arend Rensink

prof.dr.ir.

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

Research Output 1988 2018

Filter
Report
2016
44 Downloads (Pure)

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

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
2013
16 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
2012
3 Citations (Scopus)
27 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
29 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
47 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
20 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
2011
15 Downloads (Pure)

Formal Semantics of the CHART Transformation Language

de Mol, M. J. & Rensink, A., Dec 2011, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-12-03)

Research output: Book/ReportReportProfessional

File
2010
14 Downloads (Pure)

A First Study of Compositionality in Graph Transformation

Rensink, A., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-10-08)

Research output: Book/ReportReportProfessional

File
62 Downloads (Pure)

Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-10-09)

Research output: Book/ReportReportProfessional

File
12 Downloads (Pure)

Isomorphism Checking for Symmetry Reduction

Rensink, A., Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. TR-CTIT-10-27)

Research output: Book/ReportReportProfessional

File
68 Downloads (Pure)

Modelling and Analysis Using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V., Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-10-18)

Research output: Book/ReportReportProfessional

File
2009
5 Citations (Scopus)
76 Downloads (Pure)

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 9 Feb 2009, Enschede: Formal Methods and Tools (FMT). 94 p. (CTIT Technical Report Series; no. TR-CTIT-09-01)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)

Flow Diagram Decomposition Using Graph Transformations

Rensink, A. & Zimakova, M. V., 3 Sep 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-09-30)

Research output: Book/ReportReportProfessional

File
39 Downloads (Pure)

Using Graph Transformations and Graph Abstractions for Software Verification

Zambon, E. & Rensink, A., Apr 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-10-03)

Research output: Book/ReportReportProfessional

File
2008
12 Citations (Scopus)
261 Downloads (Pure)

A Graph-Based Semantics for UML Class and Object Diagrams

Kleppe, A. G. & Rensink, A., 30 Jan 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-08-06)

Research output: Book/ReportReportProfessional

File
2007
20 Downloads (Pure)

Atomic Action Refinement in Model Based Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 22 Aug 2007, Enschede: Formal Methods and Tools (FMT). 67 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-64)

Research output: Book/ReportReportProfessional

File
113 Downloads (Pure)

Graph Abstraction and Abstract Graph Transformation

Boneva, I. B., Rensink, A., Kurban, M. E. & Bauer, J., 23 Jul 2007, Enschede: Formal Methods and Tools (FMT). 52 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-50)

Research output: Book/ReportReportProfessional

File
2006
13 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W. K., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K., May 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 21 p. (CTIT Technical Report Series; no. 06-22)

Research output: Book/ReportReportProfessional

File
18 Downloads (Pure)

Engineering Object-Oriented Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A., Mar 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 93 p. (CTIT Technical Report Series; no. 06-12)

Research output: Book/ReportReportProfessional

File
29 Downloads (Pure)

Unfolding Shape Graphs

Sathyanathan, P. W. & Rensink, A., 22 Nov 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 28 p. (CTIT Technical Report Series; no. 06-68)

Research output: Book/ReportReportProfessional

File
27 Citations (Scopus)
22 Downloads (Pure)

Weakest Preconditions for High-Level Programs (Long Version)

Habel, A., Pennemann, K-H. & Rensink, A., Jul 2006, Oldenburg: University of Oldenburg. 35 p. (Berichte aus dem Department für Informatik; no. 8/06)

Research output: Book/ReportReportProfessional

Open Access
File
Precondition
Proof Theory
Correctness
Imply
Graph in graph theory
2005
26 Downloads (Pure)

Abstract Graph Transformation

Rensink, A. & Distefano, D. S., Jan 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. 05-04)

Research output: Book/ReportReportProfessional

Open Access
File
11 Citations (Scopus)
16 Downloads (Pure)

Action Refinement in Conformance Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Oct 2005, Enschede: Formal Methods and Tools (FMT). 33 p. (CTIT Technical Report Series; no. 1381-3625)

Research output: Book/ReportReportProfessional

File
9 Downloads (Pure)

Action Refinement in Testing with UIOCO

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Feb 2005, Enschede: Formal Methods and Tools (FMT). 45 p. (CTIT Technical Report Series; no. TR-CTIT-05-10)

Research output: Book/ReportReportProfessional

File
17 Downloads (Pure)

Fair Testing

Rensink, A. & Vogler, W., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 74 p. (CTIT Technical Report Series; no. 05-64)

Research output: Book/ReportReportProfessional

File
9 Downloads (Pure)

Graph Transformation for Verification and Concurrency

Heckel, R., König, B. & Rensink, A., Jul 2005, Centre for Telematics and Information Technology (CTIT). 114 p. (CTIT Technical Report Series; no. 05-34)

Research output: Book/ReportReportAcademic

Open Access
File
13 Citations (Scopus)
50 Downloads (Pure)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V. M., Rensink, A. & Brinksma, H., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

Research output: Book/ReportReportProfessional

File
2003
6 Downloads (Pure)

A Logic of Local Graph Shapes

Rensink, A., Aug 2003, Enschede: Software Engineering (SE). 33 p. (CTIT-technical reports; no. 2003-35)

Research output: Book/ReportReportProfessional

File
19 Downloads (Pure)

Component Based Testing with ioco

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Aug 2003, Enschede: Formal Methods & Tools. 44 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReportProfessional

File
41 Downloads (Pure)

Model Driven Architecture: Foundations and Applications

Rensink, A., Jun 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 132 p. (CTIT-technical reports; no. 2003-27)

Research output: Book/ReportReportProfessional

File
Software engineering
Industry
9 Downloads (Pure)

Who is pointing when to whom: on model-checking pointer structures

Distefano, D. S., Rensink, A. & Katoen, J. P., Apr 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 79 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReportProfessional

File
2002

Model checking for dynamic allocation and deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, Centre for Telematics and Information Technology (CTIT). 57 p. (CTIT Technical Report Series; no. 01-40)

Research output: Book/ReportReportAcademic

2001

Model Checking Dynamic Allocation and Deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., Dec 2001, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-40)

Research output: Book/ReportReportOther research output

2000
5 Downloads (Pure)

Action Contraction Using Coupled Simulation

Rensink, A., 2000, University of Twente. 44 p. (CTIT Technical Report series; vol. TR-CTIT-00-13)

Research output: Book/ReportReportAcademic

File
Observer
Simulation
Contraction
Toys

n a Temporal Logic for Object-Based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A., 2000, Enschede: Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. 00-06)

Research output: Book/ReportReportProfessional

1999

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig: Universitat Braunschweig, Institut fur Software. 46 p.

Research output: Book/ReportReportProfessional

15 Downloads (Pure)

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig, Germany: Technical University of Braunschweig. 47 p.

Research output: Book/ReportReportOther research output

File
21 Downloads (Pure)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., Feb 1999, Enschede: Universiteit Twente. 59 p. (CTIT technical report series; no. TR-CTIT-99-02)

Research output: Book/ReportReportProfessional

File
1998
13 Downloads (Pure)

A Process Algebra Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Hildesheim, Germany: University of Hildesheim. 16 p.

Research output: Book/ReportReportOther research output

File
1997
2 Citations (Scopus)
47 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., May 1997, Hildesheim: Institut für Informatik, University of Hildesheim. 27 p.

Research output: Book/ReportReportOther research output

File
1995
16 Downloads (Pure)

Causal Traces

Rensink, A., Dec 1995, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Berichte; no. 39/95)

Research output: Book/ReportReportOther research output

File
36 Downloads (Pure)

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 24 p. (Hildesheimer Informatik-Berichte; no. 29/95)

Research output: Book/ReportReportOther research output

File
17 Downloads (Pure)

Vertical Bisimulation

Rensink, A. & Gorrieri, R., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 57 p. (Hildesheimer Informatikbericht; no. 9/98)

Research output: Book/ReportReportOther research output

File
1994
23 Downloads (Pure)

Deterministic Pomsets

Rensink, A., Nov 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 42 p. (Hildesheimer Informatik-Bericht; no. 30/94)

Research output: Book/ReportReportOther research output

File

Specification of Systems: Theory in Search of Practice

Brinksma, H., Parrow, J., Rensink, A. & Heymer, S., Sep 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 21 p.

Research output: Book/ReportReportOther research output

1993
11 Downloads (Pure)

Order isomorphism does not preserve global event independence

Rensink, A., Sep 1993, Hildesheim: Institut für Informatik, University of Hildesheim. 12 p. (Hildesheimer Informatik-Berichte; no. 10/93)

Research output: Book/ReportReportOther research output

File
1992
15 Downloads (Pure)

Abstraction and Refinement in Configuration Structures

Costantini, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 38 p. (Hildesheimer Informatik-Bericht; no. 18/92)

Research output: Book/ReportReportOther research output

File
32 Downloads (Pure)

On Syntactic and Semantic Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Bericht; no. 17/92)

Research output: Book/ReportReportOther research output

File