Arend Rensink

prof.dr.ir.

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

Research Output 1988 2018

2003

A synthesis-based approach to transformations in an MDA software development process

Rensink, A. (ed.), Ivanov, I. & van den Berg, K., Jun 2003, p. 121-126. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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

Model Checking Graph Grammars

Rensink, A., 2003, Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS’03): April 2-3 2003, Southampton (GB). Leuschel, M., Gruner, S. & Presti, S. L. (eds.). Southampton: University of Southampton, p. 150-160 11 p. (Technical Report; vol. DSSE-TR-2003-02, no. TR-2003-2).

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

Open Access
File
Temporal logic
Model checking
Semantics
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
76 Downloads (Pure)

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

Distefano, D. S., 2003, Enschede: Twente University Press (TUP). 313 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
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

Formal Methods for Open Object-Based Distributed Systems V

Jacobs, B. (ed.) & Rensink, A. (ed.), 2002, Dordrecht: Kluwer Academic Publishers. 296 p. (IFIP Conference Proceedings; vol. 209)

Research output: Book/ReportBook editingAcademic

12 Citations (Scopus)
36 Downloads (Pure)

Model checking birth and death

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, p. 435-447. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Model checking birth and death.

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, In : Theoretical computer science. p. -

Research output: Contribution to journalArticleAcademicpeer-review

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

17 Downloads (Pure)

Visualisatie van het Objectgeoriënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

File

Visualisatie van het Object-georiënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83

Research output: Contribution to journalArticleAcademic

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Action Refinement

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

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

Formal Foundation for Reasoning about Composition

Glandrup, M. & Rensink, A., 2001, Advanced Separation of Concerns. Tampa, Florida (USA), p. - 8 p.

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

11 Downloads (Pure)

Formal Foundations for Reasoning about Composition

De Volder, K. (ed.), Glandrup, M. & Rensink, A., 14 Oct 2001. 8 p.

Research output: Contribution to conferencePaperAcademic

File

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

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

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

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

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., 2001, In : Acta informatica. 38, p. 155-234

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
20 Downloads (Pure)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., 2001, In : Acta informatica. 38, 3, p. 155-234 80 p., 10.1007/s002360100070.

Research output: Contribution to journalArticleAcademicpeer-review

File

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

16 Citations (Scopus)
28 Downloads (Pure)

Vertical Implementation

Rensink, A. & Gorrieri, R., 2001, In : Information and computation. 170, 1, p. 95-133 39 p., 10.1006/inco.2001.2967.

Research output: Contribution to journalArticleAcademicpeer-review

File
2000

Action Contraction

Rensink, A., 23 Feb 2000, CONCUR'2000: Concurrency Theory. State College, Pennsylvania, USA, p. 290-304

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

11 Downloads (Pure)

Action Contraction

Palamidessi, C. (ed.) & Rensink, A., 2000, p. 290-304. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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

Bisimilarity of Open Terms

Rensink, A., 2000, In : Information and computation. 156, 1-2, p. 345-385 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

Term
Closed
Substitution reactions
Congruence
Semantics

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

22 Downloads (Pure)

On a temporal Logic for Object-based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA, p. 305-325 21 p.

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

Open Access
File
26 Citations (Scopus)

On a Temporal Logic for Object-Based Systems

Distefano, D. S., Smith, S. F. (ed.), Katoen, J. P., Talcott, C. L. (ed.) & Rensink, A., 2000, p. 305-326. 22 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Towards model checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, p. 0-9 10 p.

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

Towards Model Checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 12 Jun 2000. 10 p.

Research output: Contribution to conferencePaperAcademic

14 Downloads (Pure)
Open Access
File
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
32 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Budkowski, S. (ed.), Gehrke, T., Huhn, M., Cavalli, A. (ed.), Najm, E. (ed.), Rensink, A. & Wehrheim, H., 1998, p. 3-18. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

An Algebraic Semantics for Message Sequence Chast Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 11 Feb 1998, Formal, Description Techniques and Protocol Specification, Testing and Verification. Parijs, France, p. - 16 p.

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

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

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Firley, T., Gehrke, T. & Rensink, A., 1998, Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. König, H. & Langendörfer, P. (eds.). Aachen, Germany: Shaker Verlag, p. 136-147 12 p.

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

1997
13 Citations (Scopus)
29 Downloads (Pure)

Action Refinement as an Implementation Relation

Bidoit, M. (ed.), Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, p. 772-786. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Action Refinement for Vertical Implementation

Rensink, A. & Gorrieri, R., 1997, Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin. Wolisz, A., Schieferdecker, I. & Rennoch, A. (eds.). Sankt Augustin: GMD-Forschungszentrum Informationstechnik GmbH, p. 69-78 10 p. (GMD Studien; vol. 315).

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

14 Downloads (Pure)

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

Bisimilarity of Open Terms

Rensink, A., Palamidessi, C. (ed.) & Parrow, J. (ed.), 1997, p. 262-285. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
4 Citations (Scopus)
4 Downloads (Pure)

Dependency-Based Action Refinement

Rensink, A. & Wehrheim, H., 1997, p. 468-477. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Semantics
Algebra
39 Downloads (Pure)

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

Palamidessi, C. (ed.), Gehrke, T., Rensink, A. & Parrow, J. (ed.), 1997, p. 141-160. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File